From fc1f9dec2b6e7a5182dbda2f8590c43711557662 Mon Sep 17 00:00:00 2001 From: Mika Havela Date: Thu, 24 Feb 2011 12:08:14 +0100 Subject: Hostname/top-menu got a background/bar. Removing some obsolete font-settings --- wik/wik.css | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) diff --git a/wik/wik.css b/wik/wik.css index f6d82fa..ba03cc9 100644 --- a/wik/wik.css +++ b/wik/wik.css @@ -78,9 +78,16 @@ body { *---------------------------------------------------------------------------------- */ #header { - height: 25px; - margin: 0px 0px 0px 0px; - padding: 0px 0px 0px 0px; + height: 18px; + background: #e6e6ff; + border-top: 1px solid #000000; + border-bottom: 1px solid #9090b0; + color: #000000; + margin: 0px 0px 15px 0px; + padding: 2px 0px 0px 0px; + font-weight: bold; +} +#header a { } #header p { float: right; @@ -138,7 +145,6 @@ body { margin-top: 20px; color: #555555; font-size: 12px; - font-family: verdana,arial; white-space: nowrap; overflow: hidden; } @@ -155,7 +161,7 @@ body { padding: 0px 0px 0px 0px; height: 21px; font-weight: normal; - font-size: 10pt; + font-size: 11pt; white-space: nowrap; overflow: hidden; background-image: none; -- cgit v1.2.3