diff options
author | Siri Reiter <siri@jones.dk> | 2008-10-22 14:56:56 +0200 |
---|---|---|
committer | Siri Reiter <siri@jones.dk> | 2008-10-22 14:56:56 +0200 |
commit | 7e0da864c0343fde593fafb1806dc3c0b10f4853 (patch) | |
tree | 8d25f7408105e13a459eb7e725ff616669756e8c | |
parent | 1ae22f878f5d251594da0217f8cab7184bb22833 (diff) |
Less padding in top and bottom of pageinfo.
-rw-r--r-- | local.css | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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; |