/**
 * Colours, etc. for apache_prettify
 * Compatible with prettify.js
 */
 
.str{color:#080}
.kwd{color:#008}
.com{color:#800}
.tag{color:#008}
.regex{color:#066}

.code-box {
	border: 1px solid #ccc; overflow:auto;max-height:400px;
	background-color: #eee ;
	color: black ;
}
.number-col {
	background-color:#ddd;border-right:1px solid #ccc; padding: 5px;color:#666;
}
.code-col {
	padding: 5px 8px ;
}
.number-line {
	white-space: pre; height: 1.3em
}
.code-line {
	height: 1.3em
}