/* --------------------------- functions menu */
#functions {
clear:both;
}
#functions ul {
margin: 0;
padding: 4px 0;
list-style-type: none;
}
#functions ul li {
display: inline;
}
#functions ul li a {
background: #AA7C4A;
color: #FFFFFF;
padding: 4px 6px;
margin: 0 2px 10px;
font-size: 1em;
text-decoration: none;
text-align: center;
font-weight: bold;
border: 1px solid #6A3C0A;
border-right-color: black;
border-bottom-color: black;
line-height: 1em;
display: block;
float: left;
}
#functions ul li a:hover {
background: #8A5C2A;
color: #fff;
}
#psf-table, #psf-tree {
    clear:both;
}
#content {
    clear:right;
}
.clear {
    visibility:hidden;
    clear:both;
    margin:0;
}