diff options
| author | Siri Reiter <siri@jones.dk> | 2008-10-22 14:56:56 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2015-02-27 19:23:32 +0100 |
| commit | 2a8f317593917d72fefaff6cd550f63931bee853 (patch) | |
| tree | c18762eabc0deb8bfc60bbb7e624448e12ee9cbb /local.css | |
| parent | dada5a62ca8630affb77e935a9123b973ae6afa0 (diff) | |
Less padding in top and bottom of pageinfo.
Diffstat (limited to 'local.css')
| -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; |