/************* user-defined classes *************/

/***************** hover menus ******************/
div.menu ul {
    display: block;
    list-style: none;
    margin: 0px;
    padding: 0px;
}
div.menu ul.side {
    margin: 8px;
}
div.menu ul li {
    position: relative;
    z-index: 10;
}
div.menu ul.side li {
    padding: 1px 0px;
}
div.menu ul.top li {
    float: left;
}
div.menu ul li a {
    display: block;
    padding: 0px 5px;
    text-decoration: none;
}
div.menu ul.side li a {
    padding: 1px 5px;
    width: 100%;
}
div.menu ul.side li > a {
    width: auto;
}
div.menu ul li a:hover {
    text-decoration: none;
}
div.menu ul li ul {
    display: none;
    position: absolute;
    width: 18em;
    z-index: 100;
}
div.menu ul.side li ul {
    left: 124px;
    top: -2px;
}
div.menu ul.top li ul {
    left: 0em;
    top: 1.25em;
}
div.menu ul.top li > ul {
    /* override in w3 browsers, ie has no children */
    left: auto;
    top: auto;
}
div.menu ul li:hover ul,
div.menu ul li.over ul {
    display: block;
}
div.menu ul li ul li {
    clear: both;
    width: 100%;
}
div.menu ul li ul li a {
    border: none;
    padding: 2px 5px;
    width: 100%;
}
div.menu ul li ul li > a {
    width: auto;
}