diff options
| author | Siri Reiter <siri@jones.dk> | 2008-10-22 14:59:48 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2015-02-27 19:23:33 +0100 |
| commit | 001edc153d09704750b1ecc556010fd9d74e7e64 (patch) | |
| tree | 092d098dc203b67c4c178e47bdc620859a3d723e /local.css | |
| parent | c8416ccaf37233d2bf7f2d142068daf7c878ceff (diff) | |
Minimal 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: 0 20px; + padding: 2px 20px; border-top: 0; background-color: green; color: white; |