/* A Custom Stylesheet for Tensegrity's HTML-Manuals */
/* $Id: tenstyle.css,v 1.2 2005/11/28 16:18:30 AndreasEbbert Exp $ */

div.informaltable table, div.table table {
 border: 1px solid #999999;
 background-color: #f8f8f8;
 padding: 0px 0px 0px 0px;
}

div.informaltable td, div.informaltable th, div.table td, div.table th {
 border-right: 0px solid #efefef;
 border-top: 0px solid #FFF;
 border-bottom: 1px solid #FFFFFF;
 border-left: 1px solid #FFFFFF; 
 margin: 10px 10px 10px 10px;
 padding: 1px 10px 1px 10px;
}

div.informaltable th,  div.table th {
 background-color: #f0f0f0;
 border-bottom: 1px solid #dddddd;
}

/*
div.informalfigure {
 visibility:hidden;
 width: 0px; height: 0px;
}

div.figure {
 visibility:hidden;
 width: 0px; height: 0px;
}

div.example {
 visibility:hidden;
 width: 0px; height: 0px;
}

div.toc {
 visibility:hidden;
 width: 0px; height: 0px;
}

div.table {
 visibility:hidden;
 width: 0px; height: 0px;
} 
*/

div.navheader {
  background-color: #efefef;
}

div.navfooter {
  background-color: #efefef;
}

pre.programlisting {
  background-color: #dddddd;
}

pre.screen {
  background-color: #ccccff;
}

div.sect1 {
  margin-top: 16px;
  margin-bottom: 16px;
  margin-left: 32px;
  margin-right: 32px;
}

div.index {
  margin-top: 16px;
  margin-bottom: 16px;
  margin-left: 32px;
  margin-right: 32px;
}

div.toc {
  margin-top: 16px;
  margin-bottom: 16px;
  margin-left: 32px;
  margin-right: 32px;
}

span.chapter {
	padding-top: 5px;
	margin-top: 5px;
	font-weight: bold;
}

dd {
	text-indent: 0px;
	margin: 0px;
 	padding-left: 15px;
}

span.remark {
  display: block;
  font-family: Arial, Helvetica, sans-serif; 
  font-size: 12px; 
  font-style: italic; 
  font-weight: normal; 
  color: #f22020;
  
}