diff options
author | Siri Reiter <siri@jones.dk> | 2008-10-22 13:38:44 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2015-02-27 19:23:31 +0100 |
commit | 3de06d044b6c559cb540afe986a90eaab2eb97ac (patch) | |
tree | caa31965cba8f96507874ed140b2ec21b4ec5e36 /local.css | |
parent | be26a3598e9b4d6ad43f0b8e804e2949cb2f7e23 (diff) |
Topbar inline display (experimentally).
Diffstat (limited to 'local.css')
-rw-r--r-- | local.css | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -2,6 +2,10 @@ /* Add local styling here, instead of modifying style.css. */ +div#topbar ul li { + display:inline; + margin: 0 20px; +} div#topbar li, div#topbar ul, div#topbar ul li, @@ -9,7 +13,8 @@ div#topbar ol, div#topbar ol li { font-size: 1.1em; line-height: 2em; - +} div#pageinfo { margin: 15em 1em 1em; padding: 1em 0 0; +}
\ No newline at end of file |