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;
}

#navbar {
	font-weight: bold;
	padding-bottom: 0px;
	padding-left: 15px;
	padding-right: 15px;
	padding-top: 0px;
	text-decoration: none;
	display: inline;
}

div.content {
}

body {
	font-size: 18px;
	font-family: "Times New Roman";
}
