P, ol, td, th, body, blockquote, li, .text {
        color: #000000;
        font-size: 12px;
        margin:0px 0px 0px 0px;
        font-family: verdana, arial, helvetica, sans-serif }

body{margin: 0 20px 0 20px;}
ul{
        margin-top:0px;
        margin-bottom:0px;
}

pre{
         color: #808080;
         font-size: 11px;
         font-family: courier, courier new;
}


.hints{
       border: 3px solid #cccccc;
       background: #ffffdd;
       margin: 10px;
       padding: 10px;
       color:#888888;
}
.hints *{color:#888888;}

#search, 
#tree,
#toc,
.metatable
	{display: none;}