diff options
author | Siri Reiter <siri@jones.dk> | 2008-10-22 13:44:36 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2015-02-27 19:23:31 +0100 |
commit | ece32edf0ee30721d9c00ae7247b8692b615dc74 (patch) | |
tree | e4743bc07ed8a04e105f53e48d0986d89ac2c9cc /local.css | |
parent | 3de06d044b6c559cb540afe986a90eaab2eb97ac (diff) |
Remove border (top of page).
Diffstat (limited to 'local.css')
-rw-r--r-- | local.css | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -2,10 +2,15 @@ /* Add local styling here, instead of modifying style.css. */ +div#actions ul { + border-bottom: 0; +} + div#topbar ul li { display:inline; margin: 0 20px; } + div#topbar li, div#topbar ul, div#topbar ul li, @@ -14,6 +19,7 @@ div#topbar ol li { font-size: 1.1em; line-height: 2em; } + div#pageinfo { margin: 15em 1em 1em; padding: 1em 0 0; |