/* ******************************************************************************************* */
/* TPTP style sheet */
/* Version: $Id: tptp_style.css,v 1.2 2007/03/05 17:41:49 rlee Exp $            */
/* Create date: Dec 15, 2004 */
/* Author:  Nellie Klump */
/* Updated for Phoenix by Ruth Lee */
/* Use this style sheet for TPTP pages converted to Phoenix. See eclipse_style.css for details. */
/* ******************************************************************************************* */
/* ============================ General list ============================ */
dl#gen_list{
  list-style-type: none;
  margin: 0;
  padding: 0;
}

dl#gen_list dt{ 
  margin: 5px 0 0 0;
  color: black;
  font-family: Arial, Tahoma, Sans-serif; font-size: 13px; font-weight: 600; font-style: normal; text-decoration: bold;
  clear:both;
  text-indent: 0px;

}

dl#gen_list dd{
  margin: 5px 0 5px 15px;
  clear:both;
  width:98%;
  font-family: Arial, Tahoma, Sans-serif; font-size: 13px; font-weight: 400; font-style: normal; text-decoration: none;
}

/* ============================ Document listing ============================ */
dl#doc_list{
  list-style-type: none;
  margin: 0;
  padding: 0;
}

dl#doc_list dd{ 
  margin: 5px 0 5px 15px;
  color: black;
  clear:both;
  text-indent: 15px;

}

dl#doc_list dt{
  margin: 5px 0 5px 5px;
  clear:both;
  display: inline;  
}


/* ============================ Subsystem lists ============================ */
dl#subsys_list{
  list-style-type: none;
  margin: 0;
  padding: 0;
  width:100%;
}

dl#subsys_list dd{
  border-top: 1px solid #666;
  margin: 20px 0 0 0;
  color:black;
  clear:both;
  width:98%;
}

dl#subsys_list dt{
  margin: 5px 0 5px 20px;
  clear:both;
}

/* ============================ Table ============================ */
table{
  clear:both;
font-family: Arial, Tahoma, Sans-serif; font-size: 13px; font-weight: 400; font-style: normal; text-decoration: none;
}
table#tbl_info {
  float:left;
  margin: 10px 0 10px 0;
  border-collapse:collapse;
  border:black solid 1px;
  padding:5px;
  clear:both;
  width:98%;
}

table#tbl_info th{
  background-color:#CCCCCC;
  color: #FFFFFF;
  border: black solid 1px;
  width:200px;
}

table#tbl_info td{
  border: black solid 1px;
}




/* ============================ Main Build table ============================ */
table#build_tbl {
  margin: 2px 0 10px 0;
  border:0;
  padding:5px;
  clear:both;
}

table#build_tbl th{
  background-color:#B592C6;
  font-family: Arial, Tahoma, Sans-serif; font-size: 12px; font-weight: 800; font-style: normal; text-decoration: bold;
  border: black solid 1px;
  width:200px;
  text-align:left;
}

table#build_tbl td{
  border: 0;
  font-family: Arial, Tahoma, Sans-serif; font-size: 12px; font-weight: 400; font-style: normal; text-decoration: none;
}


/* ============================ Tabbed container ============================ */
 #navcontainer ul
{
padding: 1px 0;
margin: 10px 0 0 0;
border-bottom: 10px solid #39305A;
font: bold 8px Verdana, sans-serif;
 }

#navcontainer li
{
list-style: none;
margin: 0;
display: inline;
line-height:18px;
padding: 2px 0.5em;
margin-left: 2px;
border: 1px solid #595791;
border-bottom: none;
background: #F5F5F5;
}

#navcontainer a
{

text-decoration: none;
}

#navcontainer a:link
{
color: #000000;
text-decoration: none;
padding-left: 0.25em;
padding-right: 0.25em;
}

#navcontainer a:visited
{
color: #000000;
}

#navcontainerclear { display: none; }

html>body #navcontainerclear
{
display: block;
clear: both;
}

#navcontainer li#link1
{
background-color: #F5F5F5;
color: #000000;
border: 1px solid #595791;
}  

#navcontainer li#link2
{
background-color: #F5F5F5;
color: #000000;
border: 1px solid #595791;
}  
#navcontainer li#link3
{
background-color: #F5F5F5;
color: #000000;
border: 1px solid #595791;
}  
#navcontainer li#link4
{
background-color: #F5F5F5;
color: #000000;
border: 1px solid #595791;
}  
#navcontainer li#link5
{
background-color: #F5F5F5;
color: #000000;
border: 1px solid #595791;
}  
#navcontainer li#link6
{
background-color: #F5F5F5;
color: #000000;
border: 1px solid #595791;
}  

#navcontainer li#link7
{
background-color: #F5F5F5;
color: #000000;
border: 1px solid #595791;
}  

#navcontainer li#link8
{
background-color: #F5F5F5;
color: #000000;
border: 1px solid #595791;
}  

#navcontainer li#enh1
{
background-color: #B592C6;
color: #FFFFFF;
border: 1px solid #39305A;
}  

#navcontainer li#enh2
{
background-color: #B592C6;
color: #FFFFFF;
border: 1px solid #39305A;
}  

#navcontainer li#enh3
{
background-color: #B592C6;
color: #FFFFFF;
border: 1px solid #39305A;
}