gendoc: added styling for extension TOC
Uses CSS3 columns for the list of extensions, so it is not just a long
list of extension names.
--- a/doc/style.css Wed Oct 20 17:45:09 2010 +0200
+++ b/doc/style.css Wed Oct 20 17:47:46 2010 +0200
@@ -299,3 +299,11 @@
ul.auto-toc {
list-style-type: none;
}
+
+div.contents.local {
+ -moz-column-width: 10em;
+ -moz-column-gap: 1em;
+
+ -webkit-column-width: 10em;
+ -webkit-column-gap: 1em;
+}