body
{
	font: normal normal normal 12pt/14pt Verdana, Arial, Helvetica, sans-serif;
	color: #000000;
	background-color: #FFFFFF;
	margin: 10pt;
	padding: 0;
}
p
{
	font-size: 12pt;
	margin: 6pt 0 6pt 0;
	padding: 0;
}
td
{
	font-size: 12pt;
}
h1, h2, h3, h4
{
	color: #990000;
}
h1
{
	font-size: 16pt;
	line-height: 18pt;
}
h2
{
	font-size: 14pt;
	line-height: 16pt;
}
h3
{
	font-size: 12pt;
	line-height: 13pt;
	font-weight: bold;
}
h4
{
	font-size: 10pt;
	line-height: 11pt;
	font-weight: bold;
}
a:link, a:visited
{
	text-decoration: none;
}
a:hover, a:active
{
	color: #FF0000;
}
a:hover
{
	text-decoration: underline;
}
input, select
{
	font: normal normal normal 12pt/14pt Verdana, Arial, Helvetica, sans-serif;
	color: #000000;
	background-color: #FFFFFF;
}
.hint
{
	font-variant: small-caps;
}
.warning
{
	padding: 8pt;
	color: #AA0000;
	background-color: #FFCC99;
	border: 2px solid #FF0000;
}
code, .md5
{
	font-family: "Courier New", Courier, mono;
	font-size: 12pt;
}
acronym
{
	border-bottom-width: 1px;
	border-bottom-style: dotted;
}
ul, ol
{
	margin: 6pt 0 6pt 20pt;
	padding: 0;
	list-style-position: outside;
}
ul
{
	list-style-type: square;
}
p.lastchange
{
	font-size: 10pt;
	margin: 16pt 0 0 0;
}
p.jumpspace
{
	margin: 600pt 0 0 0;
}
table.tableborder
{
	border-right: 1px solid #999999;
	border-bottom: 1px solid #999999;
}
table.tableborder td
{
	border-left: 1px solid #999999;
	border-top: 1px solid #999999;
	padding: 2pt;
}
a span.printurl, #printurllist
{
	display: none;
}
#validated
{
	margin-top: 12pt;
}
div.console, div.example
{
	font-family: "Courier New", Courier, mono;
	font-size: 12pt;
	padding: 10pt;
	background-color: #CCCCCC;
}
div.console p, div.example p
{
	margin: 0;
	padding: 0;
}
div.console span.linenum, div.example span.linenum
{
	font-weight: bold;
}
div.box
{
	padding: 10pt;
	border: 1px solid #999999;
}
.notavailable {
	text-decoration: line-through;
}