body {margin: 0}
a:visited {
	color: purple;
}

.top_nav_button a, .top_nav_button a:link, .top_nav_button a:visited { 
	color: #ffffff;
	background: #808080; 
	font-weight: bold;
	padding-left: 15px;
	padding-right: 15px;
	font-family: arial;
	text-decoration: none;
	font-size: 14px;
	margin-left: 5px
}
.top_nav_button a:hover {background: #0066cc}
.top_nav_button_selected {
	color: #000000;
	background: #ffffff;
	font-weight: bold;
	padding-left: 15px;
	padding-right: 15px;
	font-family: arial;
	font-size: 14px;
	margin-left: 5px;
}

.small {font-size: small}

.context_bar {
	padding-left: 5px;
	font-size: 12pt;
	font-weight: bold;
	font-family: arial, helvetica, sans-serif;
}