q/thirdculture-werc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Try to make default css font setup saner.

Browse source
This commit is contained in:
Uriel 2009-01-21 10:26:09 +00:00
parent 3404cbd019
commit bd43bae45a
1 changed files with 6 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

15
pub/style/style.css
View file

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