.code {
	font-family:Courier New;
	font-size:13px;
	color:#000000;
}
.js .comment { color:#008000 }
.js .string { color:#008000 }
.js .regexp { color:#8000ff }
.js .reserved { color:#0000cc }
.js .number { color:#ff0000 }
.js .object { color:#000080; font-weight:bold }
.js .global { color:#ff00bb }
.js .warning { color:#ff0000; font-weight:bold; background:#efefcc; border:1px solid #909090 }