/*
   Documentation Style Sheet 
*/

/*
   Please Note:
   Every selector in this stylesheet should require a parent element with the
   class ".doc" to avoid namespace clashes. Currently the class is set on a
   "div" element, but there is no reason to limit it to that. i.e. use the
   ".doc" selector as parent, not "div.doc".
*/


/* Margins common (relative) to multiple block elements. */
.doc h4, .doc h5, .doc p, .doc pre, .doc ul, .doc table
{
	 margin-left: 1em;
	 /* margin-right: 20%; */
	margin-right: 1em;
}

/* Set line height to 1.5x to allow for various inline decoration. */
.doc {
  line-height: 150%;
}

/* documentation - table of contents */
#toc {
  font-size: .8em;
}

.doc div#toc ul {
  margin-left:  0;
  margin-right: 0;
}

.doc dd {
  margin-right: 0; /* no need for the extra margin if we nicely put the text of the dd in a paragraph */
}

/* floating pictures in itembody */
.itembody .leftbox {float:left; margin: 15px 15px 10px 0px;line-height:0px;}
.itembody .leftbox img  {display: block;position: relative;background-color: #fff;border: 1px solid #B8CBDC;margin: -6px 6px 6px -6px; padding: 4px; line-height:0px;}

.itembody .rightbox {float:right; margin: 15px 0px 10px 15px; line-height:0px;}
.itembody .rightbox img {display: block;position: relative; background-color: #fff;border: 1px solid #B8CBDC;margin: -6px 6px 6px -6px; padding: 4px; line-height:0px;}

.itembody .centerbox {float:none; margin: 15px 15px 10px 0px; line-height:0px;}
.itembody .centerbox img  {display: block;position: relative; background-color: #fff;border: 1px solid #B8CBDC;margin: -6px 6px 6px -6px; padding: 4px; line-height:0px;}

/* GUI items */
code{ font-family: sans-serif; background-color: #FFFFF4; border: 1px solid #797979; color: #191970; padding: 1px 2px 1px 2px; -moz-border-radius:5px}


pre{ background-color: LightCyan; border: 1px solid #797979; color: #191970; padding: 5px 20px 5px 5px; margin: 2px 250px 2px 15px; overflow: auto; font-size: 12px; line-height: 17px; font-family: "Courier New", courier, monospace; margin-top:10px; -moz-border-radius:8px}

* html body #items,* html body #menu{overflow: hidden;} /* hack for IE */