#
#
# patch "local.css"
#  from [5b44c509f915ad1886fe9208b16da21a9149ed2f]
#    to [a10dd2608b5665343956c91133bf1002c1439a11]
#
============================================================
--- local.css	5b44c509f915ad1886fe9208b16da21a9149ed2f
+++ local.css	a10dd2608b5665343956c91133bf1002c1439a11
@@ -160,7 +160,7 @@ code {
 #content ol ol,
 #content ul ul,
 #content ol ul {
-    margin-bottom: 0.5em;
+    margin-top: 0;
     padding-left: 2em;
     font-size: 1em;
 }
@@ -175,7 +175,7 @@ code {
     border: 1px dotted #474747;
     background: url(res/toc.png) no-repeat 10px 10px #FAFAFA;
     padding: 10px;
-    padding-top: 40px;
+    padding-top: 50px;
 }
 
 #content .toc > ol {