*** empty log message ***

diff --git a/local.css b/local.css
index d0b084c17e9da62bc6847faa5f5fb25b8751808c..af2942819928df7853832c2691441add58e7754f 100644 (file)
--- a/local.css
+++ b/local.css
@@ -285,5 +285,5 @@ legend {
 }
 
 .toc li {
-  margin-bottom: 1ex;
+  margin-bottom: 0.5ex;
 }