    /* Tufte CSS styles */
html { font-size: 15px; }

body { width: 87.5%;
       margin-left: auto;
       margin-right: auto;
       font-family: valkyrie_ot_a;
       background-color: #fffff8;
       color: #111;
       max-width: 1000px;
    }

#footer {
        width: 87.5%;
        margin-left: auto;
        margin-right: auto;
        font-family: valkyrie_ot_a;
        position: fixed;
        bottom: 0;
        right: 0;
        left: 0;
        display: grid;
        height: 5%;
        grid-template-columns: auto auto auto;
        grid-template-rows: auto;
        max-width: 1000px;
        background-color:#efefef
    }

#section {
    font-family: valkyrie_ot_a;
    font-weight: 400;
    margin-top: 1rem;
    margin-bottom: 1.5rem;
    font-size: 4rem;
    line-height: 1;
    text-align: center;
}
    
h1 { font-weight: 400;
     margin-top: 1rem;
     margin-bottom: 1.5rem;
     font-size: 4rem;
     line-height: 1; }

h2 { font-style: bold;
     font-weight: 400;
     margin-top: 2.1rem;
     margin-bottom: 0;
     font-size: 2.2rem;
     line-height: 1; 
    }

h3 { font-style: italic;
     font-weight: 400;
     font-size: 1.7rem;
     margin-top: 2rem;
     margin-bottom: 0;
     line-height: 1; }

p { line-height: 1.45;
    padding-right: 0;
    vertical-align: baseline;
    font-size: 1.5rem;
    text-indent: 4em; }

a {
    text-decoration: none;
    color: inherit;
    transition-property: background;
    transition-duration: 0.2s;
    border-radius: 5px;
    font-weight: bold;
    }

div.nav a:active div { background: #fdfdfd;
}

a:active { color: rgb(165, 165, 165); }

a[name]:after{ content: none;
}

a.no-symbol-before:hover {
    background: none;
}

a.no-symbol-before:after {
    content: none;
}

a:hover {
    background-color: #c5c5c5; /* Replace with your desired hover color (e.g., red) */
}

#back {
    color:rgb(165, 165, 165);
    fill-opacity: 100%;
    border-style: solid;
    border-color: rgb(102, 102, 102);
    border-width: 1px;
    border-right-width: 0;
    grid-row: 1;
    grid-column: 1;
    width: auto;
    text-align: center;
}

#index {
    width: auto;
    color:rgb(165, 165, 165);
    border-style: solid;
    border-color: rgb(102, 102, 102);
    border-width: 1px;
    border-right-width: 0;
    grid-row: 1;
    grid-column: 2;
    text-align: center;
}

#forward {
    width: auto;
    color:rgb(165, 165, 165);
    border-style: solid;
    border-color: rgb(102, 102, 102);
    border-width: 1px;
    grid-row: 1;
    grid-column: 3;
    text-align: center;
}

#nav {
    font-family: valkyrie_a_caps_regular;
    color: black;
    font-weight: 400;
    margin-left: auto;
    margin-right: auto;
    font-size: 2rem;
    letter-spacing: 0.25rem;
}

.divider {
    border-top: solid;
    border-color: black;
    border-width: 0.25rem; 
    margin-top: 0
}

#section-header {
    text-align: center;
}

.lock {
    pointer-events: none;
    color: gray
}

iframe {
    height: 5000px;
}

@font-face {
    font-family: valkyrie_ot_a;
    font-style: normal;
    font-weight: normal;
    font-stretch: normal;
    font-display: auto;
    src: url('fonts/valkyrie_ot_a_regular.woff2') format('woff2');
    }
    
    @font-face {
    font-family: valkyrie_ot_a;
    font-style: italic;
    font-weight: normal;
    font-stretch: normal;
    font-display: auto;
    src: url('fonts/valkyrie_ot_a_italic.woff2') format('woff2');
    }
    
    @font-face {
    font-family: valkyrie_ot_a;
    font-style: normal;
    font-weight: bold;
    font-stretch: normal;
    font-display: auto;
    src: url('fonts/valkyrie_ot_a_bold.woff2') format('woff2');
    }
    
    @font-face {
    font-family: valkyrie_ot_a;
    font-style: italic;
    font-weight: bold;
    font-stretch: normal;
    font-display: auto;
    src: url('fonts/valkyrie_ot_a_bold_italic.woff2') format('woff2');
    }
    
    @font-face {
    font-family: valkyrie_ot_b;
    font-style: normal;
    font-weight: normal;
    font-stretch: normal;
    font-display: auto;
    src: url('fonts/valkyrie_ot_b_regular.woff2') format('woff2');
    }
    
    @font-face {
    font-family: valkyrie_ot_b;
    font-style: italic;
    font-weight: normal;
    font-stretch: normal;
    font-display: auto;
    src: url('fonts/valkyrie_ot_b_italic.woff2') format('woff2');
    }
    
    @font-face {
    font-family: valkyrie_ot_b;
    font-style: normal;
    font-weight: bold;
    font-stretch: normal;
    font-display: auto;
    src: url('fonts/valkyrie_ot_b_bold.woff2') format('woff2');
    }
    
    @font-face {
    font-family: valkyrie_ot_b;
    font-style: italic;
    font-weight: bold;
    font-stretch: normal;
    font-display: auto;
    src: url('fonts/valkyrie_ot_b_bold_italic.woff2') format('woff2');
    }

    @font-face {
        font-family: valkyrie_a_caps_regular;
        font-style: normal;
        font-weight: normal;
        font-stretch: normal;
        font-display: auto;
        src: url('fonts/valkyrie_a_caps_regular.woff2') format('woff2');
        }