div#left ul#nav li a.history, div#left ul#nav li a.history:link, div#left ul#nav li a.history:active, div#left ul#nav li a.history:visited {
	color: #122770;
	font-weight: bold;
}