DIV.code {
	BACKGROUND: #eee
}
DIV.code PRE {
	PADDING-RIGHT: 4px; PADDING-LEFT: 4px; FONT-SIZE: 8.6pt; BACKGROUND: #eee; PADDING-BOTTOM: 4px; MARGIN: 0px; PADDING-TOP: 4px; FONT-FAMILY: monospace, courier,'courier new'
}
DIV.indent {
	MARGIN: 0px 0px 0px 20px
}
H1 {
	MARGIN: 0px 0px 10px
}