indent tables

[libreriscv.git] / local.css

diff --git a/local.css b/local.css
index fe01a50afd104e1da5045a74ef6c00d942206f85..5f2176aa3c00ef490df98a22a665ac471cc11060 100644 (file)
--- a/local.css
+++ b/local.css
@@ -195,7 +195,7 @@ div.tright {
 }
 
 table {
-    margin-left: 25px;
+    margin-left: 35px;
 }
 
 table, th, td {