BODY {
	MARGIN: 0px
}
H1 {
	MARGIN: 0px 0px 0.5em; BORDER-BOTTOM: black 1px solid; FONT-FAMILY: Verdana,sans-serif
}
H2 {
	MARGIN: 0px 0px 0.5em; BORDER-BOTTOM: black 1px solid; FONT-FAMILY: Verdana,sans-serif
}
H3 {
	MARGIN: 0px 0px 0.5em; BORDER-BOTTOM: black 1px solid; FONT-FAMILY: Verdana,sans-serif
}
H4 {
	MARGIN: 0px 0px 0.5em; BORDER-BOTTOM: black 1px solid; FONT-FAMILY: Verdana,sans-serif
}
A:link {
	COLOR: black; BACKGROUND-COLOR: #ff9
}
A:visited {
	COLOR: black; BACKGROUND-COLOR: #ff9
}
A:visited {
	COLOR: #333; BACKGROUND-COLOR: #ffd
}
A:hover {
	BACKGROUND-COLOR: #ff3
}
A:active {
	BACKGROUND-COLOR: #ff3
}
UNKNOWN {
	BORDER-RIGHT: #cc3 1px dotted; BORDER-TOP: #cc3 1px dotted; BORDER-LEFT: #cc3 1px dotted; BORDER-BOTTOM: #cc3 1px dotted
}
P {
	MARGIN-TOP: 0px; MARGIN-BOTTOM: 1.2em
}
H1 {
	PADDING-RIGHT: 0.5em; PADDING-LEFT: 0.5em; FONT-SIZE: 120%; PADDING-BOTTOM: 0.2em; COLOR: #ccc; PADDING-TOP: 0.2em; BACKGROUND-COLOR: #666
}
H1 CODE {
	COLOR: #ccc
}
H2 {
	MARGIN-TOP: 2em; FONT-SIZE: 110%; BORDER-BOTTOM-COLOR: #999
}
H3 {
	MARGIN-TOP: 2em; FONT-SIZE: 110%; BORDER-BOTTOM-COLOR: #999
}
H4 {
	MARGIN-TOP: 2em; FONT-SIZE: 110%; BORDER-BOTTOM-COLOR: #999
}
H3 {
	FONT-SIZE: 100%; COLOR: #333
}
H4 {
	FONT-SIZE: 100%; COLOR: #333
}
#pagecontent {
	MARGIN: 2em
}
UL {
	MARGIN-TOP: 0px
}
LI {
	MARGIN-BOTTOM: 0.6em
}
P.overview {
	FONT-SIZE: larger; FONT-STYLE: italic
}
.contentfollows {
	MARGIN-BOTTOM: 0px
}
.contentbefore {
	MARGIN-TOP: 0px
}
CODE {
	FONT-SIZE: 100%; COLOR: #060; FONT-FAMILY: Courier,'Courier New',monospace
}
H2 CODE {
	FONT-SIZE: 110%
}
PRE CODE {
	FONT-SIZE: 100%
}
PRE {
	MARGIN: 0px 0px 1em 2em
}
CODE .keyword {
	COLOR: #00c
}
CODE .paren {
	FONT-WEIGHT: bold; COLOR: #900
}
CODE .number {
	COLOR: black
}
CODE .string {
	FONT-WEIGHT: normal; COLOR: #949
}
CODE .string .keyword {
	FONT-WEIGHT: normal; COLOR: #949
}
CODE .string .paren {
	FONT-WEIGHT: normal; COLOR: #949
}
CODE .string .string {
	FONT-WEIGHT: normal; COLOR: #949
}
CODE .string .number {
	FONT-WEIGHT: normal; COLOR: #949
}
CODE .comment {
	FONT-WEIGHT: normal; COLOR: #999
}
CODE .comment .keyword {
	FONT-WEIGHT: normal; COLOR: #999
}
CODE .comment .paren {
	FONT-WEIGHT: normal; COLOR: #999
}
CODE .comment .string {
	FONT-WEIGHT: normal; COLOR: #999
}
CODE .comment .number {
	FONT-WEIGHT: normal; COLOR: #999
}
CODE.block {
	DISPLAY: block; MARGIN: 1em; WHITE-SPACE: pre
}
P.byline {
	PADDING-RIGHT: 0px; BORDER-TOP: #ccc 1px solid; PADDING-LEFT: 0px; FONT-SIZE: 80%; PADDING-BOTTOM: 0.2em; MARGIN: 1em 2.4em; COLOR: #666; PADDING-TOP: 0.2em; FONT-STYLE: italic
}
.ancillary {
	FONT-SIZE: 90%; COLOR: #666; FONT-STYLE: italic
}
BUTTON {
	DISPLAY: inline
}
#overview {
	FONT-STYLE: italic
}
