/* CSS Document */

p{
font-family: "Courier New", Courier, monospace;
font-size: 12px;
color: #000000;
line-height: 18px;
padding: 3px;
}

.bold {
	font-family: "Courier New", Courier, monospace;
	font-size: 12px;
	line-height: 18px;
	font-weight: bold;
	color: #990033;
}

.navigation {
	font-family: "Courier New", Courier, monospace;
	font-size: 10px;
	font-style: normal;
	font-weight: bold;
	color: #FFFFFF;
	text-decoration: none;
	background-color: #990033;
	display: block;
	padding: 8px;
	width: 55px;
}

.navigation:hover {
	font-family: "Courier New", Courier, monospace;
	font-size: 10px;
	font-style: normal;
	font-weight: bold;
	color: #FF0000;
	text-decoration: none;
	background-color: #990033;
	display: block;
	padding: 8px;
	width: 55px;
}

.heading {
	font-family: "Courier New", Courier, monospace;
	font-size: 20px;
	line-height: 30px;
	font-weight: bold;
	color: #990033;
}

.inline_link {
	font-family: "Courier New", Courier, monospace;
	font-size: 12px;
	line-height: 18px;
	font-weight: bold;
	color: #006600;
}

.inline_link:hover {
	font-family: "Courier New", Courier, monospace;
	font-size: 12px;
	line-height: 18px;
	font-weight: bold;
	color: #FF9900;
}
.border_when {
	border: medium solid #006600;
}