/* JS */

.sh_js_special {
	font-weight: bold;
}
.sh_js_special_var {
	color: #800000;
}
.sh_js_special_object {
	color: #008000;
}
.sh_js_special_function {
	color: #000080;
}
.sh_js_string {
	color: #dd0000;
}
.sh_js_number {
	color: #0000ff;
}