body {
	font-family: monospace; 
	}
div.old { 
	color: DarkGreen;
	}

div.comment{ 
	color: olive;
	}