diff --git a/pub/style/style.css b/pub/style/style.css index 897d8ec..b7129d5 100644 --- a/pub/style/style.css +++ b/pub/style/style.css @@ -4,15 +4,11 @@ body { color: black; background-color: white; font-family: verdana, helvetica, arial, sans-serif; - font-size: 71%; /* Enables font size scaling in MSIE */ + font-size: 88%; /* Enables font size scaling in MSIE */ margin: 0; padding: 0; } -html > body { - font-size: 0.7em; -} - /* # Header # */ .superHeader { @@ -56,7 +52,7 @@ html > body { .headerTitle { color: black; - font-size: 337%; + font-size: 256%; font-weight: normal; margin: 0 0 0 4mm; padding: 0.25ex 0; @@ -132,7 +128,7 @@ li ul { padding: 0.1ex 0; /* Circumvents a rendering bug (?) in MSIE 6.0 */ } -#side-bar a, .thisPage { +#side-bar a { color: rgb(0,102,204); background-color: transparent; text-decoration: none; @@ -140,19 +136,20 @@ li ul { padding: 0.35em 1ex 0.35em 2mm; display: block; text-transform: capitalize; - font-weight: bold; + font-weight: bold!important; + font-size: 104%; } .thisPage, .thisPage a { color: black!important; background-color: white; padding-left: 5mm; - font-weight: 600; } #side-bar a:hover { color: white; background-color: rgb(100,135,220); + border-left: black solid 0.2em; text-decoration: none; }