/* ── Dolfin syntax highlighting for mdBook ─────────────────────────── */

.dolfin-code-block {
    background: #1e1e2e;
    color: #cdd6f4;
    font-family: 'JetBrains Mono', 'Fira Code', 'Cascadia Code', monospace;
    line-height: 1.4;
    overflow-x: auto;
    tab-size: 2;
}

.dolfin-code-block code {
    white-space: pre;
}

/* ── Token colours (Catppuccin Mocha) ──────────────────────────────── */

.dolfin-hl--keyword {
    color: #cba6f7;
    font-weight: 600;
}

.dolfin-hl--type {
    color: #fab387;
}

.dolfin-hl--quantifier {
    color: #f9e2af;
    font-style: italic;
}

.dolfin-hl--name {
    color: #89b4fa;
}

.dolfin-hl--variable {
    color: #f38ba8;
}

.dolfin-hl--string {
    color: #a6e3a1;
}

.dolfin-hl--number {
    color: #fab387;
}

.dolfin-hl--boolean {
    color: #fab387;
    font-weight: 600;
}

.dolfin-hl--iri {
    color: #89dceb;
    text-decoration: underline;
    text-decoration-style: dotted;
    text-underline-offset: 2px;
}

.dolfin-hl--punctuation {
    color: #9399b2;
}

.dolfin-hl--comment {
    color: #6c7086;
    font-style: italic;
}

.dolfin-hl--unknown {
    color: #f38ba8;
    text-decoration: wavy underline;
}