body {
	margin-top: 10px;
	margin-bottom: 10px;
	padding: 2px;
	font-family: "Courier New", monospace, Serif;
	font-size: 12pt;
}

pre {
	background: #FFFFBB;
	padding: 15px;
	border: 1px dashed black;
}

p {
	text-indent:2em;
}

.no_ident {
	text-indent:0;
}

.no_hor_margins {
	margin-left: 0;
	margin-right: 0;
}

.hilite {
	background-color: yellow;
}

table {
	font-size: 12pt;
}

div.toc {
}

div.toc ul {
}

div.toc li {
	font-size: 10pt;
}

div.toc a {
	font-family: Arial, Sans-Serif;
	color: #000000;
	text-decoration: none;
}

div.toc a:hover {
	text-decoration: underline;
}

div.body {
	padding-top: 0pt;
	padding-bottom: 1pt;
	padding-left: 6pt;
	padding-right: 6pt;
}

div.body h1, div.body h2, div.body h3, div.body h4, div.body h5, div.body h6 {
	font-family: Arial, Sans-Serif;
}

div.body h1 {
	text-align: left;
	margin-top: 30pt;
	margin-bottom: 20pt;
	font-size: 20pt;
	border-bottom: 2px solid black;
	padding: 5px;
}

div.body h2 {
	text-align: left;
	margin-top: 20pt;
	margin-bottom: 18pt;
	font-size: 16pt;
	border-bottom: 1px solid black;
	padding: 5px;
}

div.body h3 {
	text-align: left;
	margin-top: 20pt;
	margin-bottom: 16pt;
	font-size: 13pt;
	border-bottom: 1px solid black;
	padding: 5px;
}

div.body h4 {
	text-align: left;
	margin-top: 20pt;
	margin-bottom: 16pt;
	font-size: 12pt;
	font-weight: normal;
	border-bottom: 1px solid black;
	padding: 5px;
}

div.body h5 {
	width: 80%;
	text-align: left;
	margin-top: 6pt;
	margin-bottom: 16pt;
	font-size: 10pt;
	padding: 5px;
}


div.body a {
	text-decoration: none;
	color: blue;
}

div.body a:hover {
	text-decoration: underline;
}

div.body blockquote {
	border-top: 2px solid black;
	border-bottom: 2px solid black;
	background: #FFFFBB;
	padding: 15px;
}
div.body blockquote p {
	margin-top: 2pt;
	margin-bottom: 2pt;
}

div.body dt {
	background: #BBFFBB;
	padding: 3pt;
	border-left: 3px solid black;
	margin-top: 18pt;
	margin-bottom: 8pt;
}

