html, body, h1, h2, h3, h4, div, p {
    margin: 0;
    padding: 0;
    font-family: 'Source Serif Pro', serif;;
    
}

html {
    background-color: white;
    color: rgb(0,0,0);

    font-size: 38px;
    line-height: 1.4em;
    letter-spacing: 0px;
    font-stretch: normal;
    text-decoration: none;
    overflow: hidden;
}

body {
    position: relative;
    border: 2px solid gray;
    background-color: white;
    border-radius: 15px;
    padding: 30px;
    padding-left: 80px;

    margin: 30px;
    width: calc(1920px - 30px * 3 - 80px );
    height: calc(1080px - 30px * 4 );
}

ul,ol {
    margin:0;
}

ul {
    list-style-type: none;
}

a {
    text-decoration: none;
}

h1 {
    margin-top: 10px;
    margin-bottom: 40px;
    margin-left: -50px;
    font-size: 200%;
    font-weight: 400;
    color: darkblue;
}

h2 {
    font-size: 110%;
    font-weight:600;
    margin-top: 25px;
}



.hidden {
    display: none;
}


#toc{
    font-size: 60%;
    line-height: 1.8em;
    width: 650px;
    max-height: 850px;
    right: 50px;
    background-color: rgba(240,240,240,0.95);
    overflow: auto;
    position: absolute;
    top:50px;
    border: 2px solid black;
    border-radius: 20px;
    padding-top: 0.5em;
    box-shadow: 5px 5px 4px #888888;
}

#toc a {
    display: block;
    padding-left: 30px;
}
#toc a:hover {
    background-color: rgba(200,200,200,0.3);
}
#toc a.current-page {
    font-weight: bold;
    color: red;
}


nav {
    position:fixed;
    top:985px;/*1000px;*/
    left:1620px;
}
nav div {
    display: inline-block;
}
#menu, .prev, .next, .prev-inactive, .next-inactive{
    /* display:inline-block; */
    width: 25px;
    height: 50px;
    vertical-align:middle;
    margin-left:10px;
}


#menu {
    width: 35px;
    height: 40px;
}


.page {
    color: gray;
    font-size: 80%;
}


.code pre 
{
    font-family: 'Source Code Pro', sans-serif;
    font-size: 0.7em;
    line-height: 1.4em;
}

pre {
    margin:0;
}

iframe{
    border: 0;
}