P.button {
	BORDER-BOTTOM: outset; BORDER-LEFT: outset; BORDER-RIGHT: outset; BORDER-TOP: outset; FLOAT: right; FONT-FAMILY: sans-serif; FONT-SIZE: 80%; FONT-WEIGHT: bold
}
A.button {
	TEXT-DECORATION: none
}
H2.head {
	COLOR: #003333; FONT-FAMILY: sans-serif; FONT-SIZE: 16pt; FONT-WEIGHT: bold
}
H2 SMALL {
	COLOR: #003333; FONT-SIZE: 70%
}
H3 {
	COLOR: #003333; FONT-FAMILY: sans-serif; FONT-SIZE: 14pt; FONT-WEIGHT: bold
}
H4 {
	COLOR: #003333; FONT-FAMILY: sans-serif; FONT-SIZE: 10pt; FONT-WEIGHT: bold
}
H3 SMALL {
	COLOR: #003333; FONT-SIZE: 80%
}
H3 TT {
	FONT-FAMILY: monospace
}
H2 TT {
	FONT-FAMILY: monospace
}
TD TT {
	FONT-FAMILY: monospace
}
PRE TT {
	COLOR: black
}
.example {
	COLOR: #990000; FONT-FAMILY: monospace
}
.squared {
	BORDER-BOTTOM: red thin solid; BORDER-LEFT: red thin solid; BORDER-RIGHT: red thin solid; BORDER-TOP: red thin solid; MARGIN-RIGHT: 0px; PADDING-BOTTOM: 4px; PADDING-LEFT: 4px; PADDING-RIGHT: 4px; PADDING-TOP: 4px
}
.boxexample {
	COLOR: #006666; FONT-FAMILY: sans-serif; FONT-SIZE: 80%
}
.note {
	BORDER-BOTTOM: outset; BORDER-LEFT: outset; BORDER-RIGHT: outset; BORDER-TOP: outset; COLOR: #003333; FLOAT: left; FONT-FAMILY: sans-serif; FONT-SIZE: 80%; FONT-WEIGHT: bold; PADDING-BOTTOM: 0px; PADDING-LEFT: 0px; PADDING-RIGHT: 0px; PADDING-TOP: 0px
}
.sidebar {
	FONT-FAMILY: sans-serif; FONT-SIZE: 10pt
}
A:hover {
	COLOR: blue
}