doc/style.css
changeset 12782 6dc3d3cd729b
parent 9836 916cf1e7b39f
child 19023 86531a7038ed
--- 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;
+}