@font-face {
    font-family: "AnekLatin";
    src: url("/fonts/AnekLatin-VariableFont_wdth,wght.ttf") format("truetype");
    font-weight: normal;
    font-style: normal;
}  

body {
    background-color: #F8F8F8;
    margin: 0px;
    padding: 0px;
    font-family: "AnekLatin", "Helvetica", "Arial", sans-serif;
    font-size: 20px;
}

a {
    text-decoration: none;
    color: #008CBA;
}
a:link {
    color: #008CBA;
}
a:hover {
    color: #006A98;
}
a:active {
    color: #006A98;
}
a:visited {
    color: #008CBA;
}

span.title {
    color: #666;
    font-family: "AnekLatin", "Helvetica", "Arial", sans-serif;
    font-size: 30px;
}

div.banner {
    display: flex;
    align-items: center;
    box-sizing: border-box;
    position: sticky;
    font-size: 30px;
    left: 0px;
    top: 0px;
    width: 100%;
    padding: 20px 20px;
    background-color: #EEE;
    border-bottom: 1px solid black;
    z-index: 100;
}

div.reloadContainer {
    position: absolute;
    left: 0px;
    bottom: 0px;
    height: 4px;
    width: 100%;
    border-top: 1px solid black;
}

div.reloadStart {
    position: relative;
    height: 100%;
    width: 100%;
    border-right: 1px solid #666;
    background-color: #008CBA;
    transition: width 10s linear;
}

div.reloadRun {
    width: 0%;
}

button.playPauseButton {
    position: absolute;
    left: calc(50% - 36px);
    top: -14px;
    width: 32px;
    height: 32px;
    padding: 0px 0px;
}

button.refreshButton {
    position: absolute;
    left: calc(50% + 4px);
    top: -14px;
    width: 32px;
    height: 32px;
    padding: 0px 0px;
}

button.redButton {
    background-color: #BA0000;
}
button.redButton:hover {
    background-color: #980000;
}

div.breadcrumbs {
    font-weight: bold;
    font-size: 24px;
    font-family: monospace;
}

ul.nobullet {
    padding: 0px 20px;
    list-style-type: none;
}

ul.nobullet li {
    margin: 1em 0px;
}

i.fa-space {
    margin-right: 20px;
}

button {
    background-color: #008CBA;
    color: white;
    cursor: pointer;
    border-radius: 5px;
    border: 1px solid black;
    display: inline;
    font-size: 20px;
    padding: 10px 30px;
}
button:hover {
    background-color: #006A98;
}

button.toc {
    font-family: monospace;
    margin-right: 20px;
}

button.logout {
    margin-left: auto;
}

div.content {
    margin: 10px;
}

span.bordered {
    position: relative;
    display: inline-block;
    background-color: #FFF;
    border: 1px solid black;
    padding: 20px;
    margin: 10px;
}

span.stats {
    color: #666;
}
span.error {
    color: red;
}

div.bordered {
    border: 1px solid black;
    background-color: #FFF;
    padding: 10px;
    margin: 10px;
}

div.text {
    white-space: pre;
    font-family: monospace;
}

ul {
}

ul li {
    margin: 10px 0px;
}

table {
    font-size: 20px;
    border-collapse: collapse;
    border: 1px solid rgba(0,0,0,0.2);
}
table thead {
    font-weight: bold;
    text-align: center;
    vertical-align: middle;
}
table thead tr th {
    border-bottom: 1px solid #000;
}
table thead th {
    border-left: 1px solid rgba(0,0,0,0.2);
    border-right: 1px solid rgba(0,0,0,0.2);
    padding: 5px 5px;
}
table tbody td {
    padding: 5px 5px;
    vertical-align: top;
}
table td:first-child {
    text-align: center;
    vertical-align: middle;
    border-left: 1px solid rgba(0,0,0,0.2);
    border-right: 1px solid rgba(0,0,0,0.2);
    border-bottom: 1px solid rgba(0,0,0,0.2);
}
table td.left {
    text-align: left;
}