body,
body * {
 text-align: left;
 margin:0;
 padding:0;
}
body {
/* width: 920px;*/
 width: 90%;
 margin: 0px auto;
 padding-top: 20px;
}
ul li ul {
/* display: block;*/
}
ul li ul li {
/*	display: list-item;*/
}
em{
 font-weight:bold;
 font-style:normal;
}
small{
 font-size: small;
}
var{
 font-style:normal;
}
span.ruby {
 font-weight: normal;
 font-style: italic;
 border-bottom: 1px dotted #888888;
}
.none{
 display:none;
}
div#header{

}
div#header h1{
 font-size: x-small;
}
div#header h2{
 font-size: medium;
 font-weight: bold;
}
div#header #toc ul,
div#header #toc ol{
 margin: 1ex 2em;
 background-color: #ffffff;
}
div#header hr{
  width: 95%;
  margin:5px auto;
}

div#atp{
 margin: 1ex 1em;
 background-color: #ffffff;
}
div#atp h1,
div#atp h2,
div#atp h3{
  font-size: large;
  font-weight: bold;
  margin-top:0.3em;
  margin-bottom:0.3em;
}
div#atp ul,
div#atp ul li{
/* list-style-type: none;*/
}
div#atp p{
  font-size: medium;
  font-weight: normal;
  padding-left:1ex;
}

div#maincontents{

}

div#maincontents div.menu{
/* float:left;*/
/* margin-left: 15px;*/
/* width:200px;*/
 margin: 15px;
 border: 1px solid #000000;
 background-color: #ffffff;
}
div#maincontents div.menu ul li{
 margin-left: 1em;
}
div#maincontents div.menu ul li ul{
 background-color: #ffffff;
/* display: list-item;*/
}
div#maincontents div.menu ul li ul li{
 display: list-item;
 margin-left: 1em;
 background-color: #ffffff;
 border-top: 1px solid #ace;
}
div#maincontents div.menu ul li ul li.first{
 border-top: 0px none;
}
div#maincontents div.menu .incat{
 background-color: #ace;
}
div#maincontents div.menu .outcat{
 background-color: #eee;
}

div#maincontents div.description{
 border: 1px solid #000000;
/* margin-left: 224px;*/
 background-color: #fdfdfd;
 margin: 15px;
}

div#maincontents div.description div.function{
 margin-top: 1em;
 border-top: 1px solid #666666;
 padding: 0.5ex 0 0 3px;
 font-size:medium;
}
div#maincontents div.description div.first{
 border-top: 0px none;
}
div#maincontents div.description div.function .control{
 float:right;
 font-size: x-small;
 margin-top: 2ex;
}
div#maincontents div.description div.function .control a{
 padding-left: 0.4ex;
 padding-right: 0.4ex;
}
div#maincontents div.description div.function .control a img{
 width: 20px;
 height: 15px;
}
div#maincontents div.description div.function h3{
 margin: 1ex 0;
 background-color: #def;
}
div#maincontents div.description div.function h4{
 font-weight:bold;
 margin: 1ex 0;
 border-top: 3px solid #def;
 border-bottom: 2px dotted #def;
}
div#maincontents div.description div.function h5{
 font-weight:bold;
 font-size: small;
 margin: 1ex 0;
 border-bottom: 1px dotted #def;
}
div#maincontents div.description div.function p{
 padding-left: 0.5ex;
 margin-top: 0.8ex;
}
div#maincontents div.description div.function dt{
 font-weight: bold;
}
div#maincontents div.description div.function dd{
 margin-left: 1em;
}
div#maincontents div.description div.function dd code{
 display:block;
 font-size: 90%;
 margin-top: 0.8ex;
 margin-bottom: 0.8ex;
}
div#maincontents div.description div.function dd code br{
 display:none;
}
div#maincontents div.description div.function samp{
 color: #003300;
 font-weight: bold;
}
div#maincontents div.description pre{
 margin: 2px 1em;
 border: 1px dashed #eeeeee;
 background-color: #f8f8f8;
}
div#maincontents div.description ol li{
 display: list-item;
 list-style-type: decimal;
 list-style-position: outside;
 margin-left: 2em;
}
div#maincontents div.description strong{
 font-size: inherit;
 font-weight: normal;
 font-style: italic;
 color: #993300;
}
div#maincontents div.description ol li p{
 border: 1px dashed #dddddd;
 padding: 3px;
}


div#samples {
	color: #000000;
	background-color: #FFFFFF;
	border: thin outset #EE9933;
	width: 90%;
	margin: 5px;
	padding: 3px;
}
div#samples div{
	display: block;
	background-color: #EEEEEE;
	margin: 0px;
	padding: 0px;
	height: 300px;
	width: 48%;
	border: 1px solid #999999;
}
div#samples #template {
	float: left;
}
div#samples #output {
  float: left;
}
div#samples div.menu {
	background-color: #FFEEEE;
	margin: 0px auto;
	padding: 0px;
	height: auto;
	width: 80%;
	border: 1px solid #999999;
}
div#samples div#samplemenu ol,
div#samples div#samplemenu ul {
	margin: 0px auto;
	padding: 0px;
	border-bottom: 2px dashed #999999;
	list-style-position: outside;
	list-style-type: disc;
	display: block;
	width: 80%;
}
div#samples ol li, div#samples ul li {
	display: block;
	float: left;
	width: 6em;
	margin: 0px;
	padding: 0px;
}
div.function p.title {
	margin: 0.8em 0px 0px;
	padding-top: 0px;
	font-size: small;
}