:root {
    --dark-gray: #202020;
    --medium-gray: #252525;
    --light-gray: #8a8a8a;
    --whiteish: #f8f8f8;
    --terminal-darker: #0078CD;
    --terminal: #33bbff;
    --terminal-lighter: #33ffff;
    --boxshadow-border: 1px solid black;
}

.page-header > a {
display: none;
}

/* Scroll bar + main font */
html, body {
    font-family: sans-serif;
}

/* Buttons font */
button, .button,
.status .text-spoiler > summary .button {
    font-family: sans-serif;
}