add auto-scrolling pre's

let's see if anyone hates it :)

diff --git a/doc/style.css b/doc/style.css
index 2cc467b4f670d297c3cdde04a39c4a911d38a7df..22c68bd7a84211dd8f44da8198be2975fbb4a9e4 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -122,6 +122,10 @@ img {
        border-style: none;
 }
 
+pre {
+       overflow: auto;
+}
+
 div.recentchanges {
        border-style: solid;
        border-width: 1px;