BODY {
	PADDING-RIGHT: 10px; PADDING-LEFT: 10px; PADDING-BOTTOM: 10px; MARGIN: 0px; CURSOR: default; PADDING-TOP: 10px
}
TD {
	PADDING-RIGHT: 0.4em; FONT-SIZE: 0.6em; FONT-FAMILY: monospace
}
A {
	FONT-WEIGHT: bold; FONT-SIZE: 1.3em; COLOR: #0000ff; FONT-FAMILY: sans-serif; TEXT-DECORATION: none
}
A:hover {
	COLOR: #990000; TEXT-DECORATION: underline
}