[PATCH 2 of 2] gendoc: added styling for extensionlist

[Erik Zielke]

# HG changeset patch
# User Erik Zielke <ez at aragost.com>
# Date 1287589666 -7200
# Node ID 185208d97f791ffab9a23c26030356e75cd4895c
# Parent  905b4645bfb8f9fc12fe70224b86a3cd39625c87
gendoc: added styling for extensionlist.

Uses CSS3 columns for the list of extensions, so
it is not just a long list of extension names.

diff -r 905b4645bfb8 -r 185208d97f79 doc/style.css
--- 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 .local {
+    -moz-column-gap: 1em;
+    -moz-column-width: 10em;
+    
+    -webkit-column-width: 10em;
+    -webkit-column-gap: 1em;
+}