/* 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;
    --max-width: 450px;
}

/* general */

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

pre {
    font-size: 13px;
    color: var(--color-main);
    padding-top: 10px;
    padding-bottom: 10px;
    padding-left: 3px;
    padding-right: 3px;
    max-width: var(--max-width);
    margin-left: auto;
    margin-right: auto;
    white-space: pre-wrap;
}

pre.no-wrap {
    white-space: pre;
}