body {
	background-color: black;
	color: white;
	font-family: monospace;
	font-size: 10pt;
	font-style: normal;
}
a.visited {
	color: white;
}
a, a:visited, a:active {
	color: white;
	text-decoration: none;
}
a:hover {
	color: red;
}
a.text, a.text:visited, a.text:active {
	border-bottom-style: solid;
	border-bottom-width: 1px;
	border-bottom-color: white;
	color: gray;
	text-decoration: none;
}
a.text:hover {
	border-bottom-style: dashed;
	border-bottom-width: 1px;
	border-bottom-color: red;
	color: white;
}