/* Manual specific styles */

div.shadow {
 background: transparent url(../img/shadow.gif) no-repeat right bottom;
 margin: 10px 0px 0px 20px;
 float:left;
}

div.shadow img {
 position: relative;
 padding: 4px;
 left: -5px;
 top: -3px;
 background: #EEEEEE;
 border: 1px solid #BBBBBB;
}

div.imgbox {
 padding-left: 10px;
}

.float-left {
 margin: 10px;
 float: left;
}
.clear-float {
 clear: both;
}

.toc-node {
 margin: 2px 0px 2px 16px;
}

div.manual-tools {
 float: right;
 margin: 0px 4px;
}

div.manual-navi {
 text-align: center;
 margin: 6px;
}

#content pre {
 margin-left: 30px;
}

#content li {
 /* color: #79b933; */
 margin: 8px 5px 4px 5px;
}

#content li span {
 color: #000000;
}