From b5b2fa5f58a5398167a3f9500936d663833c5a99 Mon Sep 17 00:00:00 2001
From: Helmut Merz <helmutm@cy55.de>
Date: Thu, 1 Mar 2012 17:27:47 +0100
Subject: [PATCH] change setting for HTML pre element: show scrollbars only if
 necessary

---
 browser/skin/lobo/lobo.css | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/browser/skin/lobo/lobo.css b/browser/skin/lobo/lobo.css
index 97949b4..98eee30 100644
--- a/browser/skin/lobo/lobo.css
+++ b/browser/skin/lobo/lobo.css
@@ -52,9 +52,10 @@ a[href]:hover {
 }
 
 pre {
+    padding: 0.2em;
     font-size: 100%;
-    background-color: #f4f4f4;
-    overflow: scroll;
+    background-color: #f8f8f8;
+    overflow: auto;
     max-height: 35em;
 }