BODY {
	COLOR: black; BACKGROUND-COLOR: #ffffcc
}
BODY.dark {
	COLOR: white; BACKGROUND-COLOR: black
}
A {
	COLOR: navy
}
A:active {
	COLOR: navy; BACKGROUND-COLOR: silver
}
A:hover {
	COLOR: navy
}
A:visited {
	COLOR: navy
}
DIV {
	FONT-SIZE: 75%; TEXT-ALIGN: right
}
H1 {
	 font-size: 200%; FONT-FAMILY: Arial, Verdana;
}
DT {
	MARGIN-TOP: 1em; FONT-WEIGHT: bold
}

.extra { color:navy; text-decoration: none }
a.extra:hover { color:660000 }
a.extra:active { color:navy; background-color: white }

.sps { color:navy; text-decoration: none }
a.sps:hover { color:660000 }
a.sps:active { color:navy; background-color: white }

.mailsto { color:navy;  }
a.mailsto:hover { color:660000 }
a.mailsto:active { color:navy; background-color: white }