html, body
{
   max-width: 600px;
   font-family: sans, sans-serif;
   font-size: 11pt;
   margin: 10px 15px 20px;
}
div.nav { background: #eee; border: 1px solid black; padding: 0pt 10pt; }
div.nav h3 { margin: 2pt 0pt; }
div.header { text-align: center; }
div.header { margin-top: 24pt; margin-bottom: 24pt; }
div.header h1 { font-size: 18pt; }
div.header h2 { font-size: 14pt; }
div.header h3 { font-size: 12pt; }
div.body { text-align: left; }
div.body h1 { font-size: 18pt; }
div.body h2 { font-size: 16pt; }
div.body h3 { font-size: 14pt; }
div.body h4 { font-size: 12pt; }
div.body h5 { font-size: 10pt; font-weight: bold; }
div.body h6 { font-size: 10pt; }
div.body p, div.body li { text-align: justify; }
div.toc
{
	margin-top: 24pt;
	margin-bottom: 24pt;
	padding: 8pt;
	border: 1px solid black;
   font-size: 10pt;
}
div.toc a
{
	color: black;
	text-decoration: none;
}
a { color: #660099; }
a:link, a:active, a:visited { text-decoration: none; }
div.toc a:hover, a:hover {
   text-decoration: underline;
}
div.body blockquote
{
   background: #eee;
   padding: 18pt;
}
div.body blockquote p {
   background: #eee;
   margin-top: 2pt;
   margin-bottom: 2pt;
}
/* for these docs, pre is used only to preserve line breaks */
div.body pre { font-family: sans, sans-serif; }