#menu-top {
 border-bottom: solid 2px black;
 font-family: "sans serif";
 font-size: large;
 font-weight: bold;
 margin-bottom: .5em;
}
#menu-bottom {
 border-top: solid 2px black;
 margin-top: 1em;
}
.menu-font {
 font-size: small;
 font-family: "sans serif";
 line-height: 1.5em;
}
.header {
 font-family:"sans serif";
 padding-top:1em;
 border-bottom: solid 1px black;
}

#headline1 {
  font-size: large;
}

#headline2 {
  font-size: xx-large;
}

#headline3 {
  font-size: x-large;
}

#pic_title {
  font-size: x-small;
  font-style: italic;
}

h1 {
  font-size: x-large;
}

h2 {
  font-size: large;
}

@media screen {

    body {
        background-color: #fafafa;
    }
    #main {
        background-color: #fafafa;
        margin: 0em;
    }
    body {
        padding-left: 14em;
    }
    #menu {
        position: fixed;
        top: 0em;
        left: 0em;
        bottom: 0em;
        padding: 1em;
        overflow: auto;
        width: 10em;
        background-color: #aaaaaa;
    }

    /* hack for bugful IE */
    #main table {
        color: #000;
    }
    #menu {
        position: absolute;
        left: 0em;
    }
    /* and restorations for standard browsers */
    html>body #main table {
        color: inherit;
    }
    html>body #main {
        width: auto;
    }
    html>body #menu {
        position: fixed;
        left: 0em;
        width: 10em;
    }
}

@media print {
    #menu {
        display: block;
    }
}