# HG changeset patch
# User Erik Zielke <ez@aragost.com>
# Date 1287589666 -7200
# Node ID 6dc3d3cd729b574ec3605f2fb9714f9bf6514133
# Parent  0d09991f91ee96a9f996a19961f02771a88e89af
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.

diff -r 0d09991f91ee -r 6dc3d3cd729b 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.contents.local {
+    -moz-column-width: 10em;
+    -moz-column-gap: 1em;
+    
+    -webkit-column-width: 10em;
+    -webkit-column-gap: 1em;
+}