/* root/statements/ 的 taxon 配色，以及共用的证明／练习排版。 */
:root {
    --thm-definition: #2563eb;
    --thm-theorem: #c2410c;
    --thm-lemma: #0f766e;
    --thm-corollary: #b45309;
    --thm-example: #15803d;
    --thm-convention: #64748b;
    --thm-remark: #6b7280;
    --thm-philosophy: #7c3aed;
    --thm-bg: rgba(0, 0, 0, 0.025);
    --thm-philosophy-bg: rgba(124, 58, 237, 0.05);
}

@media (prefers-color-scheme: dark) {
    :root {
        --thm-definition: #7aa7ff;
        --thm-theorem: #fb923c;
        --thm-lemma: #5eead4;
        --thm-corollary: #fbbf24;
        --thm-example: #86efac;
        --thm-convention: #a8b3c4;
        --thm-remark: #b0b4bb;
        --thm-philosophy: #c4b5fd;
        --thm-bg: rgba(255, 255, 255, 0.035);
        --thm-philosophy-bg: rgba(196, 181, 253, 0.07);
    }
}

.exercise-group > .exercise-group-head {
    margin-bottom: 0.4em;
}

.exercise-group[open] > .exercise-group-head {
    margin-bottom: 0.3em;
}

/* page.css 隐藏原生 marker；为可折叠的补充内容显示状态指示。 */
.exercise-group > .exercise-group-head::before {
    content: "▸";
    display: inline-block;
    width: 1em;
}

.exercise-group[open] > .exercise-group-head::before {
    content: "▾";
}

.exercise-group {
    margin: 0.8em 0 1.2em;
    padding: 0.6em 1em 0.2em;
    border-left: 3px solid var(--slug-color, gray);
    border-radius: 0 5px 5px 0;
    background: var(--thm-bg);
}

.exercise-group-head {
    font-weight: 600;
}

.exercise-group-body {
    padding-top: 0.3em;
}

.proof {
    margin: 0.8em 0 1.4em;
    padding-left: 1em;
    border-left: 1px dashed var(--slug-color, gray);
}

.proof-head {
    font-weight: 700;
    font-style: italic;
    margin-bottom: 0.3em;
}

.proof .qed {
    text-align: right;
    line-height: 1;
}