/* General styling */

html, body {
  height: 100%;
  overflow: hidden;
  padding: 0;
  margin: 0;
  font-size: 9pt;
  font-family: Verdana,Lucida,Arial,Sans-Serif;
}
body {
  background-color: #e4e4e4;
}

/* Header and Footer Styling */

div#header {
  height: 82px;
  background-color: #003366;
}
div#headertop,span#doctext,span#t4elogo {
  height: 55px;
  line-height: 53px;
}
div#headertop,div#footer {
  background: url(/img/documentation/hptexture.gif) no-repeat top right;
  background-color: #1a4da0;
  color: #fff;
}
span#t4elogo {
  position: absolute;
  top: 0; left: 0;
  width: 150px; 
  background: url(/img/documentation/t4elogo.gif) no-repeat left center;
  margin-left: 20px;
  z-index: 1;
}
span#doctext {
  position: absolute;
  top: 0; right: 0px;
  font-size: 14pt;
  font-weight: bold;
  color: #f4f6fa;
  text-align: right;
  margin-right: 20px;
}
div#footer {
  height: 20px;
}
span#copyrighttext {
  position: absolute;
  top: 0; right: 0;
  margin-right: 20px;
  font-size: 7pt;
  line-height: 20px;
  text-align: right;
  color: #fff;
}

/* Menu Styling */

div.mainmenu,div#productmenu {
  position: absolute;
  color: #a6a5aa;
  padding-left: 5px;
  font-size: 7pt;
}
div.mainmenu {
  height: 22px; width: 100%;
  bottom: 0; left: 0; right: 0;
  line-height: 22px;
  background: url(/img/documentation/menushade.jpg) repeat-x top right;
}
span#mainmenuspace {
  position: absolute;
  left: 220px; top: 0;
}
span.mainitem {
  margin: 3px;
  padding: 3px;
  background: url(/img/documentation/backmenuitem.jpg) repeat-x top right;
}
span.productitem {
  margin: 1px;
  padding: 3px;
  background-color: #fff;
}
div#productmenu {
  line-height: 18px;
  background-color: #fff;
  border-top: 1px solid #a6a5aa;
  border-right: 1px solid #a6a5aa;
}

/* Menu hovering */

a.menulink
{
  color: #a6a5aa;
  text-decoration: none;
  z-index: 1; /* IE bug (only 5.0) */
}
a.menulink:hover
{
  z-index: 2; /* IE bug (only 5.0) */
}
a.menulink:hover span.mainitem  {
  padding: 2px;
  color: #000;
  background-color: #ebebeb;/*#C9D8F0;*/
  border: 1px solid #a6a5aa; /*3570C3; /*#a6a5aa;*/
}
a.menulink:hover span.productitem  {
  padding: 1px 2px 2px 2px;
  color: #000;
  background-color: #EDF4FF;/*#C9D8F0;*/
  border: 1px solid #C9D8F0; /*3570C3; /*#a6a5aa;*/
}

/* TOC and Content Styling */ 

div#toc {
  width: 220px;
  background: url(/img/documentation/backshade.jpg) repeat-x top right;
  background-color: #fff;
}
span.toc {
  white-space: nowrap;
  margin-right: 10px;
}
/*div#content,*/div#fixedbox {
  padding: 10px;
}
#toc h1 {
  background-color: transparent;
  border: none;
}
div#content {
  /*background: url(/img/documentation/backshade.jpg) repeat-x top right;*/
  background-color: #fff;
  border: 1px solid #a6a5aa;
  border-left: none;
}
div#fixedbox {
  background: url(/img/documentation/backshade.jpg) repeat-x top right;
  border: 1px solid #a6a5aa;
}

/* Error and debug message Styling */

div#error {
  font-size: 8pt;
  padding: 4px 5px;
  padding-left: 23px;
  background: #fdedee url(/img/documentation/warning.gif) no-repeat 0px 4px;
  border-bottom: 1px solid #ffaaaa;
}
div#debug {
  font-size: 8pt;
  padding: 3px 5px;
  border: 1px solid #a6a5aa;
}