pre.programlisting
{
	margin-left: 2em;
	background-color: #F0F0F0;
	color: black;
}
.newsheader
{
	font-style: italic;
}
.navbar
{
	text-align: center;
	padding-top: 4pt;
	padding-bottom: 4pt;
	border-top: 2px solid #808080;
	border-bottom: 2px solid #808080;
}