/*
 * 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>


 */

div.pinmenu {
    position: fixed;
    margin-top: 1em;
    margin-left: 0em;
    width: 6em;
    /* everything below is needed because of Netscape 4.x only */
    float: left;
    padding: 0.2em 0.2em 1.2em 0.2em;
    color:  rgb(128,128,128);
     /* background:  rgb(192,192,192); */
}

div.pinmenu p, div.pinmenushort p, div.pinmenu td,  div.pinmenu th {
    margin: 0;
    font-family: Helvetica, Verdana, Arial, sans-serif;
    background-color: transparent;
    background:  transparent;
}


div.pinmenu a{
	background-color: transparent;
	background: transparent;
}
div.pinmenu img {
	background-color: transparent;
	background: transparent;
}

div.pinmenu a img {
	background-color: transparent;
	background: transparent;
}


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;
    color: rgb(238,238,238);
    background:  transparent ;
}




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

div.lectures { 
   margin-left: 6em;
   margin-right: 2%;
 }

div.lectures img {
	background-color: transparent;
	background: transparent;
}

div.lectures a img {
	background-color: transparent;
	background: transparent;
}

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

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