BODY {
	BACKGROUND: white; MARGIN: 3px; COLOR: black; FONT-FAMILY: "helvetica neue",helvetica,sans-serif
}
.highlight {
	BACKGROUND-COLOR: yellow
}
.navtable {
	BORDER-TOP-WIDTH: 0px; BORDER-LEFT-WIDTH: 0px; FONT-SIZE: 12px; BORDER-BOTTOM-WIDTH: 0px; WIDTH: 100%; COLOR: #6595c5; FONT-FAMILY: "helvetica neue",helvetica,sans-serif; BACKGROUND-COLOR: #c0ccee; BORDER-RIGHT-WIDTH: 0px
}
.obsolete_navtable {
	BORDER-TOP-WIDTH: 0px; BORDER-LEFT-WIDTH: 0px; FONT-SIZE: 12px; BORDER-BOTTOM-WIDTH: 0px; WIDTH: 100%; COLOR: #6595c5; FONT-FAMILY: "helvetica neue",helvetica,sans-serif; BACKGROUND-COLOR: #a2d48d; BORDER-RIGHT-WIDTH: 0px
}
.nounderline {
	TEXT-DECORATION: none
}