H1 {
	FONT-SIZE: 18pt
}
H2 {
	FONT-SIZE: 16pt
}
H3 {
	FONT-SIZE: 14pt
}
H4 {
	FONT-SIZE: 12pt
}
BODY {
	BACKGROUND: white; COLOR: black
}
A {
	TEXT-DECORATION: none
}
A:hover {
	TEXT-DECORATION: underline
}
DFN {
	FONT-WEIGHT: bold; COLOR: green; FONT-STYLE: normal
}
.header {
	FONT-SIZE: 10pt; FONT-FAMILY: Arial
}
.footer {
	FONT-SIZE: 10pt; FONT-FAMILY: Arial
}
A.main {
	COLOR: blue
}
A.applet {
	COLOR: red
}
A.data {
	COLOR: red
}
A.biography {
	COLOR: red
}
A.resource {
	COLOR: red
}
A.table {
	COLOR: red
}
A.graph {
	COLOR: red
}
A.ancillary {
	COLOR: red
}
A.external {
	COLOR: navy
}
OL.exercise {
	LIST-STYLE-TYPE: lower-alpha
}
UL.applet {
	LIST-STYLE-IMAGE: url(applet.gif)
}
UL.external {
	LIST-STYLE-IMAGE: url(external.gif)
}
UL.quote {
	LIST-STYLE-IMAGE: url(quote.gif)
}
UL.equation {
	LIST-STYLE-TYPE: none
}
P.equation {
	TEXT-ALIGN: center
}
P.graphic {
	TEXT-ALIGN: center
}
VAR.vector {
	FONT-WEIGHT: bold
}
VAR.matrix {
	FONT-WEIGHT: bold
}
VAR.real {
	FONT-WEIGHT: bold; FONT-STYLE: normal
}
VAR.collection {
	FONT-FAMILY: cursive
}
TABLE {
	BORDER-RIGHT: 1px solid; BORDER-TOP: 1px solid; BORDER-LEFT: 1px solid; BORDER-BOTTOM: 1px solid
}
TD {
	BORDER-RIGHT: 1px solid; BORDER-TOP: 1px solid; BORDER-LEFT: 1px solid; BORDER-BOTTOM: 1px solid
}
TH {
	BORDER-RIGHT: 1px solid; BORDER-TOP: 1px solid; FONT-WEIGHT: normal; BACKGROUND: silver; BORDER-LEFT: 1px solid; BORDER-BOTTOM: 1px solid
}
TABLE.home {
	WIDTH: 100%; BORDER-TOP-STYLE: none; BORDER-RIGHT-STYLE: none; BORDER-LEFT-STYLE: none; BORDER-BOTTOM-STYLE: none
}
TABLE.footer {
	WIDTH: 100%; BORDER-TOP-STYLE: none; BORDER-RIGHT-STYLE: none; BORDER-LEFT-STYLE: none; BORDER-BOTTOM-STYLE: none
}
TH.home {
	BACKGROUND: red; VERTICAL-ALIGN: top; WIDTH: 100%; COLOR: white; BORDER-TOP-STYLE: none; BORDER-RIGHT-STYLE: none; BORDER-LEFT-STYLE: none; BORDER-BOTTOM-STYLE: none
}
TD.contents {
	BACKGROUND: silver; VERTICAL-ALIGN: top; WIDTH: 30%; BORDER-TOP-STYLE: none; BORDER-RIGHT-STYLE: none; BORDER-LEFT-STYLE: none; BORDER-BOTTOM-STYLE: none
}
TD.welcome {
	VERTICAL-ALIGN: top; WIDTH: 70%; BORDER-TOP-STYLE: none; BORDER-RIGHT-STYLE: none; BORDER-LEFT-STYLE: none; BORDER-BOTTOM-STYLE: none
}
IMG {
	BORDER-TOP-STYLE: none; BORDER-RIGHT-STYLE: none; BORDER-LEFT-STYLE: none; BORDER-BOTTOM-STYLE: none
}
IMG {
	VERTICAL-ALIGN: middle
}