:root {
    --black: #282828;
    --blue: #458588;
    --cyan: #689d6a;
    --green: #98971a;
    --magenta: #b16286;
    --red: #cc241d;
    --yellow: #d79921;
    --white: #a89984;

    --bright-black: #928374;
    --bright-blue: #83a598;
    --bright-cyan: #8ec07c;
    --bright-green: #b8bb26;
    --bright-magenta: #d3869b;
    --bright-red: #fb4934;
    --bright-yellow: #fabd2f;
    --bright-white: #ebdbb2;
}

pre {
    border-top: 1px solid white;
    border-bottom: 1px solid white;
    padding: 10px 5px;
}