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

html {
    background-color: rgb(220,240,240);

    width: 1920px;
    height: 1080px;

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

body {
    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 );
}


a {
    text-decoration: none;
}

.code
{
    padding:25px;
    font-size:80%;
    line-height:1.4em;
}

ul,ol {
    margin:0;
}

ul {
    list-style-type: none;
}

.hidden {
    display: none;
}


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

h2 {
    font-size: 120%;
    font-weight:600;
    margin-top: 25px;
    /*margin-bottom: 25px;*/
}


.shtml-menu {
    position:fixed;
    top:985px;/*1000px;*/
    left:1620px;
}

.shtml-menu .prev, .shtml-menu .next {
    display : inline-block;
    width: 25px;
    height: 50px;
    vertical-align:middle;
    margin-left:10px;
}

.shtml-menu .listing-toc
{
    display : inline-block;
    width: 35px;
    height: 40px;
    vertical-align:middle;

    background-image: url('../icons/menu.svg');
}

.shtml-menu .listing-toc:hover
{
    background-image: url('../icons/menu_over.svg');
}


.shtml-menu .disabled .prev 
{
    background-image: url('../icons/left_disabled.svg');
}
.shtml-menu .enabled .prev 
{
    background-image: url('../icons/left_enabled.svg');
}
.shtml-menu .enabled .prev:hover 
{
    background-image: url('../icons/left_over.svg');
}

.shtml-menu .disabled .next 
{
    background-image: url('../icons/right_disabled.svg');
}
.shtml-menu .enabled .next 
{
    background-image: url('../icons/right_enabled.svg');
}
.shtml-menu .enabled .next:hover 
{
    background-image: url('../icons/right_over.svg');
}

.shtml-page-number
{
    position:fixed;
    top:990px;/*1008px;*/
    left:1780px;
}

.shtml-menu-toc {
    font-size: 25px;
    width: 500px;
    max-height: 850px;
    right: 50px;
    background-color: rgba(240,240,240,0.95);
    overflow: auto;
    position: fixed;
    top:50px;
    border: 2px solid black;
    border-radius: 20px;
    z-index: 5;
    padding: 30px;
}

pre
{
    margin:0;
}


.border {
    display:inline-block;
    padding: 15px;
    border: 2px solid red;
    border-radius: 10px;
}

.ref, .ref a{
    font-size: 85%;
    color: gray;
    line-height:1.3em;
    font-style: italic;
}
.ref a:hover {
    color: red;
}
.ref:before {
    content: "[";
}
.ref:after {
    content: "]";
}