body{
	color: #000000;
	background: #ffffff;
	font: 13pt helvetica;
}
body.navbar{
	color: #000000;
	background: #ffffff;
	font: 14pt helvetica;
	padding: 2px;
}
h1{
	font: 14pt helvetica;
	font-weight: bold;
}
h2{
	font: 12pt helvetica;
	font-weight: bold;
}
h3{
	font: 10pt helvetica;
	font-weight: bold;
}
table{
	background: #ffffff;
	font: 13pt helvetica;
}
th{
	padding: 4px;
	background: #ccddee;
	border-bottom: 1px solid #bbccdd;
	text-align: left;
}
td{
	padding: 4px;
	background: #ddeeff;
	border-bottom: 1px solid #ccddee;
}
td.blank{
	padding: 0px;
	background: #ffffff;
	border: none;
}
td.small{
	padding: 2px;
	background: #ddeeff;
	border-bottom: 1px solid #ccddee;
	font: 8pt helvetica;
}
td.doctop{
	padding: 10px;
	background: #ccddee;
	border-bottom: 1px solid #bbccdd;
	font: 10pt helvetica;
	vertical-align: text-top; 
	font-weight: bold;
}
td.docleft{
	padding: 10px;
	background: #ccddee;
	border-bottom: 1px solid #bbccdd;
	font: 8pt helvetica;
	vertical-align: text-top; 
	width: 10%;
}
td.docright{
	padding:10px;
	background: #ddeeff;
	border-bottom: 1px solid #ccddee;
	font: 10pt helvetica;
	vertical-align: text-top; 
	width: 90%;
}
pre{
	font: 10pt courier;
	background: #eef8ff;
	padding: 8px;
}
font.token{
	font-weight: bold;
}
font.syntax{
	color: #005555;
}
div.ref{
	border: 1px solid #000000;
}
div.indent{
	padding-left: 8px;
}
div.syntax{
	color: #005555;
	padding: 8px;
}
a{
	color: #000088;
	font: 10pt helvetica;
	text-decoration: underline;
}
a.navbig{
	color: #000088;
	font: 9pt helvetica;
	text-decoration: none;
}
a.navsmall{
	color: #000088;
	font: 8pt helvetica;
	text-decoration: none;
}
a:hover{
	color: #000088;
}
a.small{
	color: #000088;
	font: 8pt helvetica;
}
a.token{
	color: #000088;
	text-decoration: underline;
}
a.null{
	text-decoration: none;
}
div.entries{
	display: none;
}
