.redmantis {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-weight: bold;
	color: #00CCFF;
	text-decoration: none;
}