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

---
 local.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/local.css b/local.css
index 5f2176aa3..6a69dd39d 100644
--- 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;
 }
-- 
2.30.2