indent tables

diff --git a/local.css b/local.css
index 5f2176aa3c00ef490df98a22a665ac471cc11060..6a69dd39da22a05d5b071dcafbfe54b6a38fce88 100644 (file)
--- a/local.css
+++ b/local.css
@@ -194,6 +194,11 @@ div.tright {
     border-width: .5em 0 .8em 1.4em;
 }
 
+code {
+    margin-left: 45px;
+}
+
+
 table {
     margin-left: 35px;
 }