*{box-sizing:border-box}body{margin:0;background:#f8f7f2;color:#2e302d;font:16px/1.75 system-ui,sans-serif}main,nav,footer{max-width:1040px;margin:auto;padding:24px}nav{display:flex;justify-content:space-between;border-bottom:1px solid #deddd3}a{color:#ad304d;text-underline-offset:4px}nav a{text-decoration:none}header{padding:64px 0 36px}h1{font-size:clamp(38px,7vw,66px);line-height:1.1;margin:18px 0}h2{margin-top:38px;font-size:26px}h3{margin-top:0}.lead{font-size:21px;color:#686b63;max-width:760px}.badge{display:inline-block;background:#edf1e9;color:#507459;border-radius:20px;padding:3px 12px;font-size:13px}.grid{display:grid;grid-template-columns:repeat(3,1fr);gap:18px}.card{background:white;border:1px solid #deddd3;border-radius:14px;padding:24px}pre{background:#2e302d;color:#e6edf9;padding:22px;border-radius:12px;overflow:auto;font:14px/1.8 monospace}code{font-family:monospace}table{width:100%;border-collapse:collapse;background:white}th,td{text-align:left;padding:12px;border-bottom:1px solid #deddd3}footer{color:#65718a;border-top:1px solid #deddd3;font-size:14px;margin-top:48px}.note{border-left:3px solid #507459;padding-left:18px;color:#686b63}@media(max-width:700px){.grid{grid-template-columns:1fr}header{padding-top:32px}main,nav,footer{padding:20px}table{font-size:14px}}

.process{margin:0 0 56px;background:#fff;border:1px solid #deddd3;border-radius:20px;padding:28px;box-shadow:0 16px 48px #2e302d08}.process-heading{display:flex;justify-content:space-between;align-items:center;gap:20px}.process h2{margin:12px 0}.process button{font:inherit;font-size:14px;border:1px solid #cbd4e5;background:#fff;color:#344563;padding:9px 14px;border-radius:9px;cursor:pointer}.process button:hover{background:#f0f3ec}.process button:focus-visible{outline:3px solid #73957b;outline-offset:3px}.process button:disabled{opacity:.4;cursor:default}.process-steps{display:flex;gap:7px;flex-wrap:wrap;margin:24px 0 4px}.process-steps button{font-size:12px;padding:7px 10px}.process-steps button[aria-current="step"]{background:#507459;color:white;border-color:#507459}.graph-scroll{overflow-x:auto}#revision-graph{display:block;width:100%;min-width:650px}.graph-edge{fill:none;stroke:#cbd4e5;stroke-width:2.5;transition:stroke .3s}.graph-edge.active{stroke:#2f9b78;stroke-width:4}.graph-edge.retract{stroke:#df8844;stroke-width:4}.graph-edge.cut{stroke:#dc646c;stroke-dasharray:7 6}.node-circle{fill:#f1f3f7;stroke:#cbd4e5;stroke-width:2;transition:fill .3s,stroke .3s}.node-true .node-circle{fill:#e0f4ed;stroke:#2f9b78}.node-false .node-circle{fill:#fce7eb;stroke:#ce6177}.node-edited .node-circle{stroke:#ad304d;stroke-width:4}.node-name{font:600 17px system-ui;fill:#263650}.node-value{font:600 13px system-ui;fill:#53617a}.graph-label{font:12px system-ui;fill:#6a7790}.edge-label{font:11px monospace;fill:#63718b}.graph-legend{display:flex;gap:18px;flex-wrap:wrap;font-size:12px;color:#63718b}.graph-legend span{display:flex;align-items:center;gap:6px}.key{width:10px;height:10px;border-radius:50%;display:inline-block}.key.true{background:#2f9b78}.key.false{background:#ce6177}.key.unknown{background:#cbd4e5}.stage-detail{margin-top:20px;border-top:1px solid #e3e2da;padding-top:18px;min-height:135px}.stage-detail>span{font-size:12px;color:#ad304d;font-weight:600}.stage-detail h3{margin:4px 0}.stage-detail p{margin:0;color:#53617a}.process-controls{display:flex;gap:8px;justify-content:flex-end}.process-caption{font-size:12px;color:#748099;margin-bottom:0}@media(max-width:700px){.process{padding:16px}.process-heading{align-items:flex-start}.process-heading h2{font-size:23px}.stage-detail{min-height:185px}}@media(prefers-reduced-motion:reduce){.node-circle,.graph-edge{transition:none}}

/* Lead with the walkthrough, then introduce the dataset. */
main{max-width:1040px;padding-top:28px}nav,footer{max-width:1040px}
.process{margin-bottom:0;border-radius:12px;box-shadow:none;background:#fdfcf8;border-color:#d8dccf;border-top:3px solid #507459}
header{text-align:center;padding:52px 0 48px;max-width:800px;margin:auto}
header::before{content:"";display:block;width:42px;height:2px;margin:0 auto 26px;background:linear-gradient(to right,#507459 50%,#ad304d 50%)}
header h1{font-size:clamp(34px,5.5vw,54px);letter-spacing:-.045em}
header .lead{margin:20px auto;font-size:19px}
header>a{display:inline-block;border:1px solid #ad304d;border-radius:4px;padding:8px 18px;text-decoration:none;font-size:14px}
.process h2{letter-spacing:-.035em}.process button{border-color:#d2d8cc;color:#425a48;border-radius:5px}
.process-steps{gap:6px}.process-steps button{font-size:11px}
.card{border-radius:5px;background:#fdfcf8}.card h3{color:#ad304d}
.node-name{fill:#323c33}.node-value,.graph-label,.edge-label{fill:#6a7568}
.stage-detail>span{color:#ad304d}.stage-detail p{color:#626b5e}
@media(max-width:700px){main{padding-top:16px}.process-heading h2{font-size:22px}header{padding:36px 0}.process-steps button{flex:1 1 135px}.process-heading{gap:10px}}

/* A quiet diagram surface with compact belief cards. */
.graph-scroll{margin:24px 0 12px;border:1px solid #e5e6df;border-radius:14px;background:#fffefa}
#revision-graph{min-width:1000px}
.graph-field{fill:#f7f8f3}.edit-column{fill:#f0ede8}
.graph-label{font:600 10px system-ui;letter-spacing:1.6px;fill:#899180}
.graph-edge{stroke:#bcc4b9;stroke-width:1.8;stroke-linecap:round;stroke-linejoin:round;transition:stroke .45s,opacity .45s}
.graph-edge.alternate{opacity:.28}.graph-edge.active{stroke:#507459;stroke-width:2.8;opacity:1}
.graph-edge.retract{stroke:#c18a4d;stroke-width:2.5}.graph-edge.cut{stroke:#b75465;stroke-width:1.8;stroke-dasharray:4 5}
.node-circle{fill:#fff;stroke:#dce1d8;stroke-width:1.3;filter:drop-shadow(0 4px 5px #35422a10);transition:fill .45s,stroke .45s}
.node-true .node-circle{fill:#fff;stroke:#9cb49b}.node-false .node-circle{fill:#fffafb;stroke:#d5a2ab}
.node-edited .node-circle{stroke:#ad304d;stroke-width:2}
.node-changed .node-circle{stroke-width:2.5;filter:drop-shadow(0 4px 7px #35422a25)}
.node-name{font:600 25px system-ui;fill:#344431}.node-value{font:650 8px system-ui;letter-spacing:.5px;fill:#788174}
.node-status{fill:#eff1ec;transition:fill .45s}.node-dot{fill:#9ba594;transition:fill .45s}
.node-true .node-status{fill:#e8f1e7}.node-true .node-dot{fill:#62855e}.node-true .node-value{fill:#4a6e46}
.node-false .node-status{fill:#f7e6ea}.node-false .node-dot{fill:#b45b70}.node-false .node-value{fill:#a44e5b}
.edge-label{font:10px ui-monospace,monospace;fill:#899180;paint-order:stroke;stroke:#f7f8f3;stroke-width:7px;stroke-linejoin:round}
.graph-legend{color:#7a8273;font-size:11px;gap:20px}.key{width:7px;height:7px}.key.true{background:#73916c}.key.false{background:#bb6b74}.key.unknown{background:#d5dacd}
.process-steps{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:8px;margin:24px 0 0;border:0}
.process-steps button{display:flex;flex-direction:column;align-items:flex-start;gap:6px;background:transparent;border:0;border-radius:8px;padding:10px 12px;color:#7a8273;font-size:11px;line-height:1.5;text-align:left;transition:background .2s,color .2s}
.step-index{font-size:10px;letter-spacing:1px;color:#929b8a}
.process-steps button[aria-current="step"]{background:#e9efe4;color:#344e32;font-weight:650;border:0}
.process-steps button[aria-current="step"] .step-index{color:#507459}
.process-steps button:hover{background:#f0f3eb}
.edge-label.alternate{opacity:0}.edge-label.active{opacity:1;fill:#507459}.edge-label.cut{opacity:.4}
.stage-detail{border:0;margin-top:22px;padding:0 2px;min-height:110px}.stage-detail h3{font-size:20px;letter-spacing:-.4px}.stage-detail p{font-size:14px;max-width:780px}
.process-controls{justify-content:flex-start}.process-caption{color:#8a9082;font-size:11px}
@media(max-width:700px){.process-steps{grid-template-columns:repeat(3,minmax(0,1fr));row-gap:4px}.graph-scroll{margin-top:18px}.stage-detail{min-height:145px}}

@media(prefers-reduced-motion:reduce){.node-circle,.node-status,.node-dot,.graph-edge{transition:none}}

/* Belief histories read top-to-bottom, newest first. */
.belief-node .node-name{font:650 19px system-ui;fill:#344431}
.current-value{font:700 9px system-ui;letter-spacing:.5px;fill:#75816e}
.node-true .current-value{fill:#4a6e46}.node-false .current-value{fill:#a44e5b}
.belief-row rect{fill:#f4f5f1;stroke:transparent;stroke-width:1}
.belief-value{font:700 10px ui-monospace,monospace;fill:#77816f}
.belief-source{font:500 10px system-ui;fill:#7e8776}
.belief-row.governing.belief-t rect{fill:#e8f1e7;stroke:#a7bda1}
.belief-row.governing.belief-f rect{fill:#f7e6ea;stroke:#d6a6b1}
.belief-row.governing.belief-t text{fill:#44693e}.belief-row.governing.belief-f text{fill:#a04c60}
.belief-row.invalid{opacity:.4}.belief-strike{stroke:#9b6870;stroke-width:1}
.stack-empty{font:10px system-ui;fill:#9aa18f}
.base-badge{fill:#507459}.base-label{font:700 8px system-ui;letter-spacing:1px;fill:#fff}
.key.base{background:#507459;border-radius:2px}
.graph-legend{gap:8px 18px}.stage-detail{min-height:130px}
@media(max-width:700px){.stage-detail{min-height:165px}}

/* Open directly on the demo, with navigation below the graph. */
.process>.graph-scroll{margin-top:0}
.process>.process-steps{margin:12px 0 18px}

.justification-label{font:600 7px system-ui;letter-spacing:.7px;fill:#929b8a}
.current-reason{font:550 11px ui-monospace,monospace;fill:#4e6047}
.belief-row.governing rect{stroke-width:1.8}
.belief-row:not(.governing):not(.invalid) rect{stroke:#e0e4da}

/* A single compact chain: value and justification without duplicate summaries. */
.process{padding:20px 24px;border:1px solid #e0e3da;border-top:2px solid #507459;background:#fffefa}
.process>.graph-scroll{border:0;background:transparent;border-radius:0;overflow:visible;margin:0}
#revision-graph{min-width:0;width:100%}
.belief-node .node-circle{fill:#fff;stroke:#d9dfd3;filter:none;stroke-width:1}
.belief-node.node-edited .node-circle{stroke:#b75c70;stroke-width:1.5}
.belief-node.node-changed .node-circle{filter:none;stroke-width:1.5}
.belief-node .node-name{font-size:17px}
.current-value{font:650 13px ui-monospace,monospace;letter-spacing:0}
.belief-row rect{fill:#f7f8f4}
.belief-row.governing rect{stroke-width:1}
.belief-row:not(.governing):not(.invalid) rect{stroke:transparent}
.belief-source{font:500 11px ui-monospace,monospace}
.belief-value{font-size:11px}
.belief-row.invalid{opacity:.3}
.graph-edge{stroke-width:1.2}.graph-edge.active{stroke-width:1.8}
.graph-edge.cut{stroke-width:1.2;stroke-dasharray:3 4}
.edge-label{font-size:9px;stroke:#fffefa;stroke-width:5px}
.edge-hidden{display:none}
.base-badge{fill:#edf1e8}.base-label{fill:#637958;font-size:7px;letter-spacing:.8px}
.process>.process-steps{margin:8px 0 16px;gap:4px}
.process-steps button{padding:9px 10px;gap:3px}
.graph-legend{font-size:10px;gap:20px;color:#909786}
.stage-detail{min-height:110px;margin-top:20px;padding-top:16px;border-top:1px solid #edf0e7}
.stage-detail h3{font-size:17px}.stage-detail>span{font-size:10px}.stage-detail p{font-size:13px}
@media(max-width:700px){.process{padding:12px}.process-steps button{padding:8px;font-size:10px}.graph-legend{gap:6px 14px}.stage-detail{min-height:135px}}

.branch-label{font:600 9px system-ui;letter-spacing:1px;fill:#87917d}
.path-block{font:600 25px system-ui;fill:#b75465;stroke:#fffefa;stroke-width:5px;paint-order:stroke}

.operation-region rect{fill:#f6f7f3;stroke:#e8ebe2;stroke-width:1;transition:fill .3s,stroke .3s}
.region-label{font:600 11px system-ui;fill:#8b9481}
.operation-region.backward.is-resolved rect{fill:#f8f0f1;stroke:#e7cbd1}
.operation-region.forward.is-resolved rect{fill:#faf3e9;stroke:#ead7b9}
.operation-region.recompute.is-resolved rect{fill:#edf3e9;stroke:#c7d8bc}
.operation-region.is-resolved .region-label{fill:#59634f}
.single-value{font:650 27px ui-monospace,monospace;fill:#859079}
.node-true .single-value{fill:#4a6e46}.node-false .single-value{fill:#ad5266}
.single-reason{font:10px ui-monospace,monospace;fill:#849078}
.simple-base{font:650 7px system-ui;letter-spacing:.7px;fill:#8b987f}
.edit-transition{font:650 22px ui-monospace,monospace;fill:#ad5266}
@media(prefers-reduced-motion:reduce){.operation-region rect{transition:none}}

.value-slash{fill:none;stroke:#ad5266;stroke-width:2.5;stroke-linecap:round}

.node-unknown .single-value{fill:#222}

/* Three clearly numbered stages, without a separate explanation panel. */
.process>.process-steps{gap:12px;margin:16px 0 0}
.process-steps button{flex-direction:row;align-items:center;gap:12px;padding:14px 16px;border:1px solid #e1e6da;border-radius:9px;color:#68755f;font-size:13px;background:#fff}
.process-steps .step-index{display:grid;place-items:center;flex:0 0 34px;height:34px;border-radius:8px;background:#f0f2ec;color:#6c7b60;font-size:17px;font-weight:650;letter-spacing:0}
.process-steps button[aria-current="step"]{border:1px solid #8fa783;background:#edf3e8;color:#344e32}
.process-steps button[aria-current="step"] .step-index{background:#507459;color:#fff}
@media(max-width:700px){.process>.process-steps{gap:6px}.process-steps button{flex-direction:column;align-items:flex-start;gap:7px;padding:10px 8px;font-size:10px}.process-steps .step-index{font-size:16px}}

.operation-region .region-label{font:700 20px system-ui;letter-spacing:-.4px}
.operation-region.backward.is-resolved .region-label{fill:#935365}
.operation-region.forward.is-resolved .region-label{fill:#946b35}
.operation-region.recompute.is-resolved .region-label{fill:#456b3e}

/* Prominent rule labels and a playback control inside the demo. */
#revision-graph .edge-label{font:600 13px ui-monospace,monospace;stroke-width:5px}
.simple-base{font:700 13px system-ui;letter-spacing:.5px;fill:#507459}
.demo-playback{display:flex;justify-content:flex-start;margin:0 0 6px}
.demo-playback #play-process{display:inline-flex;align-items:center;justify-content:center;min-width:94px;padding:8px 14px;border:1px solid #b5c4aa;border-radius:7px;background:#f1f5ec;color:#45643e;font-size:13px;font-weight:650}
.demo-playback #play-process[aria-pressed="true"]{background:#507459;color:#fff;border-color:#507459}

.region-number-circle{fill:#fff;stroke:#e1e5dc;stroke-width:1}
.region-number{font:700 17px system-ui;fill:#53634a}

/* Stronger graph connections. */
.graph-edge{stroke-width:2}.graph-edge.active{stroke-width:2.8}.graph-edge.cut{stroke-width:2}.graph-edge.retract{stroke-width:2.6}

.fork-junction{fill:#89977f}.graph-edge.fork-stem{stroke:#89977f}

.edge-break-background{fill:#fffefa}
.edge-break-cross{fill:none;stroke:#b75465;stroke-width:2.3;stroke-linecap:round}

/* Truth values use saturated colors distinct from retraction annotations. */
.node-true .single-value{fill:#009b45}
.node-false .single-value{fill:#ed2024}

.process-steps button:nth-child(n+2)[aria-current="step"]{background:#f7edf0;border-color:#a7667a;color:#74334b}
.process-steps button:nth-child(n+2)[aria-current="step"] .step-index{background:#80374f;color:#fff}

.dataset-statistics{margin:42px 0 36px}
.dataset-statistics h2{margin:0 0 16px}
.statistics-scroll{overflow-x:auto;border:1px solid #dedfd6;border-radius:10px;background:#fffefa}
.dataset-statistics table{min-width:760px;background:transparent;font-size:13px}
.dataset-statistics caption{text-align:left;padding:13px 18px;background:#f0f3eb;color:#65765b;font-size:12px}
.dataset-statistics th,.dataset-statistics td{text-align:center;padding:15px 12px;border-bottom:1px solid #e5e8de}
.dataset-statistics thead th{font-size:11px;color:#77816d;font-weight:600}
.dataset-statistics tbody th,.dataset-statistics tbody td{font-weight:650;font-size:18px;border-bottom:0;color:#3e5637}
.dataset-statistics tbody td:last-child{color:#80374f}
.statistics-note{font-size:12px;color:#78816f;line-height:1.65;margin:10px 0 0}

.version-detail-link{margin:20px 0 40px;font-size:14px}
.version-page header{padding-bottom:28px}
.version-toc{display:flex;justify-content:center;gap:10px 22px;flex-wrap:wrap;padding:0 0 30px;border-bottom:1px solid #e1e4d9;font-size:13px}
.version-toc a{color:#596e4e;text-decoration:none}
.version-page main>section{margin:40px 0 48px;scroll-margin-top:20px}
.version-page section h2{letter-spacing:-.6px;margin:0 0 18px}
.version-metrics{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:12px;margin-bottom:24px}
.version-metrics>div{padding:18px;border:1px solid #dfe4d7;border-radius:10px;background:#fffefa}
.version-metrics strong{display:block;font-size:30px;line-height:1.3;color:#45643c;letter-spacing:-1px}
.version-metrics span{font-size:11px;color:#7c8871}
.detail-table{overflow-x:auto;border:1px solid #dfe3d8;border-radius:10px;background:#fffefa}
.detail-table table{font-size:14px;background:transparent;min-width:490px}
.detail-table caption{text-align:left;padding:12px 16px;color:#7b8770;background:#f0f3eb;font-size:12px}
.detail-table th,.detail-table td{padding:13px 16px;border-bottom-color:#e6e9df}
.detail-table thead th{font-size:12px;color:#748369;background:#f6f7f2}
.detail-table tbody th{font-weight:600;color:#4c6342}
.detail-table tbody tr:last-child>*{border-bottom:0}
.detail-table tfoot{background:#edf2e7;font-weight:700;color:#45643c}
.detail-note{font-size:12px;color:#7b8670;line-height:1.8}
.support-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:18px}
.support-grid h3{margin:14px 0 8px;font-size:19px;color:#3e5637}
.support-grid p{font-size:14px;color:#69755e}
.support-example{border-top:1px solid #e1e6d9;padding-top:14px;line-height:1.9}
.revision-order{padding-left:23px}.revision-order li{padding:0 0 14px 8px;color:#69755e}.revision-order strong{color:#3f5537}
@media(max-width:700px){.version-metrics{grid-template-columns:repeat(2,minmax(0,1fr))}.support-grid{grid-template-columns:1fr}.version-toc{justify-content:flex-start;gap:8px 18px}.version-metrics strong{font-size:26px}.detail-table table{font-size:12px}}

.gallery-filters{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:12px;margin:18px 0}
.gallery-filters label{display:flex;flex-direction:column;gap:5px;font-size:11px;font-weight:600;color:#75816c}
.gallery-filters select{width:100%;padding:10px;border:1px solid #dce2d4;border-radius:7px;background:#fffefa;color:#42563a;font:13px system-ui}
.gallery-layout{border:1px solid #dfe4d7;border-radius:12px;background:#fffefa;overflow:hidden}
.gallery-canvas{height:480px;overflow:hidden;padding:16px 10px}
#gallery-svg{display:block;width:100%;height:100%;min-width:0;max-height:100%}
.gallery-layer{font:600 11px system-ui;fill:#86917c}
.gallery-edge{fill:none;stroke:#9da89a;stroke-width:1.3;opacity:.3}
.gallery-edge.governing{stroke:#60775a;stroke-width:2;opacity:.75}
.gallery-edge.cut{stroke:#aa5973;stroke-dasharray:4 4;opacity:.7}
.gallery-edge.related{opacity:1}
.has-focus .gallery-edge:not(.related){opacity:.12}
.gallery-node{cursor:pointer;outline:none}
.gallery-node rect{fill:#fff;stroke:#d7dfd0;stroke-width:1.3}
.gallery-node.changed rect{stroke:#6085b5;stroke-width:2}
.gallery-node.cf rect{stroke:#9a4b66;stroke-width:2}
.gallery-node.selected rect,.gallery-node:focus-visible rect{stroke-width:3}
.gallery-node-id{font:600 12px ui-monospace,monospace;fill:#53664a}
.gallery-node-value{font:700 22px ui-monospace,monospace;fill:#222}
.gallery-node.value-T .gallery-node-value{fill:#009b45}
.gallery-node.value-F .gallery-node-value{fill:#ed2024}
.gallery-node-change{font:10px ui-monospace,monospace;fill:#87927d}
.gallery-cf-label{font:650 10px system-ui;fill:#9a4b66}
#gallery-details{padding:20px 24px;background:#f6f8f2;border-top:1px solid #e1e6d9}
#gallery-details h3{font:650 18px ui-monospace,monospace;margin:0}
#gallery-details h4{font-size:12px;margin:16px 0 7px;color:#687b5a}
.gallery-node-summary{margin:6px 0;color:#45623d;font-weight:600;font-size:14px}
.gallery-beliefs,.gallery-rules{display:flex;flex-wrap:wrap;gap:6px 18px;list-style:none;padding:0;margin:0;font:11px/1.8 ui-monospace,monospace;color:#74836a}
.gallery-beliefs .retracted{text-decoration:line-through;opacity:.55}
.gallery-id{font:10px/1.5 ui-monospace,monospace;overflow-wrap:anywhere;color:#94a08b;margin:16px 0 0}
.gallery-legend{display:flex;flex-wrap:wrap;gap:8px 18px;font-size:10px;color:#819075;margin-top:12px}
.gallery-key-t{color:#009b45;font-weight:600}.gallery-key-f{color:#ed2024;font-weight:600}
@media(max-width:700px){.gallery-filters{grid-template-columns:repeat(2,minmax(0,1fr))}.gallery-graph-choice{grid-column:1/-1}#gallery-details{padding:16px}}

/* Direct selection buttons for graph exploration. */
.gallery-choice{min-width:0;margin:0;padding:0;border:0}
.gallery-choice legend{font-size:11px;font-weight:600;color:#75816c;padding:0;margin-bottom:7px}
.gallery-choice-buttons{display:flex;flex-wrap:wrap;gap:5px}
.gallery-choice-buttons button,.gallery-graph-navigation>button{font:500 12px system-ui;padding:9px 12px;min-height:36px;border:1px solid #dce2d4;border-radius:7px;background:#fffefa;color:#5c7050;cursor:pointer}
.gallery-choice-buttons button:hover,.gallery-graph-navigation>button:hover{background:#f0f4eb}
.gallery-choice-buttons button[aria-pressed="true"]{background:#507459;border-color:#507459;color:white;font-weight:650}
.gallery-choice-buttons button:disabled,.gallery-graph-navigation>button:disabled{opacity:.35;cursor:default}
.gallery-choice-buttons button:focus-visible,.gallery-graph-navigation>button:focus-visible{outline:2px solid #789665;outline-offset:3px}
.gallery-step-choice{grid-column:span 2}
.gallery-graph-choice{grid-column:1/-1}
.gallery-graph-navigation{display:flex;align-items:flex-start;gap:8px}
.gallery-graph-buttons{flex:1;gap:5px}
.gallery-graph-buttons button{min-width:36px;padding:8px;font-variant-numeric:tabular-nums}
.gallery-graph-navigation>button{flex:none;font-size:16px;min-width:36px;padding:6px 8px}
@media(max-width:700px){.gallery-filters{grid-template-columns:1fr}.gallery-step-choice{grid-column:auto}.gallery-choice-buttons button{padding:8px 10px}.gallery-graph-buttons button{padding:8px;min-width:34px}}

.gallery-node.base:not(.changed):not(.cf) rect{fill:#f0f6e9;stroke:#72945c;stroke-width:2}

/* Three control rows: graph settings, query step, graph selection. */
.gallery-filters{grid-template-columns:auto auto auto minmax(0,1fr);column-gap:24px;row-gap:18px}
.gallery-split-choice{border-left:1px solid #dce2d4;padding-left:24px}
.gallery-step-choice,.gallery-graph-choice{grid-column:1/-1}
@media(max-width:850px){.gallery-filters{column-gap:12px}.gallery-split-choice{padding-left:12px}.gallery-choice-buttons button{padding:8px 9px}}
@media(max-width:600px){.gallery-filters{display:flex;flex-wrap:wrap;gap:14px 18px}.gallery-filters>.gallery-choice{flex:1 1 40%}.gallery-filters>.gallery-step-choice,.gallery-filters>.gallery-graph-choice{flex-basis:100%}.gallery-split-choice{padding-left:0;border-left:0}}

@media(max-width:700px){.gallery-canvas{height:400px;padding:12px 6px}}

.gallery-previous-value{font:600 18px ui-monospace,monospace;opacity:.6}
.gallery-replacement-value{font:750 18px ui-monospace,monospace}
.gallery-truth-T{fill:#009b45}.gallery-truth-F{fill:#ed2024}.gallery-truth-U{fill:#222}
.gallery-value-slash{fill:none;stroke:#775466;stroke-width:1.8;stroke-linecap:round}

.gallery-history-parenthesis{fill:#7d8875}

.gallery-history-value{font-family:ui-monospace,monospace;font-weight:600}
.gallery-previous-value .gallery-value-slash{opacity:1}

.gallery-operation-region{pointer-events:none}
.gallery-operation-region rect{stroke-width:1;fill-opacity:.45}
.gallery-operation-region.forward rect{fill:#fff1da;stroke:#d5af76}
.gallery-operation-region.backward rect{fill:#f6e8ef;stroke:#c998aa}
.gallery-operation-region.recompute rect{fill:#eaf2e3;stroke:#9db98b;fill-opacity:.3}
.gallery-region-label{font:650 9px system-ui;letter-spacing:-.1px;fill:#7c735b}
.gallery-operation-region.backward .gallery-region-label{fill:#9a4f69}
.gallery-operation-region.recompute .gallery-region-label{fill:#547847}

.gallery-operation-region .gallery-region-code-bg{fill:#fffefa;fill-opacity:1;stroke:none}
.gallery-region-code{font:700 8px ui-monospace,monospace;fill:#5892a9}

/* Keep operation names outside the graph so overlapping histories stay readable. */
.gallery-operation-legend{display:flex;flex-wrap:wrap;gap:8px;margin:12px 0}
.gallery-operation-legend[hidden]{display:none}
.gallery-operation-key{--region:#aa7834;display:inline-flex;align-items:center;gap:7px;padding:7px 10px;border:1px solid #e5e5df;border-radius:8px;background:#fffefa;color:var(--region);font:600 12px system-ui;cursor:pointer}
.gallery-operation-key.backward{--region:#a45273}
.gallery-operation-key.recompute{--region:#5e823f}
.gallery-operation-number{display:inline-flex;align-items:center;justify-content:center;min-width:25px;height:23px;padding:0 4px;border-radius:6px;background:color-mix(in srgb,var(--region) 10%,white);font-size:11px}
.gallery-operation-key:hover,.gallery-operation-key[aria-pressed="true"]{border-color:var(--region);background:color-mix(in srgb,var(--region) 6%,white)}
.gallery-operation-key:focus-visible{outline:2px solid var(--region);outline-offset:2px}
.gallery-operation-region rect{fill-opacity:.85;stroke-opacity:.85;stroke-width:1}
.gallery-operation-region.recompute rect{fill-opacity:.8}
.gallery-edge{opacity:.12;stroke-width:1.1}
.gallery-edge.governing{opacity:.52;stroke-width:1.8}
.gallery-edge.cut{opacity:.38;stroke-width:1.4}
.gallery-edge.related{opacity:1;stroke-width:2}
.has-region-focus .gallery-edge{opacity:.06}
.has-region-focus .gallery-edge.region-related{opacity:.9;stroke-width:2}
.has-focus .gallery-edge.related{opacity:1}

.gallery-belief-bar{pointer-events:auto}
.gallery-belief-value{font:700 7px ui-monospace,monospace;fill:white}
.gallery-stage-legend{display:flex;flex-wrap:wrap;align-items:center;gap:8px 14px;margin:14px 0 8px;font:11px system-ui;color:#6b7763}
.gallery-stage-legend span{display:inline-flex;align-items:center;gap:5px}
.gallery-stage-legend b{display:inline-flex;align-items:center;justify-content:center;width:18px;height:18px;border-radius:4px;background:#eef1e8;color:#455b3c;font-size:10px}
.gallery-stage-direction{font-weight:650}
.gallery-stage-details{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:7px 28px;padding-left:20px;font:12px system-ui;color:#75816c}
.gallery-stage-details .current{font-weight:650;color:#34482d}
@media(max-width:600px){.gallery-stage-details{grid-template-columns:1fr}}

/* Step navigation and operation selection share the graph's top toolbar. */
.gallery-toolbar{display:flex;flex-wrap:wrap;align-items:flex-end;justify-content:space-between;gap:12px 16px;margin:14px 0 12px}
.gallery-toolbar .gallery-step-choice{flex:0 0 auto;min-width:max-content}
.gallery-toolbar .gallery-operation-legend{flex:0 0 auto;flex-wrap:nowrap;justify-content:flex-end;margin:0 0 1px auto;gap:6px}
.gallery-toolbar .gallery-choice-buttons{flex-wrap:nowrap;gap:5px}
.gallery-toolbar .gallery-choice-buttons button{padding:9px 10px;white-space:nowrap}
.gallery-toolbar .gallery-operation-key{gap:5px;padding:7px 8px;white-space:nowrap}
.gallery-toolbar .gallery-operation-number{min-width:20px;height:22px;padding:0 3px;font-size:10px}
@media(max-width:600px){.gallery-toolbar{align-items:flex-start;gap:12px}.gallery-toolbar .gallery-step-choice{width:100%;min-width:0}.gallery-toolbar .gallery-choice-buttons{display:grid;grid-template-columns:repeat(2,minmax(0,1fr))}.gallery-toolbar .gallery-operation-legend{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));width:100%;margin-left:0}.gallery-toolbar .gallery-operation-legend[hidden]{display:none}.gallery-toolbar .gallery-operation-key{justify-content:flex-start;font-size:11px}}

.version-page .rule-statement h2{color:#ad304d;font:400 27px/1.3 Georgia,"Times New Roman",serif;letter-spacing:-.6px;margin:0 0 18px}
.rule-statement-intro{max-width:800px;margin:0 0 26px;color:#2e302d;font-size:15px;line-height:1.85}
.rule-statements{list-style:none;counter-reset:rule-statement;padding:0;margin:0;border-top:1px solid #deddd3}
.rule-statements>li{counter-increment:rule-statement;display:grid;grid-template-columns:14px minmax(0,1fr);column-gap:10px;row-gap:12px;padding:26px 0;margin:0;border-bottom:1px solid #deddd3}
.rule-statements>li::before{content:counter(rule-statement,decimal-leading-zero);grid-column:1;align-self:center;color:#507459;font:500 10px/1.5 ui-monospace,monospace}
.rule-statements>li>strong{grid-column:2;color:#ad304d;font-size:16px;font-weight:600;line-height:1.6}
.rule-statements p{grid-column:1/-1;margin:0;color:#2e302d;font-size:13px;line-height:1.9}
.rule-statements .rule-dataset-note{padding:0;background:none;border:0;border-radius:0;font-size:13px}
.rule-dataset-note>span{font-weight:600;color:#ad304d;margin-right:5px}
.rule-dataset-note>span::after{content:"."}
@media(max-width:600px){.version-page .rule-statement h2{font-size:25px}.rule-statements>li{padding:22px 0}.rule-statements p{line-height:1.85}}

.gallery-belief-retracted-mark{fill:none;stroke:#8f6374;stroke-width:.8;stroke-linecap:round;pointer-events:none}
.gallery-history-legend{display:flex;flex-wrap:wrap;gap:6px 18px;margin:14px 0 8px;color:#6b7763;font:11px/1.8 system-ui}
.gallery-history-legend strong{color:#455b3c;font-weight:650}

/* Structural adjacency is not rule activation. */
.gallery-edge.inactive{stroke-dasharray:2 4;stroke-width:1;opacity:.14}
.has-focus .gallery-edge.inactive.incident{opacity:.38;stroke-width:1.2}
.has-region-focus .gallery-edge.inactive.region-related{opacity:.4;stroke-width:1.2}
.gallery-edge.inactive.cut{stroke-dasharray:4 4;opacity:.3}
.gallery-edge.active.related{opacity:1;stroke-width:2}

.gallery-retraction-policy{margin:12px 0 4px;color:#6b7763;font:500 11px/1.7 system-ui}

.version-page .rule-summary h2{font:400 27px/1.3 Georgia,"Times New Roman",serif;color:#ad304d;letter-spacing:-.6px}
.rule-summary-scroll{overflow-x:auto}
.rule-summary table{background:transparent;font-size:13px;line-height:1.65}
.rule-summary th,.rule-summary td{padding:12px 14px;border-bottom:1px solid #deddd3;vertical-align:top}
.rule-summary th:first-child,.rule-summary td:first-child{padding-left:0}
.rule-summary thead th{color:#7d8775;font-size:11px;font-weight:600;border-top:1px solid #deddd3}
.rule-summary tbody th{font-weight:600;min-width:175px;color:#46563e}
.rule-summary tbody td:last-child{color:#626b5a}
.rule-presence{font:600 11px/1.7 system-ui;white-space:nowrap}
.rule-presence.included{color:#507459}.rule-presence.excluded{color:#a64d67}
.rule-summary-note{font:12px/1.8 system-ui;color:#7b8473;margin:12px 0 0}
@media(max-width:600px){.rule-summary th,.rule-summary td{padding:10px 9px}.rule-summary tbody th{min-width:135px}.rule-summary table{min-width:540px;font-size:12px}}

.gallery-operation-key.cf-path{--region:#4d79ad}
.gallery-operation-region.cf-path rect{fill:#e7effb;fill-opacity:.35;stroke:#5682b5;stroke-opacity:1;stroke-width:1.4;stroke-dasharray:4 3}

/* Every surviving active support must be visible, not just the governor. */
.gallery-edge.active{opacity:.85;stroke-width:1.8;stroke-dasharray:none}
.gallery-edge.active.governing{opacity:.95;stroke-width:2.1}
.has-focus .gallery-edge.active:not(.related){opacity:.5}
.has-region-focus .gallery-edge.active:not(.region-related){opacity:.4}
.has-focus .gallery-edge.active.related,.has-region-focus .gallery-edge.active.region-related{opacity:1;stroke-width:2.2}
.rule-presence.assumed{color:#75618b}
/* Version rule tables: burgundy accents with softer assumption rows. */
.version-page .rule-summary h2{color:#842f49}
.rule-summary table{--rule-line:#e4d8dc}
.rule-summary thead th{background:#f2e9ec;color:#795563;border-color:var(--rule-line);font-weight:600}
.rule-summary th,.rule-summary td{border-color:var(--rule-line)}
.rule-summary thead th:first-child{padding-left:14px}
.rule-summary tbody th{color:#633d4a;padding-left:14px}
.rule-summary tbody td:last-child{color:#66535a}
.rule-summary tbody tr:has(.assumed){background:#f7eff1}
.rule-summary tbody tr:has(.assumed) th{color:#855366;box-shadow:inset 3px 0 #c696a6}
.rule-summary tbody tr:has(.assumed) td:last-child{color:#79616a}
.rule-presence{display:inline-flex;align-items:center;padding:3px 9px;border:1px solid transparent;border-radius:5px;font:600 11px/1.6 system-ui}
.rule-presence.included{background:#842f49;color:#fff}
.rule-presence.assumed{background:#fbf6f7;border-color:#d6b5c0;color:#8b4a61}
.rule-summary-note{color:#8a717a}
/* Quiet status labels and consistent cell insets. */
.rule-summary table{table-layout:fixed;width:100%}
.rule-summary thead th:nth-child(1){width:25%}
.rule-summary thead th:nth-child(2){width:17%}
.rule-summary thead th:nth-child(3){width:58%}
.rule-summary tbody th:first-child,.rule-summary thead th:first-child{padding-left:17px;min-width:0}
.rule-summary tbody th,.rule-summary tbody td{vertical-align:top;overflow-wrap:break-word;white-space:normal}
.rule-summary tbody tr:has(.assumed) th{box-shadow:inset 2px 0 #ccb0ba}
.rule-presence{padding:3px 8px;border-radius:4px;font-weight:550;white-space:nowrap}
.rule-presence.included{background:#f0e4e8;border-color:#e3cfd6;color:#853c55}
.rule-presence.assumed{background:#faf6f7;border-color:#dfcbd2;color:#926779}
.rule-summary tbody tr:has(.assumed){background:#f8f2f4}
@media(max-width:600px){.rule-summary table{min-width:600px}.rule-summary tbody th:first-child,.rule-summary thead th:first-child{padding-left:14px}}
/* Neutral paper surfaces; burgundy remains a typographic accent. */
.rule-summary table{--rule-line:#deddd5}
.rule-summary thead th{background:#eeede6;color:#725762}
.rule-summary tbody tr:has(.assumed){background:#f0efe9}
.rule-summary tbody tr:has(.assumed) th{box-shadow:inset 2px 0 #b5aaa8}
.rule-presence.included{background:#eeece5;border-color:#dcd6ce;color:#853c55}
.rule-presence.assumed{background:#faf9f5;border-color:#d6d1c8;color:#866d75}
.rule-row-code{display:block;margin-bottom:4px;font:600 10px/1.5 ui-monospace,monospace;color:#9a7b87}
.rule-summary .rule-code{color:#98546c;text-decoration:none;white-space:nowrap}.rule-summary .rule-code:hover{text-decoration:underline;text-underline-offset:3px}
.rule-row-name{display:block}
/* Dedicated left code column keeps operation labels on one baseline. */
.rule-summary thead th:nth-child(1){width:12%}
.rule-summary thead th:nth-child(2){width:23%}
.rule-summary thead th:nth-child(3){width:15%}
.rule-summary thead th:nth-child(4){width:50%}
.rule-summary .rule-code-cell{padding-left:17px;font:600 11px/1.8 ui-monospace,monospace;color:#9a7b87}
.rule-summary tbody th[scope="row"]{padding-left:14px;min-width:0}
.rule-summary tbody tr:has(.assumed) th{box-shadow:none}
.rule-summary tbody tr:has(.assumed) .rule-code-cell{box-shadow:inset 2px 0 #b5aaa8}
@media(max-width:600px){.rule-summary table{min-width:700px}.rule-summary .rule-code-cell{padding-left:14px}}
.rule-summary tbody td.rule-code-cell:first-child{padding-left:22px;padding-right:16px}
.rule-summary thead th.rule-code-column:first-child{padding-left:22px}
.rule-summary .rule-code-cell .rule-code{display:inline-block;line-height:1.8}

/* SymRet landing identity. */
.home-hero{padding:42px 0 40px;max-width:780px}
.home-hero::before{display:none}
.home-hero h1{margin:0;letter-spacing:0;font-weight:400}
.home-brand{display:block;color:#842f49;font:400 clamp(64px,9vw,92px)/1.05 Georgia,"Times New Roman",serif;letter-spacing:-4px}
.home-brand-subtitle{display:block;margin-top:14px;color:#594a50;font:400 clamp(21px,3vw,27px)/1.3 Georgia,"Times New Roman",serif;letter-spacing:.035em}
.home-hero .lead{max-width:650px;margin:23px auto 25px;font-size:17px;line-height:1.8;color:#756b6c}
.home-hero-links{display:flex;justify-content:center;flex-wrap:wrap;gap:12px}
.home-hero-links>a{display:inline-flex;align-items:center;gap:25px;border:1px solid #cdb8bf;border-radius:6px;padding:10px 18px;color:#843e54;background:#faf8f3;text-decoration:none;font:600 13px/1.5 Arial,sans-serif}
.home-hero-links>a:first-child{background:#843e54;border-color:#843e54;color:#fff}
.home-hero-links>a:hover{border-color:#843e54;box-shadow:0 2px 8px #843e5410}
.home-hero-links>a:focus-visible{outline:2px solid #a58090;outline-offset:4px}
.home-hero-links>a>span{font-size:16px;font-weight:400}
@media(max-width:600px){.home-hero{padding:30px 0}.home-brand{letter-spacing:-2.5px}.home-hero .lead{font-size:15px;margin:18px auto 22px}.home-hero-links>a{gap:16px;padding:10px 14px}}

/* One continuous, segmented playback timeline. */
.process>.process-steps{gap:0;margin:16px 0 0;border:1px solid #d8d6cf;border-radius:7px;overflow:hidden;isolation:isolate}
.process .process-steps button,.process .process-steps button[aria-current="step"]{position:relative;min-width:0;min-height:49px;display:flex;flex-direction:row;align-items:center;gap:9px;padding:11px 14px;border:0;border-right:1px solid #fff9;border-radius:0;background:#f5f3ed;color:#65595c;font:500 12px/1.45 Arial,sans-serif;overflow:hidden;transition:none}
.process .process-steps button:last-child{border-right:0}
.process .process-steps button::before{content:"";position:absolute;inset:0;z-index:0;background:var(--stage-color);transform:scaleX(var(--step-progress,0));transform-origin:left center;will-change:transform}
.process .process-steps button:nth-child(1){--stage-color:#d8e7da}
.process .process-steps button:nth-child(2){--stage-color:#efddc4}
.process .process-steps button:nth-child(3){--stage-color:#e6cdd7}
.process .process-steps button>.step-index,.process .process-steps button[aria-current="step"]>.step-index{position:relative;z-index:1;display:block;flex:0 0 auto;height:auto;width:auto;background:transparent;border-radius:0;color:inherit;font:700 13px/1.45 Arial,sans-serif}
.process .process-steps .step-label{position:relative;z-index:1}
.process .process-steps button[aria-current="step"]{font-weight:700;color:#493b40}
.process .process-steps button:hover{color:#422b35}
.process .process-steps button:focus-visible{outline:2px solid #843e54;outline-offset:-3px}
@media(max-width:700px){.process .process-steps button,.process .process-steps button[aria-current="step"]{padding:10px 7px;gap:5px;min-height:58px;font-size:10px}.process .process-steps button>.step-index,.process .process-steps button[aria-current="step"]>.step-index{font-size:11px}}

/* Operation colors: forward green, backward yellow, recompute burgundy. */
.operation-region.forward.is-resolved rect{fill:#edf4eb;stroke:#bfd2b7}
.operation-region.backward.is-resolved rect{fill:#faf3dd;stroke:#e4d197}
.operation-region.recompute.is-resolved rect{fill:#f5eaf0;stroke:#d8b5c4}
.operation-region.forward.is-resolved .region-label,.operation-region.forward .region-number{fill:#507b5a}
.operation-region.backward.is-resolved .region-label,.operation-region.backward .region-number{fill:#967622}
.operation-region.recompute.is-resolved .region-label,.operation-region.recompute .region-number{fill:#843e54}
.operation-region.forward .region-number-circle{stroke:#bfd2b7}
.operation-region.backward .region-number-circle{stroke:#e4d197}
.operation-region.recompute .region-number-circle{stroke:#d8b5c4}
.process .graph-edge.operation-forward{stroke:#507b5a}
.process .graph-edge.operation-backward{stroke:#b28b30}
.process .graph-edge.operation-recompute{stroke:#843e54}
#revision-graph .edge-label.operation-forward{fill:#507b5a}
#revision-graph .edge-label.operation-backward{fill:#967622}
#revision-graph .edge-label.operation-recompute{fill:#843e54}

.operation-region.forward.is-resolved rect{fill:#fbf0e2;stroke:#e7c49c}
.operation-region.forward.is-resolved .region-label,.operation-region.forward .region-number{fill:#aa6b2e}
.operation-region.forward .region-number-circle{stroke:#e7c49c}
.process .graph-edge.operation-forward{stroke:#bf7d35}
#revision-graph .edge-label.operation-forward{fill:#aa6b2e}
.process .process-steps button,.process .process-steps button[aria-current="step"]{justify-content:center;text-align:center;font-size:14px;min-height:54px}
.process .process-steps button>.step-index,.process .process-steps button[aria-current="step"]>.step-index{font-size:16px}
@media(max-width:700px){.process .process-steps button,.process .process-steps button[aria-current="step"]{font-size:11px;min-height:62px}.process .process-steps button>.step-index,.process .process-steps button[aria-current="step"]>.step-index{font-size:13px}}

#revision-graph .belief-node{transition:opacity .25s ease}
#revision-graph .belief-node.is-pending{opacity:.4}
#revision-graph .belief-node.node-frontier .node-circle{stroke:var(--frontier-color,#507459);stroke-width:2.3}
@media(prefers-reduced-motion:reduce){#revision-graph .belief-node{transition:none}}

#revision-graph .single-value.retracted-value{fill:#8a9d89}
#revision-graph .added-cf-value{font:600 27px Arial,sans-serif;fill:#ed2024}

.home-brand-row{display:flex;align-items:center;justify-content:center;gap:22px}
.brand-logo{position:relative;display:inline-block;overflow:hidden;flex:none;vertical-align:middle}
.brand-logo>img{position:absolute;display:block;width:145%;height:145%;max-width:none;left:-24%;top:-22%;object-fit:contain}
.hero-brand-logo{width:88px;height:88px}
a.home-link{display:inline-flex;align-items:center;gap:9px;font-family:Georgia,"Times New Roman",serif;text-decoration:none}
.nav-brand-logo{width:25px;height:25px}
@media(max-width:600px){.home-brand-row{gap:13px}.hero-brand-logo{width:62px;height:62px}.nav-brand-logo{width:22px;height:22px}}

nav>.home-link{font-size:24px;line-height:1.2;gap:10px}@media(max-width:600px){nav>.home-link{font-size:22px}}

.site-copyright{text-align:center;border:0;font:12px/1.6 Georgia,"Times New Roman",serif;color:#92858a;padding:22px 24px 28px;margin-top:24px}

.dataset-statistics h2{font:400 27px/1.3 Georgia,"Times New Roman",serif;letter-spacing:-.6px;color:#842f49;margin:0 0 18px}
.statistics-scroll{border-color:#dcd2d4}
.dataset-statistics caption{background:#eeece5;color:#805b69}
.dataset-statistics thead th{color:#896b78}
.dataset-statistics th,.dataset-statistics td{border-bottom-color:#e3dadd}
.dataset-statistics tbody th,.dataset-statistics tbody td{color:#684b58}
.dataset-statistics tbody td:last-child,.dataset-statistics a{color:#842f49}
.process{border-top-color:#843e54}
.demo-playback #play-process{background:#f5f1ec;color:#843e54;border-color:#cdb8c1}
.demo-playback #play-process[aria-pressed="true"]{background:#843e54;border-color:#843e54;color:#fff}
.demo-playback #play-process:hover{border-color:#843e54}
@media(max-width:600px){.dataset-statistics h2{font-size:25px}}

.demo-playback #play-process{position:relative;top:14px}

.process>.demo-playback{position:relative;height:18px;margin:0}
.demo-playback #play-process{position:absolute;top:28px;left:0;z-index:1}

/* Stronger contrast for the homepage graph. */
.process{background:#fff;border-color:#c8c0c3;border-top-color:#843e54}
#revision-graph .belief-node .node-circle{fill:#fff;stroke:#a7a39e;stroke-width:1.4}
#revision-graph .node-name{fill:#352c32;font-weight:650}
#revision-graph .single-reason{fill:#62585c;font-weight:500}
#revision-graph .node-unknown .single-value{fill:#383237}
#revision-graph .simple-base{fill:#59674e}
#revision-graph .graph-edge.active{stroke-width:3.2}
#revision-graph .graph-edge.cut,#revision-graph .graph-edge.retract{stroke-width:2.3}
#revision-graph .operation-region.forward.is-resolved rect{fill:#f8e6cf;stroke:#c79154;stroke-width:1.3}
#revision-graph .operation-region.backward.is-resolved rect{fill:#f5eabe;stroke:#bba045;stroke-width:1.3}
#revision-graph .operation-region.recompute.is-resolved rect{fill:#edd8e2;stroke:#ad788e;stroke-width:1.3}
#revision-graph .operation-region.forward.is-resolved .region-label{fill:#925019}
#revision-graph .operation-region.backward.is-resolved .region-label{fill:#806216}
#revision-graph .operation-region.recompute.is-resolved .region-label{fill:#762c47}

@media(max-width:600px){.hero-lead-break{display:none}}

/* v1 uses the same typography and burgundy accents as the statements. */
.dataset-version-page{font-family:Arial,sans-serif;color:#493f43}
.dataset-version-page header{max-width:none;text-align:left;padding:28px 0 24px;margin:0}
.dataset-version-page header::before{content:none}
.dataset-version-page header h1{font:400 42px/1.2 Georgia,"Times New Roman",serif;letter-spacing:-1px;color:#842f49;margin:15px 0 14px}
.dataset-version-page header .badge{background:#eeece5;color:#795a67;font-size:12px;border-radius:5px;padding:4px 10px}
.dataset-version-page header .lead{max-width:none;margin:0;font:16px/1.8 Arial,sans-serif;color:#51464b}
.dataset-version-page .version-policy{font-size:13px;line-height:1.8;color:#7c6670;margin:8px 0 0;max-width:800px}
.dataset-version-page .version-toc{justify-content:flex-start;padding-bottom:22px;border-color:#dfd5d9;font-size:13px}
.dataset-version-page .version-toc a{color:#842f49}
.dataset-version-page .version-toc a:hover{text-decoration:underline}
.dataset-version-page main>section{margin:32px 0 40px}
.dataset-version-page section h2{font:400 27px/1.3 Georgia,"Times New Roman",serif;color:#842f49;letter-spacing:-.6px}
.dataset-version-page .version-metrics>div,.dataset-version-page .detail-table,.dataset-version-page .gallery-layout{border-color:#ded4d8;background:#fffefa}
.dataset-version-page .version-metrics strong{color:#842f49;font-family:Georgia,"Times New Roman",serif;font-weight:400}
.dataset-version-page .version-metrics span,.dataset-version-page .detail-note,.dataset-version-page .gallery-choice legend{color:#806873}
.dataset-version-page .detail-table caption,.dataset-version-page .detail-table thead th{background:#eeece5;color:#795a67}
.dataset-version-page .detail-table tbody th{color:#684b58}
.dataset-version-page .detail-table th,.dataset-version-page .detail-table td{border-color:#e3dadd}
.dataset-version-page .gallery-choice-buttons button,.dataset-version-page .gallery-graph-navigation>button{font-family:Arial,sans-serif;border-color:#d9cbd1;color:#795464;background:#fffefa}
.dataset-version-page .gallery-choice-buttons button:hover,.dataset-version-page .gallery-graph-navigation>button:hover{background:#f3eaf0}
.dataset-version-page .gallery-choice-buttons button[aria-pressed="true"]{background:#843e54;border-color:#843e54;color:#fff}
.dataset-version-page .gallery-choice-buttons button:focus-visible,.dataset-version-page .gallery-graph-navigation>button:focus-visible{outline-color:#843e54}
@media(max-width:600px){.dataset-version-page header{padding:20px 0}.dataset-version-page header h1{font-size:34px}.dataset-version-page header .lead{font-size:15px}.dataset-version-page section h2{font-size:25px}}

/* Green distinguishes statistics from the burgundy task and rule sections. */
.dataset-version-page #statistics h2,.dataset-version-page #statistics .version-metrics strong{color:#456b50}
.dataset-version-page #statistics .version-metrics>div,.dataset-version-page #statistics .detail-table{border-color:#d2ded0}
.dataset-version-page #statistics .version-metrics span,.dataset-version-page #statistics .detail-note{color:#657a65}
.dataset-version-page #statistics .detail-table caption,.dataset-version-page #statistics .detail-table thead th{background:#edf2e9;color:#536f55}
.dataset-version-page #statistics .detail-table tbody th{color:#456b50}
.dataset-version-page #statistics .detail-table th,.dataset-version-page #statistics .detail-table td{border-color:#dce5d8}
.dataset-version-page .version-toc a[href="#statistics"]{color:#456b50}
.dataset-statistics h2,.dataset-statistics tbody td:last-child,.dataset-statistics a{color:#456b50}
.dataset-statistics .statistics-scroll{border-color:#d2ded0}
.dataset-statistics caption{background:#edf2e9;color:#536f55}
.dataset-statistics thead th{color:#657a65}
.dataset-statistics tbody th,.dataset-statistics tbody td{color:#4f6652}
.dataset-statistics th,.dataset-statistics td{border-bottom-color:#dce5d8}

/* Keep the CF target distinct from blue value-change outlines. */
.dataset-version-page .gallery-node.cf>rect{fill:#eee5f8;stroke:#8654b5;stroke-width:2.8;filter:drop-shadow(0 0 3px #8654b533)}
.dataset-version-page .gallery-node.cf.selected>rect,.dataset-version-page .gallery-node.cf:focus-visible>rect{stroke:#70409f;stroke-width:3.5}
.dataset-version-page .gallery-node.cf .gallery-cf-label{fill:#7842a6;font:700 11px Arial,sans-serif}