body {
  background-color: #FFF;
  color: #000;
  font-size:12pt;
}

a:link, a:visited {
	color:#520;
}

a:link:after, a:visited:after {
	content:" (" attr(href) ") ";
	font-size:90%;
}

table.formattedsourcecode {
	width:100%;
	border:1px solid #0A246A;
	font-size:12pt;
}
table.formattedsourcecode .linenumber {
	text-align:right;
	color:#000;
	vertical-align:top;
	padding:0.12em 0.35em 0 0.8em;
	background-color:#FFF;
	border-right:1px solid #000;
	border-bottom:1px solid #F5F5F5;
}
table.formattedsourcecode .content {
	padding:0.12em 0.5em 0;
	border-bottom:1px solid #F5F5F5;
	background-color:#FFF;
	width:100%;
}
table.formattedsourcecode .content .function {
	color:#900;
}
table.formattedsourcecode .content .name {
	color:#00F;
}
table.formattedsourcecode #selectcode {
	display:none;
}