/* Documentation CSS */

div.tocContainer {
	font-family: helvetica, arial, sans-serif;
	font-size: 90%;
	line-height: 115%;
	background: #ffffff;
	color: #202020;
	margin: 0px;
	padding: 0px;
}

span.section span strong.command { 
	font-family: monospace;
	color: #026789;
	font-weight: bold; 
}

.searchBox{
	width: 200px;
	position: absolute;
	top: 0px;
	right: 0px;
}

body{
  margin:0;
  padding:100px 0 0 0;
}

div#header{
  position:absolute;
  top:0;
  left:0;
  width:100%;
  height:100px;
  background-color:#999999;
  border-bottom:thin;
  border-bottom-color:#333333;
  border-bottom-style:solid;
}

@media screen{
  body>div#header{
  	position: fixed;
  }
}

* html body{
  overflow:hidden;
} 

* html div#content{
  height:100%;
  overflow:auto;
  padding: 20px 0px 20px 20px;
}