/* ---------- Solarized Light Palette ---------- */
:root {
    --base03: #002b36;
    --base02: #073642;
    --base01: #3e484b;
    --base00: #2a2c2d;
    --base0: #1c1f20;
    --base1: #424848;
    --base2: #fcf7e8;
    --base3: #f8f8f3;
    --yellow: #b58900;
    --orange: #cb4b16;
    --red: #dc322f;
    --magenta: #d33682;
    --violet: #6c71c4;
    --blue: #0f3076;
    --light-blue: #0072c3;
    --cyan: #2aa198;
    --green: #859900;
}

body {
    font-family: Verdana, Geneva, Tahoma, sans-serif;
    background: var(--base3);
    color: var(--base00);
    max-width: 850px;
    margin: 40px auto;
    padding: 0 1rem;
    line-height: 1.6;
}

h1 {
    color: var(--blue);
    font-weight: 500;
    font-size: 2rem;
}

h2 {
    color: var(--light-blue);
    font-weight: normal;
    font-size: 1.6rem
}

code {
    background: var(--base2);
    padding: 2px 6px;
    border-radius: 4px;
    font-family: 'Courier New', monospace;
}

article {
    border-top: 1px solid var(--light-blue);
    margin-top: 1.2rem;
    margin-bottom: .8rem;
    padding-bottom: 1rem;
}

.diagram {
    background: var(--base2);
    border: 1px solid var(--base1);
    color: var(--base00);
    padding: 1rem;
    border-radius: 6px;
    font-family: 'Courier New', monospace;
    overflow-x: auto;
    white-space: pre;
}

.keyword {
    color: var(--green);
}

.assign {
    color: var(--yellow);
}

.loose {
    color: var(--cyan);
}

.strict {
    color: var(--blue);
}

.string {
    color: var(--orange);
}

.comment {
    color: var(--base1);
    font-style: italic;
}

.example,
.note {
    margin: 1.2rem 0;
    padding: 10px 15px;
    border-radius: 4px;
}

.example {
    background: var(--base2);
    border-left: 4px solid var(--blue);
}

.note {
    background: #fff7cc;
    border-left: 4px solid var(--yellow);
}

.btn {
    display: inline-block;
    padding: 8px 14px;
    background: var(--blue);
    color: white;
    border: none;
    border-radius: 4px;
    cursor: pointer;
    margin-top: 10px;
}

.btn:hover {
    background: var(--cyan);
}

.result {
    background: var(--base2);
    padding: 10px;
    border-radius: 4px;
    font-family: 'Courier New', monospace;
    margin-top: 10px;
}

table {
    width: 100%;
    border-collapse: collapse;
    margin-top: 1rem;
}

th,
td {
    border: 1px solid var(--base1);
    padding: 8px;
    text-align: left;
}

th {
    background: var(--blue);
    color: white;
}

footer {
    margin-top: 40px;
    font-size: 0.9em;
    color: var(--base1);
    border-top: 1px solid var(--base1);
    padding-top: 10px;
}