.print {
	display:					none;
}

p.footer {
	font-size:					80%;
	text-align:					right;
}

.comment { color: #008000; }
.pre { color: #000099; }
.string { color: #000080; }
.char { color: #009900; }
.float { color: #804000; }
.int { color: #000040; }
.bool { color: #000000; }
.type { color: #800000; }
.flow { color: #800000; }
.keyword { color: #800000; }
.operator { color: #663300; }

.highlight {
	color:						#800030;
}

pre {
	font-size:					small;
	background:					#F4F5D3;
}