* {
	font-family: "PT Mono", "Consolas", "Courier New", monospace;
	font-size: 10pt;
	color: black;
	background-color: white;
}
*.action {
	font-weight: bold;
	color: rgb(128,0,0);
	background-color: white;
}
*.comment {
	color: rgb(128,0,0);
	background-color: white;
}
*.class {
	font-style: italic;
	color: rgb(0,128,128);
	background-color: white;
}
*.error {
	color: rgb(200,200,200);
	background-color: rgb(128,0,0);
}
*.ident2 {
	color: rgb(0,128,128);
	background-color: white;
}
*.keyword {
	font-weight: bold;
	color: rgb(0,0,128);
	background-color: white;
}
*.keyword2 {
	font-weight: bold;
	color: rgb(128,0,0);
	background-color: white;
}
*.literal {
	color: rgb(128,0,128);
	background-color: white;
}
*.number {
	font-weight: bold;
	color: rgb(0,128,128);
	background-color: white;
}
*.preproc {
	color: rgb(0,128,0);
	background-color: white;
}
*.type {
	font-weight: bold;
	color: rgb(0,128,0);
	background-color: white;
}

*.no-header {
	visibility:hidden;
	overflow:hidden;
	float:left;
	clear: both;
	width: 1px;
	height: 1px;
}

*.small-caps {
	font-variant: small-caps;
}