table.formattedsourcecode {
	width:100%;
	border:1px solid #538620;
	font-size:105%;
	font-family:'Courier New', 'Andale Mono', 'Lucida Console', 'Bitstream Vera Sans Mono';
}
table.formattedsourcecode .linenumber {
	text-align:right;
	color:#FFF;
	vertical-align:top;
	padding:0.2em 0.4em 0 1em;
	background-color:green;
}
table.formattedsourcecode .content {
	padding:0.2em 0.5em 0;
	border-bottom:1px solid #F1F1F1;
	background-color:#FFFFF7;
	width:100%;
}
table.formattedsourcecode .download {
	background-color:#DDD;
	border-top:0px dotted #0A246A;
	border-left:0px solid #0A246A;
	text-align:center;
	padding:1em;
}
table.formattedsourcecode .download input {
	background-color:green;
	border:1px solid #333;
	color:#FFF;
	font-family:Verdana, Arial, Helvetica, sans-serif;
	font-size:100%;
	cursor:pointer;
}