/*
 * Pinned menu CSS
 *
 * Borrowed from the idea of Bert Bos <bert@w3.org> published at:
 *     http://www.w3.org/Style/Examples/007/menus.html
 * and adjusted to work with Netscape 4.x, and better browsers as well.
 *
 * Usage:
 * <div class="pinmenu">
 * <p>Menu option</p>
 * ....
 * </div>
 * <div class="page">
 * Page text follows
 * </div>
 *
 * (C) 2001 Zvezdan Petkovic <z.petkovic@computer.org>
 *
 * Colour and background info moved to separate stylesheets
 */

div.left_col {
    position: fixed;
    margin-top: 1em;
    margin-left: 1em;
    /* width: 8em; */
    /* everything below is needed because of Netscape 4.x only */
    float: left;
    /*padding: 0.2em 0.2em 1.2em 0.2em;*/
    /* background: #FFFFCC; */
}

div.navbar {
    /* position: fixed; */
    /* margin-top: 1em; */
    /* margin-left: 1em; */
    width: 8em;
    /* everything below is needed because of Netscape 4.x only */
    /* float: left; */
    padding: 0.2em 0.2em 1.2em 0.2em;
    background: #FFFFCC;
}

div.navbar p {
    color: black;
    margin: 0;
    font-family: Verdana, Arial, Helvetica, sans-serif;
}

div.page {
    padding-left: 11em;
    margin-right: 2%;
}

span.navbarHeading
{
 /* font-style: italic; */
 font-weight: bold;
}