Avoid <pre> stuff from running under the sidebar.

1 files changed, 1 insertions, 0 deletions

diff --git a/local.css b/local.css
index 998e2913..97f12a64 100644
--- a/local.css
+++ b/local.css
@@ -51,6 +51,7 @@ pre
   margin-left: 3em;
   font-weight: bold;
   padding: 0.5em;
+  overflow: auto;
 }
 
 a