a {
	color: #003399;
}
a:hover {
	color: red;
}
a:visited {
	color: #003399;
}
.anchor:hover {
	color: #003399;
}
body {
	background-color: white;
	color: black;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10pt;
}
#body h1 {
	font-weight: bold;
	font-size: 150%;
	margin: 15pt 0pt 0pt 0pt;
}
#body h2 {
	font-weight: bold;
	font-size: 125%;
	margin: 0pt;
}
#body h3,h4,h5 {
	font-weight: bold;
	font-size: 100%;
	margin: 0pt;
}
#body .ref {
	border-bottom: 1pt dashed #003399;
}
#body .section {
	margin: 0pt 0pt 10pt 0pt;
	padding: 0pt;
}
#body .subsection {
	margin: 0pt 25pt;
	padding: 0pt;
}
code {
	font-weight: bold;
	font-size: 110%;
}
#head {
	font-weight: bold;
	text-align: center;
}
#head #title {
	font-size: 200%;
}
hr {
	margin: 0pt 0pt -15pt 0pt;
}
p {
	margin: 0pt 0pt 5pt 0pt;
}
table {
	border: outset 4pt #003399;
	border-collapse: collapse;
	margin: 5pt 0pt 10pt 0pt;
}
td {
	border: inset 1pt #003399;
	padding: 2pt;
	text-align: center;
}
th {
	border: inset 1pt #003399;
	padding: 2pt;
}
#toc .header {
	font-size: 125%;
	font-weight: bold;
	margin: 15pt 0pt 0pt 0pt;
}
#toc ul {
	font-weight: bold;
	list-style-type: none;
	margin: 0pt;
	padding: 0pt;
}
#toc ul ul {
	font-weight: normal;
	list-style-type: disc;
	margin: 0pt;
	padding: 0pt 20pt;
}