body {
	font-family:palatino,times,serif;
	background-color:white;
	color:black;
}

.news {
	color:#006600;
}

.warning {
	color:#990000;
}

h2.news {
	color:#FF0033;
}

h1, h2, h3 {
	color:maroon;
}

div.code {
	white-space:pre;
}