:root {
    --panel-gap: 5px;

    --color-bg: #444444;
    --color-panel: #666666;
    --color-console: #000000;

    --color-code: #555555;
    --color-code-bg: #777777;

    --highlight-color: #ffff00;
    --highlight-bg: #ffff0044;

    --error-color: #ff0000;
    --error-bg: #ff000044;

    --finish-color: #00ff00;
    --finish-bg: #00ff0044;

    --color-text: #eeeeee;
    --color-input: #cccccc;
    --color-link: #55aaff;
    --color-link-hover: #5588dd;
    --color-select: #ffffff33;

    --editor-font: monospace;
    --editor-font-size: 22px;

    --color-ui: #888888;
    --color-ui-hover: #999999;
    --color-ui-active: #aaaaaa;
}

*::selection {
    background-color: var(--color-select);
}

a {
    text-decoration: none;
}