BODY {
	FONT: 90% Verdana, Helvetica, Arial, sans-serif; BACKGROUND-COLOR: #ffffff
}
P {
	FONT-SIZE: smaller;
	MARGIN: 1em 20px;
	text-align: justify;
	padding-top: 0px;
	padding-bottom: 0px;
}
H1 {
	FONT-SIZE: 24pt; COLOR: #810000; FONT-FAMILY: Arial, Helvetica, sans-serif; TEXT-ALIGN: center
}
A:link {
	COLOR: #000099; TEXT-DECORATION: none
}
A:active {
	COLOR: #f00; TEXT-DECORATION: none
}
A:visited {
	COLOR: #000099; TEXT-DECORATION: none
}
A:hover {
	COLOR: #f00; TEXT-DECORATION: none
}
IMG {
	BORDER-TOP-WIDTH: 0px; BORDER-LEFT-WIDTH: 0px; BORDER-BOTTOM-WIDTH: 0px; BORDER-RIGHT-WIDTH: 0px
}
#header {
	PADDING-RIGHT: 0px; PADDING-LEFT: 0px; PADDING-BOTTOM: 0px; PADDING-TOP: 0px
}
#header IMG {
	FLOAT: left
}
#content {
	BORDER-RIGHT: black 1px solid; PADDING-RIGHT: 4px; BORDER-TOP: black 1px solid; PADDING-LEFT: 4px; FONT-SIZE: 90%; PADDING-BOTTOM: 4px; MARGIN: 20px 5px 5px; BORDER-LEFT: black 1px solid; PADDING-TOP: 4px; BORDER-BOTTOM: black 1px solid; BACKGROUND-COLOR: #efefef
}
#footer {
	FONT-SIZE: 80%; MARGIN-RIGHT: 12px; TEXT-ALIGN: center
}
.nav {
	BORDER-RIGHT: #000099 1px solid; PADDING-RIGHT: 0px; BORDER-TOP: #000099 1px solid; PADDING-LEFT: 0px; FONT-SIZE: 100%; PADDING-BOTTOM: 0px; MARGIN: 25px 5px 0px 150px; BORDER-LEFT: #000099 1px solid; PADDING-TOP: 0px; BORDER-BOTTOM: #000099 1px solid; BACKGROUND-COLOR: #ccccff; TEXT-ALIGN: center
}
.paging {
	MARGIN-LEFT: auto; MARGIN-RIGHT: auto; TEXT-ALIGN: center
}
#message {
	COLOR: red; TEXT-ALIGN: center
}
#parsedQuery {
	FLOAT: left; COLOR: #990000
}
#noDocs {
	CLEAR: both
}
.chapter {
	MARGIN-LEFT: 0px
}
.section {
	MARGIN-LEFT: 20px
}
.subsection {
	MARGIN-LEFT: 40px
}
.resultsInfo {
	FLOAT: right
}
.entry H2 {
	FONT-SIZE: medium; MARGIN-BOTTOM: 4px; COLOR: #365483
}
.entry H3 {
	MARGIN-TOP: 4px; FONT-SIZE: 90%; MARGIN-BOTTOM: 4px; COLOR: #b6b6b6; TEXT-INDENT: 2em
}
.entry DIV {
	MARGIN-LEFT: 20px
}
.highlight {
	BACKGROUND-COLOR: yellow
}
.menu {
	PADDING-RIGHT: 4px; PADDING-LEFT: 4px; FLOAT: right; PADDING-BOTTOM: 4px; MARGIN: 4px 2px 4px 4px; BORDER-LEFT: #ccc 2px dotted; WIDTH: 120px; PADDING-TOP: 4px; BORDER-BOTTOM: #ccc 2px dotted; POSITION: relative; BACKGROUND-COLOR: #fff; TEXT-ALIGN: right
}
.centered {
	MARGIN-LEFT: auto; MARGIN-RIGHT: auto; TEXT-ALIGN: center
}
.inputField {
	BORDER-RIGHT: #0000cc 1px solid; PADDING-RIGHT: 0.1em; BORDER-TOP: #0000cc 1px solid; PADDING-LEFT: 0.1em; MARGIN-BOTTOM: 1px; PADDING-BOTTOM: 0.1em; VERTICAL-ALIGN: middle; BORDER-LEFT: #0000cc 1px solid; COLOR: black; PADDING-TOP: 0.1em; BORDER-BOTTOM: #0000cc 1px solid; BACKGROUND-COLOR: #efefef
}
.highlighted {
	background-color: #FFFFCC;
}