/*
 * 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.pintitle {
    position: fixed;
    margin-top: -5em;
    margin-left: 0em;
    width: 99% ;
    /* everything below is needed because of Netscape 4.x only */
    float: left;
    padding: 0.2em 0.2em 1.2em 0.2em;
}

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

div.pinmenushort {
    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;
}

div.topmenu {
    text-align: center;
    width: 99%;
    border: none;
    /* everything below is needed because of Netscape 4.x only */
    padding: 0.2em 0.2em 1.2em 0.2em;
}

div.pinmenu p, div.pinmenushort p, div.topmenu p {
    margin: 0;
    font-family: Verdana, Arial, Helvetica, sans-serif;
}

div.page {
    margin-top: 8em;
    margin-left: 10em; /* change according to menu */
    margin-right: 2%;
}

div.page-wide {
    margin-left: 11em; /* change according to menu */
    margin-right: 2%;
}

div.page-top {
    margin-left: 2%;
    margin-right: 2%;
}