TOC formating

diff --git a/local.css b/local.css
index 85c050ff2d1f6cb6eb5e5f21a36706b8006b4e8e..c9f73da9d9d20f34c7f1f314f370a11c76e750e4 100644 (file)
--- a/local.css
+++ b/local.css
@@ -290,7 +290,6 @@ legend {
 }
 
 .toc {
-  line-height: 3ex;
   width: 30ex;
   float: right;
   margin-left: 40px;
@@ -301,6 +300,10 @@ legend {
   -moz-border-radius: 0.5ex;
 }
 
+.toc ol ol {
+    padding-left: 2.5ex;
+}
+
 .toc li {
   margin-bottom: 0.5ex;
 }