html.hl, body.hl {
	margin: 20px 60px 450px 10px;
	color: #000;
	font-family: "Courier New", Courier, Monospace;
	font-size: 98.5%;
	background-color: #FFF;
	}
pre.hl {
	color: #000000;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	padding: 3px;
 	background-color: #FBFBFB;
	border-top: 1px solid #DDD;
	border-right: none;
	border-bottom: 1px solid #DDD;
	border-left: 1px solid #DDD;
	}
.hl.num {
	color: #B22222;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.hl.esc {
	color: #0B810D;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.hl.str {
	color: #778899;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.hl.dstr {
	color: #808080;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.hl.slc {
	color: #0B810D;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.hl.com {
	color: #FF0000;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.hl.dir {
	color: #4B0082;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.hl.sym {
	color: #DC143C;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.hl.line {
	color: #888888;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.hl.kwa {
	color: #008080;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.hl.kwb {
	color: #0000FF;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.hl.kwc {
	color: #225F2D;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.hl.kwd {
	color: #000000;
	font-weight: bold;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	background: transparent;
	}
a:link {
	color: #0099FF;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	text-decoration: none;
	background: transparent;
	border: none;
	}
a:visited {
	color: #00AACC;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	text-decoration: none;
	background: transparent;
	border: none;
	}
a:hover, a:focus {
	color: #0099FF;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	text-decoration: none;
	background: transparent;
	border-bottom: 1px solid #0099FF;
	}
a.hl.slc:active, a:active {
	color: #FFF;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	text-decoration: none;
	background-color: #0099FF;
	border-bottom: 1px solid #600;
	}
a.hl.slc:link {
	color: #006600;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	text-decoration: none;
	background: transparent;
	border: none;
	}
a.hl.slc:visited {
	color: #289928;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	text-decoration: none;
	background: transparent;
	border: none;
	}
a.hl.slc:hover, a.hl.slc:focus {
	color: #0B810D;
	font-family: "Courier New",Courier,Monospace;
	font-size: 98.5%;
	text-decoration: none;
	background: transparent;
	border-bottom: 1px dotted #0B810D;
	}