/*
 * 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.main {
    width: 100%;
    height: 100%; 
 
}

div.logo {
    position: fixed;
    margin-top: 1pt;
    margin-left: 1pt;
    margin-right: 1pt;
    font-size: 12pt;	
    width: 140pt;
    height: 100pt; 
}


div.pinmenu {
    position: fixed;
    margin-top: 110pt;
    margin-left: 1pt;
    margin-right: 1pt;
    font-size: 12pt;	
    width: 140pt;
    height: 100%; 
}

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

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

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

div.page {
    margin-top: 5pt; /* change according to menu */
    margin-left: 150pt; /* change according to menu */
    max-width: 650pt;
}

p.citation {
    margin-left: 20pt;
    max-width: 400pt;
}

div.page-wide {
    margin-left: 12pt; /* change according to menu */
    margin-right: 1pt;
}

td.menu {
    padding:0pt;
    text-align:center; 
}

td.menul {
    padding:0pt;
    text-align:center; 
}

tr.menurow {
    padding:2pt;
    height: 10pt; 
}

div.page-top {
    margin-left: 12pt;
    margin-right: 1pt;
}

div.logocorner {
   position: fixed;
   margin-top: 0pt;
   margin-left: 5pt;
    width: 120pt;
    /* everything below is needed because of Netscape 4.x only */
    float: left;
    padding: 0.2pt 0.2pt 1.2pt 0.2pt;
}


div.support {
   position: fixed;
   margin-top: 240pt;
   margin-left: 0pt;
    font-size: 12pt;	
    width: 120pt;
    /* everything below is needed because of Netscape 4.x only */
    float: left;
    padding: 0.1pt 0.2pt 1.2pt 0.2pt;
}

.h1 {
    margin-top: 5pt;
}