*.codesample {
	font-family: "PT Mono", "Consolas", "Courier New", monospace;
	font-size: 10pt;
	color: black;
	background-color: white;
}
*.added {
	color: white;
	background-color: rgb(0,128,0);
}
*.deleted {
	color: white;
	background-color: rgb(128,0,0);
}
*.modified {
	color: white;
	background-color: rgb(80,80,128);
}
*.unchanged {
	color: white;
	background-color: rgb(0,0,128);
}