#menu-top {
    border-bottom: solid 2px black;
    font-family: Arial, Helvetica, 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: Arial, Helvetica, sans-serif;
    line-height: 1.5em;
}
.header {
    font-family:Arial, Helvetica, sans-serif;
    padding-top:1em;
    border-bottom: solid 1px black;
}

#headline1 {
    font-family:Arial, Helvetica, sans-serif;
    font-size: large;
}

#headline2 {
    font-family:Arial, Helvetica, sans-serif;
    font-size: xx-large;
}

#headline3 {
    font-family: Arial, Helvetica, sans-serif;
    font-size: x-large;
}

#pic_title {
    font-family: Arial, Helvetica, sans-serif;
    font-size: x-small;
    font-style: italic;
}

h1 {
    font-family: Arial, Helvetica, sans-serif;
    font-size: x-large;
}

h2 {
    font-family: Arial, Helvetica, sans-serif;
    font-size: large;
}

@media screen {

    body {
        font-family: Arial, Helvetica, sans-serif;
        background-color: #fafafa;
    }
    #main {
        background-color: #fafafa;
        margin: 0em;
    }
    body {
        font-family: Arial, Helvetica, sans-serif;
        padding-left: 13em;
    }
    #menu {
        position: fixed;
        top: 0em;
        left: 0em;
        bottom: 0em;
        padding: 1em;
        overflow: auto;
        width: 10em;
        background-color: #bbccbb;
    }

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