add clarification
[libreriscv.git] / local.css
index 4caacaab2644cdaa624087777013e86836638810..e8229f24365169f4b241c897277b242e6ba207bc 100644 (file)
--- a/local.css
+++ b/local.css
@@ -194,6 +194,15 @@ div.tright {
     border-width: .5em 0 .8em 1.4em;
 }
 
+pre {
+    margin-left: 45px;
+}
+
+
+table {
+    margin-left: 35px;
+}
+
 table, th, td {
     border: 1px solid black;
 }