/* CSS definition file containing site wide stylesheets */

.headerlinks:active {
	font-size: 12px;
 	color: rgb(255,255,255);
 	text-decoration: none ;
 	margin-top: 0px;
 	margin-bottom: 0px
}

.headerlinks {
	font-family: Verdana, Tahoma, Arial, Helvetica, Sans-serif;
 	font-size: 12px
}

.crumbtrail {
	font-size: 9px;
 	margin-top: 0px;
 	margin-bottom: 0px
}

.headerlinks:visited {
	font-size: 12px;
 	color: rgb(255,255,255);
 	text-decoration: none ;
 	margin-top: 0px;
 	margin-bottom: 0px
}

.headerlinks:link {
	font-size: 12px;
 	color: rgb(255,255,255);
 	text-decoration: none ;
 	margin-top: 0px;
 	margin-bottom: 0px
}

.productname {
	color: rgb(5,72,133);
 	font-weight: bold;
 	margin-top: 0px;
 	margin-bottom: 0px
}

.headerlinks:hover {
	font-size: 12px;
 	color: rgb(255,255,255);
 	text-decoration: none ;
 	margin-top: 0px;
 	margin-bottom: 0px
}