.doc-container {
    margin-left: 10px;
    margin-right: 10px;
    margin-top: 20px;
    max-width: 800px;
}

.doc-container .hat {
    position: relative;
    font-size: 22px;
    left: 6px;
}

.doc-container h1 {
    margin-left: 10px;
    margin-bottom: 10px;
    font-size: 20px;
    font-weight: bold;
    text-decoration: none;
}

.doc-container h2 {
    margin-bottom: 10px;
    margin-left: 10px;
    font-size: 20px;
    font-weight: bold;
}

.doc-container h3 {
    margin-bottom: 10px;
    margin-left: 30px;
    font-size: 18px;
    font-weight: bold;
}

.doc-container h4 {
    margin-bottom: 10px;
    margin-left: 10px;
    font-size: 20px;
    font-weight: bold;
}

.doc-container p {
    margin-left: 30px;
    margin-right: 30px;
    font-size: 18px;
    margin-bottom: 0px;
    margin-top: 5px;
    font-weight: normal;
}

.doc-container figure {
    margin-top: 10px;
    margin-left: 30px;
    text-align: center;
}

.doc-container figure figcaption {
    text-align: center;
    font-weight: bold;
}

.doc-container li {
    margin-top: 5px;
}

.doc-container .text-button {
    max-width: 18px;
    transform: translate(0px, 2px)
}

.doc-container .bmp-button {
    max-width: 21px;
    transform: translate(0px, 2px)
}

.doc-container a {
    font-weight: normal;
    transition: all 0.2s ease;
    filter: brightness(1.);
}

.doc-container th {
    font-weight: normal;
}

.doc-container ul {
    margin-top: 10px;
    padding-left: 50px;
}

.doc-container ol {
    margin-top: 10px;
    padding-left: 50px;
    font-size: 18px;
    margin-left: 10px;
}

.doc-container h5 {
    margin-bottom: 10px;
    margin-top: 10px;
    margin-left: 30px;
    counter-increment: h5counter;
}

.doc-container h5:before {
    content: counter(h2counter) "." counter(h3counter) "." counter(h5counter) "\0000a0\0000a0";
}

.doc-container h6 {
    font-size: 20px;
    font-weight: normal;
    margin-left: 30px;
    text-decoration-line: underline;
}

.doc-container .audio-with-caption {
    max-width: 500px;
    margin-left: 0px;
    text-align: left;
}

.doc-container .audio-with-caption figcaption {
    margin-top: 20px;
    margin-left: 30px;
    margin-bottom: 0px;
    text-align: left;
}


.doc-container .audio-with-caption .audio-container {
    margin-top: 0px;
    vertical-align: top;
    height: 40px;
}


body {
    counter-reset: h2counter;
}

h1 {
    counter-reset: h2counter;
    text-decoration: underline;
    margin-bottom: 10px;
    margin-top: 20px;
    font-size: 25px;
}

h2 {
    margin-top: 10px;
}

h2:before {
    content: counter(h2counter) ".\0000a0\0000a0";
    counter-increment: h2counter;
    counter-reset: h3counter;
}

h3 {
    margin-top: 20px;
    margin-left: 30px;
    counter-increment: h3counter;
}

h3:before {
    content: counter(h2counter) "." counter(h3counter) ".\0000a0\0000a0";
    counter-reset: h5counter;
}

h5 {
    margin-top: 5px;
    margin-bottom: 0px;
    margin-left: 10px;
    font-size: 16px;
    font-weight: bold;
    color: black;
}

.doc-download-button {
    display: inline-block;
    margin-top: 5px;
    margin-right: 20px;
    font-size: 16px;
    width: 190px;
    height: 40px;
    background-color: var(--button-color);
    color: white;
    font: 18px/20px Georgia, Garamond, Serif;
    border-radius: 15px;
    align-items: center;
}

.txt-button {
    width: 20px;
    height: 20px;
    transform: translate(0px, 3px)
}

.txt-sub-section {
    margin-top: 5px;
    margin-bottom: 5px;
}

.eq-sup {
    display: inline-block;
    position: relative;
    vertical-align: middle;
    letter-spacing: 0.001em;
    text-align: center;
    margin-left: 20px;
}


.eq-sup>span {
    display: block;
    padding: 0.em;
    font: 10px;
}


.frac {
    display: inline-block;
    position: relative;
    vertical-align: middle;
    letter-spacing: 0.001em;
    text-align: center;
    margin-left: 5px;
}

.sqrt {
    border-top: thin solid black;
}

.frac>span {
    display: block;
    padding: 0.1em;
}

.frac span.bottom {
    border-top: thin solid black;
}

.frac span.symbol {
    display: none;
}

.python-cmd {
    margin-top: 5px;
    margin-bottom: 5px;
    margin-left: 40px;
    font-size: 18px;
    white-space: normal;
}

.txt-file {
    margin-top: 5px;
    margin-bottom: 20px;
    margin-left: 50px;
    font-size: 18px;
    white-space: normal;
}

.python-script {
    margin-top: 0px;
    height: 300px;
    margin-left: 20px;
    font-size: 18px;
    border-style: groove;
    overflow-x: auto;
    padding: 5px 5px;
}

.python-script-title {
    margin-top: 10px;
    margin-bottom: 0px;
    font-size: 18px;
    padding: 0px 0px;
    margin-left: 20px;
}

.left-fig img {
    display: block;
    margin-left: 10px;
}

.doc-container .red-circle {
    height: 18px;
    width: 18px;
    background-color: white;
    border-radius: 50%;
    display: inline-block;
    border: 2px solid red;
    transform: translate(0px, 4px)
}

.doc-container .green-circle {
    height: 18px;
    width: 18px;
    background-color: white;
    border-radius: 50%;
    display: inline-block;
    border: 2px solid green;
    transform: translate(0px, 4px)
}

html {
    font-family: Helvetica, Arial, sans-serif;
    font-size: 100%;
}

img {
    max-width: 100%;
}


#fileDisplayArea {
    margin-top: 5px;
    width: 100%;
    overflow-x: auto;
}

@media screen and (max-width: 520px) {
    .left-fig img {
        display: block;
        margin-left: 0px;
    }

    .python-script {
        height: 100px;
        margin-left: 0px;
        font-size: 14px;
    }
}