#
#
# patch "local.css"
#  from [0b86dac79817c77f5faa5e36aee4fbd04c97f634]
#    to [0fbd456ff1574f221b58cef170cf3c3efe84b1ba]
#
============================================================
--- local.css	0b86dac79817c77f5faa5e36aee4fbd04c97f634
+++ local.css	0fbd456ff1574f221b58cef170cf3c3efe84b1ba
@@ -183,14 +183,14 @@ code {
 
 #content table {
     border-collapse: collapse;
-    border-bottom: 1.5em;
+    margin-bottom: 1.5em;
 }
 
 #content table th,
 #content table td {
     font-size: 1.3em;
-    border: 1px dotted #474747;
-    padding: 0.2em;
+    border: 1px solid #474747;
+    padding: 0.3em;
 }
 
 #content table th {