From 1878f0f96b23b5b9e27e07943d404913b890f11e Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 22 Apr 2018 12:00:45 +0100
Subject: [PATCH] indent tables

---
 local.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/local.css b/local.css
index fe01a50af..5f2176aa3 100644
--- a/local.css
+++ b/local.css
@@ -195,7 +195,7 @@ div.tright {
 }
 
 table {
-    margin-left: 25px;
+    margin-left: 35px;
 }
 
 table, th, td {
-- 
2.30.2