/*
////////////////////////////////////////////////////// 
//	Style Properties for JS function Highlighter.
//////////////////////////////////////////////////////
*/

.button
{
	color: #F09746;
	background:#000000;	
	border-color : #C0C0C0 #C0C0C0 #C0C0C0 #C0C0C0;
	font-weight : bolder;	
}	
.buttonoff
{
	font-weight: bolder;
}

INPUT.radio 
{
 	background-color : #F1E7C7;
}

.highlight 
{
 	font: 600 12pt/14px Comic Sans MS, arial, helvetica;
 	color : #DDFC01;
}

.standard_engr
{
 	font: 600 10pt Comic Sans MS, arial, helvetica;
 	color : #FFFFFF;
}

A:link, A:visited, A:active 
{ 
	text-decoration: underline; 
	font-weight: none; 
	color:#F09746; 
} 
A:hover	
{ 
	text-decoration: underline; 
	color: #FCBF6D; 
}

#BLD 
{
	font-weight: bold;
	color: #fffeea;
}

a.sublink 
{
	text-decoration: underline; 
	font-weight: bold; 
	color:#0000FF; 
	cursor: s-resize;
} 
 
a:link.sublink 
{
	color: #0000FF;
	font-weight: bold;
	text-decoration: none;
} 

a:hover.sublink 
{
	color: #998335;
	font-weight: bold; 
	text-decoration: underline;
}