prevent page widening on the web site.

diff --git a/website/local.css b/website/local.css
index cb966f8a796366da2e39743ddb0923120e5304e8..76dc4ccb644cbc70d902f9c644cd4eedd39ed453 100644 (file)
--- a/website/local.css
+++ b/website/local.css
@@ -43,6 +43,7 @@ pre {
   border: 1px solid #aaa;
   padding: 3px 3px 3px 3px;
   margin-left: 2em;
+  overflow: scroll;
 }
 
 table.sitenav {