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

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

diff --git a/local.css b/local.css
index 6a69dd39d..e8229f243 100644
--- a/local.css
+++ b/local.css
@@ -194,7 +194,7 @@ div.tright {
     border-width: .5em 0 .8em 1.4em;
 }
 
-code {
+pre {
     margin-left: 45px;
 }
 
-- 
2.30.2