diff options
| author | Siri Reiter <siri@jones.dk> | 2008-10-22 15:01:51 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2015-02-27 19:23:33 +0100 |
| commit | 634885217d4f61eaaa26cfb0e291470e83213828 (patch) | |
| tree | 88df91b61191969b495e156cbd5d249ae5bd8263 /local.css | |
| parent | 001edc153d09704750b1ecc556010fd9d74e7e64 (diff) | |
New padding experiment 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: 2px 20px; + padding: 2px 20px 2px; border-top: 0; background-color: green; color: white; |