/* fonts */

@font-face {
    font-family: 'Consolas';
    src: url('/fonts/consolas.woff2') format('woff2'),
         url('/fonts/consolas.woff') format('woff');
    font-weight: normal;
    font-style: normal;
    font-display: swap;
}

/* global variables */

:root{
    --color-bg: #0c0c0c;
    --color-main: #ffffff;
    --color-accent: #898989;
    --color-text: #2077bf;
}

/* general */

body {
    background-color: var(--color-bg);
    font-family: 'Consolas', monospace;
}

pre {
    font-size: 13px;
    color: var(--color-text);
    padding-top: 10px;
    padding-bottom: 10px;
    padding-left: 3px;
    padding-right: 3px;
    max-width: fit-content;
    margin-left: auto;
    margin-right: auto;
}

b {
    font-size: 14px;
    color: var(--color-main);
}

a { text-decoration: none; }
a:hover { text-decoration: underline; }

.nav-button, .nav-button a {
    color: var(--color-accent);
    font-size: 20px;
    text-align: center;
    margin-bottom: 20px;
    cursor: pointer;
}