@font-face {
    font-family: bauhaus;
    src: url(/res/fonts/bauhaus.woff2) format("woff2");
}

@font-face {
    font-family: bauhaus93;
    src: url(/res/fonts/bauhaus93.woff2) format("woff2");
}

html, body {
    margin: 0;
    padding: 0;
}

.main {
    padding: 8px;
    margin: 1.5%;
    background-color: lightgray;
    border-radius: 20px;
    border: 3px solid rgb(47, 96, 203);
    color: black;
    text-align: center;
    font: 24px bauhaus;
    line-height: 1;
    text-decoration: none;
    height: 75vh;
    overflow-y: auto;
}

.subsec-line {
    border: 3px;
    height: 3px;
    border-color: dimgray;
}

.textheader {
    font: 30px bauhaus93;
}

.headbar {
    display: block;
    background-color: darkslategrey;
    background-repeat: repeat-x;
    width: 100%;
    height: 80px;
    font: 24px bauhaus;
    color: #F5F5F5;
    border-bottom: 5px solid gray;
}

div.headbar-container {
    position: sticky;
    top: 0;
}

.foot {
    margin: 1.5%;
    display: block;
    color: #F5F5F5;
    font: 10px bauhaus;
}

.burger {
    overflow: hidden;

}