.font_1 {font-size: 0.70em;}
.font_2 {font-size: 0.80em;}
.font_3 {font-size: 1.00em;}
.fixed11px {font-size: 11px;}
.fixed12px {font-size: 12px;}
a:link {color: #EF8412;}
a:visited {color: #EF8412;}
a:hover {color: #883300;}
a:link.coloredVisited {color: #EF8412;}
a:visited.coloredVisited {color: #883300;}
a:hover.coloredVisited {color: #883300;}
.page_ctrl_text
{
	background-color: #FFFFFF;
	color: #000000;
	font-weight: bold;
	font-size: 0.80em;
	padding: 1px 3px 1px 3px;
	white-space: nowrap;
}
.page_ctrl_text_wide
{
	background-color: #FFFFFF;
	color: #000000;
	font-weight: bold;
	font-size: 0.80em;
	padding: 1px 8px 1px 8px;
	white-space: nowrap;
}