From 4627438ce70ae891851ff04142c5cbdc89ef8db4 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Mon, 1 Dec 2008 15:57:25 +0100
Subject: Avoid <pre> stuff from running under the sidebar.

---
 local.css | 1 +
 1 file changed, 1 insertion(+)

(limited to 'local.css')

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
-- 
cgit v1.2.3