@CHARSET "UTF-8";

.border
{
	border: 1px solid #A6A6A6;
}

.radio_noborder
{
	width: 9px;
}
	
.button_off  {
	background: #e1e1e1; /* #A6A6A6; */
	margin-bottom: 1pt;
	color: #e1e1e1;
	width : 10px;
	font-weight: bold; 
	font-size: 15px;
	border: 1px solid #A6A6A6;;
}

.button_on  {
	
	background:  #990000; 
	margin-bottom: 1pt;
	color: #990000;
	font-weight: bold; 
	font-size: 15px;
	border: 1px solid #A6A6A6;;
	width : 10px;
}

.label {
	font-size: 10pt;
	font-stretch :extra-condensed;
	font-family: monospace;
	font-weight: bold;
}