From 7e0da864c0343fde593fafb1806dc3c0b10f4853 Mon Sep 17 00:00:00 2001
From: Siri Reiter <siri@jones.dk>
Date: Wed, 22 Oct 2008 14:56:56 +0200
Subject: Less 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 9b9bdb7..8a44d7c 100644
--- a/local.css
+++ b/local.css
@@ -34,7 +34,7 @@ div#topbar ol li {
 
 div#pageinfo {
 	margin: 0;
-	padding: 10px 20px;
+	padding: 5px 20px;
 	border-top: 0;
 	background-color: green;
 	color: white;
-- 
cgit v1.2.3