pre.hl {
	margin-left: 40px;
	padding: 3px;
	color: #000000;
	font-family: "Courier New", Courier, Monospace;
	font-size: 98.5%;
 	background-color: #FBFBFB;
	border-top: 1px solid #DDD;
	border-right: none;
	border-bottom: 1px solid #DDD;
	border-left: 1px solid #DDD;
	}
.num {
	color: #B22222;
	font-family: "Courier New", Courier, Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.esc {
	color: #0B810D;
	font-family: "Courier New", Courier, Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.str {
	color: #778899;
	font-family: "Courier New", Courier, Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.dstr {
	color: #808080;
	font-family: "Courier New", Courier, Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.slc {
	color: #0B810D;
	font-family: "Courier New", Courier, Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.com {
	color: #FF0000;
	font-family: "Courier New", Courier, Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.dir {
	color: #4B0082;
	font-family: "Courier New", Courier, Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.sym {
	color: #DC143C;
	font-family: "Courier New", Courier, Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.line {
	color: #888888;
	font-family: "Courier New", Courier, Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.kwa {
	color: #008080;
	font-family: "Courier New", Courier, Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.kwb {
	color: #0000FF;
	font-family: "Courier New", Courier, Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.kwc {
	color: #225F2D;
	font-family: "Courier New", Courier, Monospace;
	font-size: 98.5%;
	background: transparent;
	}
.kwd {
	color: #000000;
	font-weight: bold;
	font-family: "Courier New", Courier, Monospace;
	font-size: 98.5%;
	background: transparent;
	}