/*
 * Modified from a CSS found at www.lyx.org
 * Jens Noeckel 07/2002
 *
 * 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.pinmenu {display:none;}
div.pinmenu {
        position: fixed;
        width: 3.5cm;
        height: auto;
        top: 1em;
        right: auto;
        bottom: 100px;
        left: 0;
        float: left;
}

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

div.page {
        position: absolute;
	width:  auto;
        height: auto;
        top: 1em;
        right: auto;
        left: 0.5cm;
}