:root {
    --docHeading: #ffffff;
    --docText: #e8e0e0;
    --docMuted: #8a7777;
    --docGold: #c9a84c;
    --docBorder: #2a1515;
}
:root[data-theme="light"] {
    --docHeading: #10161c;
    --docText: #1a232c;
    --docMuted: #5b6b7a;
    --docGold: #7a5c1f;
    --docBorder: #d7dee5;
}
.doc {
    max-width: 760px;
    margin: 0 auto;
    /* Less top padding than it used to carry: the page now opens with the real
       nav rather than a bare logo, so the gap above the heading is the nav's
       own spacing plus this, not this alone. */
    padding: 34px 24px 80px;
    font-family: 'JetBrains Mono', ui-monospace, monospace;
    line-height: 1.7;
    font-size: 15px;
}
.doc h1 { color: var(--docHeading); font-size: 1.8rem; margin: 0 0 6px; }
.doc .effectiveDate { color: var(--docMuted); font-size: 0.85rem; margin: 0 0 28px; }
.doc h2 { color: var(--docGold); font-size: 1.15rem; margin-top: 32px; margin-bottom: 10px; }
.doc h3 { color: var(--docText); font-size: 1rem; margin-top: 18px; margin-bottom: 8px; }
.doc p { color: var(--docText); opacity: 0.9; margin: 0 0 14px; }
.doc a { color: var(--docGold); }
.doc strong { color: var(--docHeading); }
.doc table { border-collapse: collapse; margin: 12px 0 18px; width: 100%; }
.doc td { padding: 8px 10px; border-bottom: 1px solid var(--docBorder); font-size: 0.85rem; vertical-align: top; color: var(--docText); }
.doc td:first-child { color: var(--docGold); white-space: nowrap; }