.synopsis {
	BORDER-RIGHT: #aaaaaa 1px solid; PADDING-RIGHT: 0.5em; BORDER-TOP: #aaaaaa 1px solid; PADDING-LEFT: 0.5em; BACKGROUND: #eeeeee; PADDING-BOTTOM: 0.5em; BORDER-LEFT: #aaaaaa 1px solid; PADDING-TOP: 0.5em; BORDER-BOTTOM: #aaaaaa 1px solid
}
.classsynopsis {
	BORDER-RIGHT: #aaaaaa 1px solid; PADDING-RIGHT: 0.5em; BORDER-TOP: #aaaaaa 1px solid; PADDING-LEFT: 0.5em; BACKGROUND: #eeeeee; PADDING-BOTTOM: 0.5em; BORDER-LEFT: #aaaaaa 1px solid; PADDING-TOP: 0.5em; BORDER-BOTTOM: #aaaaaa 1px solid
}
BODY {
	MARGIN-LEFT: 10%; MARGIN-RIGHT: 10%
}
A.link {
	COLOR: blue; TEXT-DECORATION: underline
}
A.visited {
	COLOR: purple; TEXT-DECORATION: underline
}
A.active {
	COLOR: red; TEXT-DECORATION: underline
}
H1 {
	COLOR: #000000; BACKGROUND-COLOR: #6699ff; TEXT-ALIGN: center
}
H2 {
	COLOR: #000000; TEXT-DECORATION: underline
}
H3 {
	MARGIN-BOTTOM: 0pt; COLOR: #0000f0; FONT-FAMILY: "Helvetica"
}
H4 {
	MARGIN-BOTTOM: 0pt; COLOR: #0000f0; FONT-FAMILY: "Helvetica"
}
P.Blurb {
	MARGIN-TOP: 0pt; FONT-WEIGHT: bold; FONT-SIZE: 80%; COLOR: #000000; FONT-STYLE: italic; FONT-FAMILY: "Helvetica"
}
DL DT {
	FONT-SIZE: 80%; FONT-FAMILY: Monospace
}