.docks {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 10px;
	color: #000000;
}
a:hover {
	color: #FFCC66;
}
.historytext {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 11px;
	line-height: 16px;
}
.minitext {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 10px;
}