body {
    font-family: "Times New Roman", Times, serif;
    font-size: 1em;
}

h1 { font-family: Arial, Helvetica, sans-serif; font-weight: bold; font-size: 2em; margin: .67em 0 }
h2 { font-family: Arial, Helvetica, sans-serif; font-size: 1.5em; margin: .75em 0 }
h3 { font-family: Arial, Helvetica, sans-serif; font-size: 1.17em; margin: .83em 0 }
h4 { font-family: Arial, Helvetica, sans-serif; font-style: italic; margin: 1.12em 0 }
p { margin: 1.12em 0; }
.figtext { font-family: Arial, Helvetica, sans-serif; font-size: 0.8em; hyphens: auto }

a:link { color: #087797; }
a:visited { color: #087797; }
a:hover { color: #11c1f3; }

#toc_top {
    position: fixed;
    right: 0.5em;
    bottom: 0.5em;
    z-index: 100;
    background: #eee;
    padding: 0.5em;
    font-family: Arial, Helvetica, sans-serif;
    display: none;
    opacity: 0.9;
}
#toc_top a {
    text-decoration: underline;
    display: block;
    color: #087797;
}
#document {
    margin-left: 9em;
    max-width: 70em;
}
#document_title {
    margin-left: 9em;
}
#toc {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 0.7em;
    top: 0px;
    left: 0px;
    height: 100%;
    position: fixed;
    background: #f5f5f5;
    width: 12.5em;
    padding-top: 0.5em;
}
#toc a {
    text-decoration: none;
    display: block;
    color: black;
}
#toc .toc-active a {
    color: white;
}
#toc .toc-active {
    background: #11c1f3;
}
@media screen and (max-width: 600px), screen and (max-height: 740px) {
    #document {
        margin-left: 0;
    }
    #document_title {
        margin-left: 0;
    }
    #toc_top {
        display: block;
    }
    #toc {
        font-size: initial;
        width: auto;
        height: auto;
        position: initial;
        background: white;
        border-bottom-style: solid;
        border-top-style: solid;
        border-width: 1px;
        border-color: black;
        padding-bottom: 1em;
    }
    #toc a {
        text-decoration: underline;
        display: block;
        color: #087797;
    }
    #toc .toc-active a {
        color: #087797;
    }
    #toc .toc-active {
        background: initial;
    }
}
@media print {
    #document {
        margin-left: 0;
    }
    #document_title {
        margin-left: 0;
    }
    #toc_top {
        display: none;
    }
    #toc {
        font-size: initial;
        width: auto;
        height: auto;
        position: initial;
        background: white;
        border-bottom-style: solid;
        border-top-style: solid;
        border-width: 1px;
        border-color: black;
        padding-bottom: 1em;
    }
    #toc a {
        text-decoration: underline;
        display: block;
        color: #087797;
    }
    #toc .toc-active a {
        color: #087797;
    }
    #toc .toc-active {
        background: initial;
    }
}

#toc ul {
    margin: 0;
    padding: 0;
    list-style: none;
}

#toc li {
    padding: 0.25em 0.5em;
}

#toc .h3 {
    padding-left: 1.25em;
}

#toc .h4 {
    padding-left: 2.25em;
}