/*
Styling for pseudocode references (such as used with the defref imports from willowprotocol.org)
*/

:root {
    /* Solarized https://ethanschoonover.com/solarized/ */
    /* But darkened and desaturized. */
    --sol-yellow: #8c6d0c;
    --sol-orange: #843515;
    --sol-red: #952725;
    --sol-magenta: #8e2c5c;
    --sol-violet: #4a4e8e;
    --sol-blue: #20689b;
    --sol-cyan: #206f69;
    --sol-green: #657307;
}

.rustic {
    font-family: var(--font-mono);
}

.rustic.value {
    color: var(--sol-orange);
}

.rustic.type {
    color: var(--sol-violet);
}

.rustic.function {
    color: var(--sol-green);
}

.rustic.field {
    color: var(--sol-magenta);
}

.rustic.variant {
    color: var(--sol-yellow);
}

.rustic.interface {
    color: var(--sol-cyan);
}

.rustic.typeArg {
    color: var(--sol-red);
}