/* How to choose */
#htc_answered 
{
    border-right: #bfc1c2 1px solid;
    float: left;
	left: 0;
	font-size: smaller;
    height: 500px;
}
#htc_answered select
{
    width: 100px
}
div#question, div#info2
{
	margin-right:30%;
}
div#question input#back
{
	float: left;
}
div#question input#next
{
	float: left;
	margin-left: 210px;
}
div#info1
{
	float: right;
	width: 30%;
	font-size: smaller;
}
div#answered
{
	position: absolute;
	left: 0;
	width: 200px;
	font-size: smaller;
	height: 500px;
}
div#info2
{
	clear: right;
}

.match
{
	width: 10px;
	vertical-align: center;
	text-align: center;
}

td.model, a#model
{
/*  font-size: larger; */
  font-weight: bold;
  white-space: nowrap;
  width: 80px;
  text-align: center;
}
.flow
{
  width: 40px;
  text-align: center;
}
td.short
{
  font-size: smaller;
  width: 449px;
}
#htc_menu
{
	width: 500px;	
	border-collapse: collapse;
}
div#htcresult
{
	margin-left: 210px;
	padding-left: 5px;
	min-height: 400px;
}
div#answered select
{
	width: 100px
}

table#htc_menu
{
	width: 69%;
	margin-left: 15%;
	margin-right: 15%;
	border-collapse: collapse;
}
form
{
  margin-top: 0;
}  

div#spvinfo
{
  margin-left:0.5em;
}
table#public, table#public td, table#public th
{
  border-collapse: collapse;
  border: solid 1px black;
  text-align: center;
}
td.inline
{
  white-space: nowrap;
}
div#gen
{
	width: 75%;
	float: left;
}
div#awprec
{
  width: 75%;
  float: left;
}
div#awpnsfrec
{
  	float: left;
	width: 75%;
}
table#header td
{
  	font-weight: bold;
  	font-size: medium;
  	text-align: center;
}
 
div.htcprod table
{
   	width: 100%;
}
p.tablehead
{
	width: 100%;
}
tr#htc_current
{
	background-color: #CCCCCC;
}

table#htc_menu
{
  	border-left: solid 4px #333333;
  	border-right: solid 4px #333333;
  	border-bottom: solid 4px #333333;
  	text-align: center;
}
table#htc_menu a, table#htc_menu a:visited
{
  	font-weight: bold;
	color: #333333;
}
table#htc_menu a:hover
{
	text-decoration: underline;
}
table#htc_menu td {
	background-color: #999999;
	width: 50%;
}
table#htc_menu td#sel {
  	background-color: #CCCCCC;
}

div.htcprod td {
  background-color: #EEEEEE;
}
div#htcrecprod {
  background-color: #444444;
}
p#htcrectxt {
   color: white;
}