pre elements should not run the full page

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