ensuring that pre blocks are indented twice what top-level p blocks are

diff --git a/website/local.css b/website/local.css
index 5a5fceb086cfaaef906bb01816448173cf11054b..3d12265413a7ff3949aa1b1ba28b268126ed42d2 100644 (file)
--- a/website/local.css
+++ b/website/local.css
@@ -51,7 +51,7 @@ pre {
   background: #ddd;
   border: 1px solid #aaa;
   padding: 3px 3px 3px 3px;
-  margin-left: 2em;
+  margin-left: 38px;
   overflow: auto;
 }