1 files changed, 3 insertions, 0 deletions
diff --git a/doc/docs.css b/doc/docs.css
index a8d73d21e..3db51b893 100644
--- a/doc/docs.css
+++ b/doc/docs.css
@@ -96,6 +96,9 @@ code {
 	font-size:12px;
 }
 
+pre {
+    overflow:auto;
+}
 .codeline {
 	font-family:courier, serif;
 	font-size:12px;