From ccc5042635d85ea7b52b1ce5cdd1f0e9fb760a16 Mon Sep 17 00:00:00 2001
From: Siri Reiter <siri@jones.dk>
Date: Wed, 22 Oct 2008 14:59:48 +0200
Subject: Minimal padding in top and bottom of pageinfo.

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

diff --git a/local.css b/local.css
index 3380a7f..3b040b5 100644
--- a/local.css
+++ b/local.css
@@ -34,7 +34,7 @@ div#topbar ol li {
 
 div#pageinfo {
 	margin: 0;
-	padding: 0 20px;
+	padding: 2px 20px;
 	border-top: 0;
 	background-color: green;
 	color: white;
-- 
cgit v1.2.3