BODY ADDRESS {
	MARGIN: 0.6em 0px; LINE-HEIGHT: 1.3
}
BLOCKQUOTE {
	MARGIN-TOP: 0.75em; MARGIN-BOTTOM: 0.75em; LINE-HEIGHT: 1.5
}
.legalnotice {
	FONT-SIZE: small; FONT-VARIANT: small-caps
}
DIV {
	MARGIN: 0px
}
DL {
	MARGIN: 0.8em 0px; LINE-HEIGHT: 1.2
}
FORM {
	MARGIN: 0.6em 0px
}
H1 {
	COLOR: #990000
}
H2 {
	COLOR: #990000
}
H3 {
	COLOR: #990000
}
H4 {
	COLOR: #990000
}
H1 {
	MARGIN: 0.8em 0px 0px -4%; LINE-HEIGHT: 1.3
}
H2 {
	MARGIN: 0.8em 0px 0px -4%; LINE-HEIGHT: 1.3
}
H3 {
	MARGIN: 0.8em 0px 0px -3%; LINE-HEIGHT: 1.3
}
H4 {
	MARGIN: 0.8em 0px 0px -3%; LINE-HEIGHT: 1.3
}
H5 {
	MARGIN: 0.8em 0px 0px -2%; LINE-HEIGHT: 1.3
}
H6 {
	MARGIN: 0.8em 0px 0px -1%; LINE-HEIGHT: 1.3
}
IMG.navheader {
	MARGIN: 0px 0px 0px -4%
}
OL {
	MARGIN: 0px 0px 0px 5%; LINE-HEIGHT: 1.2
}
P {
	MARGIN: 0.6em 0px; LINE-HEIGHT: 1.2
}
PRE {
	MARGIN: 0.75em 0px; COLOR: #461b7e; LINE-HEIGHT: 1
}
TD {
	LINE-HEIGHT: 1.2
}
TH {
	LINE-HEIGHT: 1.2
}
UL {
	MARGIN: 0px 0px 0px 5%; LINE-HEIGHT: 1.2
}
DIR {
	MARGIN: 0px 0px 0px 5%; LINE-HEIGHT: 1.2
}
MENU {
	MARGIN: 0px 0px 0px 5%; LINE-HEIGHT: 1.2
}
HTML {
	PADDING-RIGHT: 0px; PADDING-LEFT: 0px; PADDING-BOTTOM: 0px; MARGIN: 0px; PADDING-TOP: 0px
}
H1 {
	MARGIN-LEFT: 0px
}
H2 {
	MARGIN-LEFT: 0px
}
H3 {
	MARGIN-LEFT: 0px
}
H4 {
	MARGIN-LEFT: 0px
}
H5 {
	MARGIN-LEFT: 0px
}
H6 {
	MARGIN-LEFT: 0px
}
.programlisting {
	MARGIN: 1em 5%; COLOR: #000000; BACKGROUND-COLOR: #eeeeee
}
.filename {
	COLOR: #007a00
}