BODY {
	MARGIN-TOP: 0.1em; FONT-SIZE: 70%; MARGIN-LEFT: 0px; MARGIN-RIGHT: 0px; FONT-FAMILY: verdana,sans-serif; BACKGROUND-COLOR: black; TEXT-ALIGN: center
}
DIV {
	PADDING-RIGHT: 6px; PADDING-LEFT: 6px; PADDING-BOTTOM: 6px; PADDING-TOP: 6px
}
H1 {
	MARGIN-TOP: 0px; FONT-SIZE: 180%; COLOR: #666666
}
H2 {
	MARGIN-TOP: -0.2em; FONT-SIZE: 140%; COLOR: #666666
}
FORM H1 {
	MARGIN-TOP: -0.5em
}
#antMain {
	BORDER-RIGHT: #999 2px solid; BORDER-TOP: #999 2px solid; BORDER-LEFT: #999 2px solid; WIDTH: 760px; BORDER-BOTTOM: #999 2px solid; BACKGROUND-COLOR: #CCC; TEXT-ALIGN: left
}
TD.text {
	FONT-SIZE: 70%; TEXT-ALIGN: right
}
TD.fontSelected {
	BORDER-RIGHT: blue 1px dashed; BORDER-TOP: blue 1px dashed; FONT-SIZE: 90%; BORDER-LEFT: blue 1px dashed; BORDER-BOTTOM: blue 1px dashed; TEXT-ALIGN: center
}
DIV#menu {
	MARGIN-TOP: 0.1em; WIDTH: 760px; BACKGROUND-COLOR: #999; TEXT-ALIGN: left
}
.small {
	FONT-SIZE: 80%
}
.imgLeft {
	PADDING-RIGHT: 8px; FLOAT: left
}
.imageBorder {
	BORDER-RIGHT: silver 1px solid; PADDING-RIGHT: 0px; BORDER-TOP: silver 1px solid; PADDING-LEFT: 0px; PADDING-BOTTOM: 0px; MARGIN: 4px; BORDER-LEFT: silver 1px solid; PADDING-TOP: 0px; BORDER-BOTTOM: silver 1px solid
}
.borderLine {
	BORDER-RIGHT: black 1px solid; BORDER-TOP: black 1px solid; BORDER-LEFT: black 1px solid; BORDER-BOTTOM: black 1px solid
}
div#menu a {
border-color:white black black white;
border-style:solid;
border-width:1px 2px 2px 1px;
color:white;
font-size:80%;
margin-right:3px;
padding:0.2em 0.5em;
}
DIV#menu A:hover {
	COLOR: gray
}
A:link {
	FONT-WEIGHT: bold; FONT-SIZE: 80%; COLOR: #003366; TEXT-DECORATION: none
}
A:visited {
	FONT-WEIGHT: bold; FONT-SIZE: 80%; COLOR: gray; TEXT-DECORATION: none
}
A:hover {
	FONT-WEIGHT: bold; FONT-SIZE: 80%; COLOR: red; TEXT-DECORATION: none
}