From 001edc153d09704750b1ecc556010fd9d74e7e64 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(-)

(limited to 'local.css')

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