@import url('./tokens.css');
*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:100px}body{margin:0;background:var(--da-paper);color:var(--da-ink);font:18px/1.6 var(--da-font-body);-webkit-font-smoothing:antialiased}button,input,select{font:inherit}button,a{-webkit-tap-highlight-color:transparent}a{color:inherit;text-underline-offset:5px}button{cursor:pointer}img{display:block;max-width:100%;object-fit:cover}h1,h2,h3,p{margin:0}h1,h2,h3{font-family:var(--da-font-display);font-weight:400;line-height:1.08}h1{font-size:clamp(3.4rem,6.7vw,6.8rem);letter-spacing:-.055em}h2{font-size:clamp(2.6rem,4.3vw,4.2rem);letter-spacing:-.04em}h3{font-size:1.9rem;letter-spacing:-.025em}em{font-weight:400}p{max-width:66ch}button:focus-visible,a:focus-visible,summary:focus-visible,select:focus-visible{outline:3px solid var(--da-focus);outline-offset:5px}button:disabled{cursor:default;opacity:.45}.wrap{width:min(1200px,100% - 2 * clamp(20px,6vw,96px));margin-inline:auto}.skip{position:fixed;top:-70px;left:20px;z-index:30;background:white;padding:12px}.skip:focus{top:10px}.site-header{height:96px;display:flex;align-items:center;justify-content:space-between;gap:24px;border-bottom:1px solid var(--da-divider)}.brand{font-family:var(--da-font-display);font-size:27px;text-decoration:none;display:flex;align-items:center;gap:11px;letter-spacing:-1px}.brand-mark{width:33px;height:33px;display:inline-flex;align-items:center;justify-content:center;border:1px solid currentColor;border-radius:50%;font-family:Georgia,serif;font-size:23px;line-height:1}.brand small{font-family:var(--da-font-body);font-size:12px;text-transform:uppercase;letter-spacing:1.7px;align-self:flex-start;margin:8px 0 0 -5px}.nav{display:flex;gap:29px;align-items:center;font-size:14px}.nav a{text-decoration:none}.nav a:hover{text-decoration:underline}.nav .nav-cta{border:1px solid var(--da-ink);padding:10px 17px;border-radius:6px}.eyebrow{text-transform:uppercase;letter-spacing:2.2px;font-size:12px;font-weight:600;display:block;margin-bottom:24px}.eyebrow::before{content:'✳';margin-right:11px;font-size:16px}.hero{display:grid;grid-template-columns:1fr 1fr;gap:60px;align-items:center;padding:65px 0 76px}.hero-copy{padding:16px 0}.hero p{font-size:19px;line-height:1.6;max-width:470px;margin-top:27px;color:var(--da-ink-muted)}.actions{display:flex;gap:24px;align-items:center;flex-wrap:wrap;margin-top:33px}.button{display:inline-flex;justify-content:center;align-items:center;min-height:48px;padding:12px 21px;background:var(--da-fern);color:white;border:1px solid var(--da-fern);border-radius:6px;font-size:14px;font-weight:600;text-decoration:none;transition:background var(--da-duration)}.button:hover{background:#1c4938}.button.secondary{background:transparent;color:var(--da-ink);border-color:var(--da-control-border)}.text-link{font-size:14px}.hero-art{position:relative;min-width:0}.art-caption{font-size:12px;text-transform:uppercase;letter-spacing:1.4px;margin-top:16px;display:flex;justify-content:space-between;gap:10px;color:var(--da-ink-muted)}.floating-note{position:absolute;bottom:43px;left:-25px;background:rgba(248,248,239,.96);padding:17px 22px;border:1px solid #fff9;border-radius:8px;box-shadow:var(--da-shadow);font-size:13px;max-width:245px}.floating-note span{display:block;font-size:12px;letter-spacing:1.4px;text-transform:uppercase;color:var(--da-ink-muted);margin-bottom:4px}.ribbon{display:flex;justify-content:space-between;align-items:center;border-top:1px solid var(--da-divider);border-bottom:1px solid var(--da-divider);padding:22px 0;font-size:13px;gap:22px}.ribbon .ribbon-title{color:var(--da-ink-muted);font-size:12px;text-transform:uppercase;letter-spacing:1.5px}.ribbon span{white-space:nowrap}.section{padding:100px 0}.section-heading{display:flex;justify-content:space-between;align-items:flex-end;gap:55px;margin-bottom:44px}.section-heading>p{max-width:385px;color:var(--da-ink-muted);font-size:17px}.section-heading h2{max-width:800px;text-wrap:balance}.section-heading .eyebrow{margin-bottom:16px}.cards{display:grid;grid-template-columns:repeat(3,1fr);gap:23px}.card{padding:30px;border:1px solid var(--da-divider);border-radius:10px;display:flex;flex-direction:column;align-items:flex-start}.card p{color:var(--da-ink-muted);font-size:16px;margin-top:16px}.card .tag{margin-top:28px}.card h3{font-size:29px}.tag{border:1px solid currentColor;border-radius:30px;padding:3px 10px;font-size:14px;letter-spacing:.5px;display:inline-block;color:var(--da-ink-muted)}.band{border-top:1px solid #d0dfc6;border-bottom:1px solid #d0dfc6}.split{display:grid;grid-template-columns:.8fr 1.2fr;gap:85px;align-items:start}.split>div>p{margin-top:22px;color:var(--da-ink-muted);font-size:17px}.tabs{display:flex;gap:4px;padding:5px;border:1px solid #bdcec0;border-radius:9px;width:fit-content;max-width:100%;margin-bottom:30px;flex-wrap:wrap;background:#ffffff35}.tabs button{border:0;background:none;color:var(--da-ink);padding:9px 16px;border-radius:5px;font-size:14px;transition:background var(--da-duration)}.tabs button[aria-pressed=true]{background:var(--da-ink);color:white}.explorer{border:1px solid #b8ccbd;background:#fbfcf6;border-radius:12px;padding:30px;min-width:0}.explorer-top{display:flex;justify-content:space-between;gap:20px;border-bottom:1px solid var(--da-divider);padding-bottom:18px;margin-bottom:24px;font-size:14px}.explorer h3{margin-bottom:13px}.explorer p{font-size:16px;color:var(--da-ink-muted)}.explorer .eyebrow{font-size:12px;margin:24px 0 9px}.path{display:flex;gap:0;margin:30px 0}.path-step{flex:1;text-align:center;font-size:12px;position:relative}.path-step:not(:last-child)::after{content:'';position:absolute;top:15px;left:calc(50% + 21px);width:calc(100% - 42px);height:1px;background:var(--da-control-border)}.path-step i{font-family:Georgia,serif;font-size:14px;width:31px;height:31px;border:1px solid var(--da-control-border);border-radius:50%;display:flex;align-items:center;justify-content:center;margin:0 auto 10px;background:var(--da-paper);font-style:normal}.path-step.active i{background:var(--da-fern);color:white}.note{font-size:14px!important;color:var(--da-ink-muted);margin-top:18px!important}.ledger{list-style:none;padding:0;margin:0}.ledger li{display:grid;grid-template-columns:44px 1fr;gap:13px;padding:24px 0;border-top:1px solid var(--da-divider)}.ledger li:last-child{border-bottom:1px solid var(--da-divider)}.ledger .num{font-size:12px;color:var(--da-ink-muted)}.ledger h3{font-size:27px;margin-bottom:9px}.ledger p{font-size:16px;color:var(--da-ink-muted)}.callout{padding:18px 22px;background:#e4dbf2;border:1px solid #c7bbdc;border-radius:16px;font-family:var(--da-font-display);font-size:18px;line-height:1.3;letter-spacing:-.025em}.callout em{color:var(--da-fern)}.footer{display:flex;justify-content:space-between;align-items:center;gap:24px;padding:35px 0;margin-top:25px;border-top:1px solid var(--da-divider);font-size:14px;color:var(--da-ink-muted)}.footer-links{display:flex;gap:23px}.footer .brand{font-size:22px}.fine{font-size:14px;color:var(--da-ink-muted)}.reading{max-width:840px}.reading>p{margin-top:22px}.details-list details{border-top:1px solid var(--da-divider);padding:22px 0}.details-list details:last-child{border-bottom:1px solid var(--da-divider)}summary{cursor:pointer;font-size:18px;font-weight:500;padding-right:20px}details p{font-size:16px;color:var(--da-ink-muted);margin-top:17px}details code{font-size:12px;overflow-wrap:anywhere}code{font-family:var(--da-font-code);font-size:.8em;overflow-wrap:anywhere}.signature{--da-paper:#eef1fc;--da-fern:#285e80;--da-ink:#243e4a;--da-ink-muted:#485d6b;--da-divider:#cddbe0}.signature .hero{grid-template-columns:1.12fr 1fr;gap:35px}.signature h1{font-size:clamp(3.4rem,6.2vw,6.4rem)}.theorem-grid{display:grid;grid-template-columns:1fr 1fr;gap:20px}.theorem{border-top:1px solid var(--da-control-border);padding:26px 0;min-width:0}.theorem .route{font-size:14px;letter-spacing:1px;text-transform:uppercase;color:var(--da-ink-muted);margin-bottom:18px;display:block}.theorem h3{font-size:31px}.theorem p{font-size:16px;margin:15px 0;color:var(--da-ink-muted)}.theorem code{font-size:12px}.formula{font-family:Georgia,serif;font-size:21px;letter-spacing:0;padding:18px 20px;background:#e9eff1;border-radius:7px;margin:17px 0;overflow-x:auto}.formula math{font-size:1.15em}.source-link{font-size:14px}.game-layout{display:grid;grid-template-columns:1.3fr 1fr;gap:28px}.game-stage{background:#fafcf9;border:1px solid #b7cbd5;border-radius:12px;padding:30px}.actors{display:grid;grid-template-columns:1fr 1fr 1fr;gap:12px;margin-bottom:22px}.actor{padding:17px 10px;border:1px solid #cbd7da;border-radius:7px;text-align:center}.actor-symbol{font-family:Georgia,serif;font-size:32px;display:block;margin-bottom:4px}.actor strong{font-size:14px;font-weight:600;display:block}.actor small{display:block;font-size:14px;line-height:1.35;color:var(--da-ink-muted)}.actor.active{border-color:#567a8d;background:#dfebf0}.actor.adversary.active{background:#ece5f4;border-color:#9376a6}.transcript{min-height:190px;border-top:1px solid var(--da-divider);padding-top:24px}.transcript h3{font-size:28px}.transcript p{font-size:16px;margin:14px 0;color:var(--da-ink-muted)}.transcript .code-line{font:13px/1.6 var(--da-font-code);background:#eaf0f2;padding:13px;border-radius:5px;overflow-wrap:anywhere}.step-controls{display:flex;align-items:center;justify-content:space-between;gap:12px;margin:0 0 22px}.step-controls button{background:transparent;border:1px solid var(--da-control-border);border-radius:5px;padding:8px 15px;font-size:14px}.step-count{font-size:14px}.game-notes{padding:12px 0}.game-notes h3{font-size:26px;margin-bottom:18px}.game-notes p{font-size:16px;color:var(--da-ink-muted);margin-bottom:20px}.inline-label{font-size:12px;text-transform:uppercase;letter-spacing:1px}.dean .hero{grid-template-columns:1fr 1.1fr;gap:45px}.dean h1{font-size:clamp(3.4rem,6.1vw,6.3rem)}.dean .floating-note{bottom:35px;left:-17px}.journey{display:grid;grid-template-columns:repeat(4,1fr);gap:26px}.journey-step{border-top:1px solid var(--da-control-border);padding-top:20px}.journey-step .num{font:13px var(--da-font-code)}.journey-step h3{font-size:26px;margin:27px 0 15px}.journey-step p{font-size:16px;color:var(--da-ink-muted)}.mechanism-panel{display:grid;grid-template-columns:1fr 1fr;gap:55px}.mechanism-facts{display:grid;gap:20px}.mechanism-facts>div{padding-bottom:17px;border-bottom:1px solid #bdd4c7}.mechanism-facts dt{font-size:14px;text-transform:uppercase;letter-spacing:1.4px;margin-bottom:7px}.mechanism-facts dd{margin:0;font-size:16px}.cache-demo{border:1px solid var(--da-divider);border-radius:12px;background:#fffefa;padding:32px}.dependency-nodes{display:grid;gap:6px;margin-top:22px}.cache-node{display:flex;flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:4px 12px;padding:14px 16px;border-radius:var(--da-radius-control);background:#dcecdf;border:1px solid #acbfae;transition:background .3s,border-color .3s}.cache-node strong{font-size:16px}.cache-node small{order:3;flex-basis:100%;font-size:14px;color:var(--da-ink-muted)}.cache-node .node-state{font-size:14px;font-weight:600;color:#28634d}.cache-node.changed{background:var(--da-lilac);border:2px dashed var(--da-plum);padding:13px 15px}.cache-node.changed .node-state{color:var(--da-plum)}.cache-node.separate{margin-top:14px}.dependency-nodes .dependency-edge{font-size:14px;color:var(--da-ink-muted);padding-left:20px}.cache-demo h3{font-size:27px}.cache-demo p{font-size:15px;color:var(--da-ink-muted)}.cache-demo button{margin-top:26px}.hub{min-height:100vh}.hub-header{padding:70px 0 55px;max-width:810px}.hub-header h1{font-size:clamp(3.8rem,7vw,6.4rem)}.hub-header p{font-size:18px;color:var(--da-ink-muted);margin-top:25px;max-width:560px}.site-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:24px;padding-bottom:70px}.site-tile{text-decoration:none;display:block;border:1px solid var(--da-divider);border-radius:12px;overflow:hidden;background:#fff9;transition:transform .2s}.site-tile:hover{transform:translateY(-5px)}.site-tile img{width:100%;height:260px;background:var(--da-fern-mist)}.tile-copy{padding:26px}.tile-copy .eyebrow{font-size:12px;margin-bottom:20px}.tile-copy h2{font-size:32px}.tile-copy p{font-size:15px;color:var(--da-ink-muted);margin-top:15px}.tile-copy .text-link{display:block;margin-top:24px;text-decoration:underline}.empty-cell{color:var(--da-ink-muted);font-style:italic}.table-wrap{overflow-x:auto}table{width:100%;border-collapse:collapse;font-size:15px}th,td{text-align:left;padding:15px 12px;border-bottom:1px solid var(--da-divider)}th{font-size:12px;font-weight:600}.closing{max-width:820px;padding:85px 0}.closing p{margin-top:24px;font-size:18px;color:var(--da-ink-muted)}[hidden]{display:none!important}.muted{color:var(--da-ink-muted)}
@media(min-width:1500px){.hero{gap:80px}}
@media(max-width:1000px){.hero,.signature .hero,.dean .hero{gap:32px}.nav{gap:18px}.split{gap:40px}.section{padding:75px 0}.game-layout{grid-template-columns:1fr}.game-notes{display:grid;grid-template-columns:1fr 1fr;gap:25px}.cards{gap:15px}.card{padding:24px}.journey{gap:20px}.site-tile img{height:220px}}
@media(max-width:760px){.site-header{height:auto;min-height:90px;flex-wrap:wrap;padding:19px 0;gap:18px}.brand{font-size:24px}.nav{gap:21px;font-size:14px;flex-wrap:wrap}.nav .nav-cta{display:inline-flex;align-items:center;min-height:44px;padding:6px 12px}.hero,.signature .hero,.dean .hero{grid-template-columns:1fr;padding:38px 0 45px;gap:37px}.hero-copy{padding:0}.hero h1,.signature h1,.dean h1{font-size:clamp(3.35rem,12vw,5.1rem)}.hero p{font-size:18px;margin-top:22px}.hero-art{max-width:560px;width:100%;margin:auto}.floating-note{left:12px!important;bottom:44px;padding:13px 18px}.eyebrow{font-size:12px;margin-bottom:20px}.ribbon{overflow-x:auto;gap:25px;padding:18px 0}.ribbon .ribbon-title{white-space:normal;min-width:100px}.section{padding:62px 0}.section-heading{display:block;margin-bottom:32px}.section-heading>p{margin-top:21px}.cards,.split,.mechanism-panel{grid-template-columns:1fr;gap:25px}.card{padding:26px}.theorem-grid{grid-template-columns:1fr;gap:3px}.journey{grid-template-columns:1fr 1fr;gap:32px 22px}.game-stage{padding:20px}.game-notes{display:block}.game-notes p{margin-bottom:20px}.actors{gap:7px}.actor{padding:14px 4px}.actor-symbol{font-size:28px}.transcript{min-height:235px}.tabs button{font-size:14px;padding:9px 12px;min-height:44px}.step-controls button{min-height:44px}.explorer{padding:23px}.cache-demo{padding:22px}.footer{align-items:flex-start;flex-wrap:wrap}.footer-links{gap:20px}.site-grid{grid-template-columns:1fr;max-width:600px}.site-tile img{height:280px}.hub-header{padding:45px 0}.hub-header h1{font-size:4rem}.closing{padding:55px 0}h2{font-size:2.7rem}.art-caption{font-size:12px}.formula{font-size:18px;padding:15px 13px}.actions{gap:20px}.mechanism-facts{margin-top:0}}
.dean .hero-art{align-self:center}.math-display{font-family:"STIX Two Math","Cambria Math","Latin Modern Math",var(--da-font-display);font-size:20px;line-height:1.5;color:var(--da-ink);background:var(--da-cloud);border-radius:var(--da-radius-control);padding:12px 16px;margin:12px 0;overflow-x:auto}.math-display.event{background:var(--da-lilac)}.math-label{display:block;font:14px/1.4 var(--da-font-body);color:var(--da-ink-muted);margin-bottom:2px}.branch{border-top:1px solid var(--da-control-border);padding-top:14px;margin-top:22px}.branch h5{display:flex;flex-wrap:wrap;gap:6px 12px;align-items:baseline;font:600 16px/1.4 var(--da-font-body);margin:0 0 8px}.branch.good h5{color:var(--da-fern)}.branch.bad h5{color:var(--da-plum)}.branch h5 math{font-weight:400;color:var(--da-ink)}.visually-hidden{position:absolute!important;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}.tag.status{font-weight:600}.status-proved{color:#28634d;background:var(--da-fern-mist)}.status-assumed{color:var(--da-ochre);background:var(--da-butter)}.status-arithmetic{color:var(--da-plum);background:var(--da-lilac)}.example-block{display:grid;gap:10px;margin-top:18px}.example-block>.block-label{font-size:14px;font-weight:600;color:var(--da-ink-muted)}.example-block h3{margin:0}.example-block p{margin:0}.example-evidence{padding:18px 20px;background:var(--da-cloud);border-radius:var(--da-radius-control)}.example-contribute{padding:16px 18px;background:#fbf3d2;border:2px dashed var(--da-ochre);border-radius:var(--da-radius-control)}.example-contribute>.block-label{color:var(--da-ochre)}.example-contribute p{color:var(--da-ink)}.example-targets{list-style:none;padding:0;margin:0;display:grid;gap:10px}.example-targets li p{margin-top:4px!important;font-size:15px}.example-targets code{font-weight:600}.problem-group li:target{background:#fbf3d2;outline:2px dashed var(--da-ochre);outline-offset:6px;border-radius:6px}.example-chain{margin:0;padding:12px 14px 12px 34px;background:#e0e9f5;border-radius:10px;font-size:16px;line-height:1.7}.nowrap{white-space:nowrap}.build-reuse{margin-top:22px;max-width:72ch;font-size:16px;color:var(--da-ink-muted)}.build-reuse strong{color:var(--da-ink)}.measured-headline{font-family:var(--da-font-display);font-size:clamp(1.4rem,2.2vw,1.9rem);line-height:1.35;color:var(--da-ink)!important}#measured caption{caption-side:bottom;text-align:left;padding-top:10px}#measured th[scope=row]{font-size:15px;font-weight:500}#measured td{white-space:nowrap;font-variant-numeric:tabular-nums}.problems{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:28px}.problem-group h3{font-size:26px;margin-bottom:6px}.problem-group ul{list-style:none;padding:0;margin:0}.problem-group li{padding:18px 0;border-top:1px solid var(--da-divider)}.problem-head{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:8px}.problem-head code{font-size:14px;font-weight:600;overflow-wrap:anywhere}.problem-group li p{font-size:16px;margin-top:8px;color:var(--da-ink-muted)}.problem-group li p code{font-size:14px}.problem-discussions{font-size:14px!important}.problems-source{margin-top:22px}.problems-source .stale{color:var(--da-ochre)}.card-link{margin-top:auto;padding-top:20px;font-size:15px;font-weight:600;text-decoration:underline}.site-grid,.hero-copy,.mechanism-panel>div,.split>div{min-width:0}.explorer-top{flex-wrap:wrap}.game-stage,.cache-demo{overflow-wrap:break-word}
.cache-map{margin:0;padding:18px;border:1px solid #bcb3d2;border-radius:20px;background:#f0edfacc}
.cache-map-grid{display:grid;grid-template-columns:minmax(0,1fr) 84px minmax(0,1fr) 84px minmax(0,1fr);gap:8px;align-items:center}
.map-col{display:grid;gap:8px;align-content:center}
.map-zone{display:grid;gap:6px;padding:10px;border:1px dashed #a99cbd;border-radius:12px}
.map-zone-label{font-size:14px;font-weight:600;color:var(--da-plum)}
.map-store{padding:8px 12px;background:var(--da-cloud);border:1px solid #c7bbdc;border-radius:10px}
.map-store strong{display:block;font-size:15px}
.map-store small{display:block;font-size:14px;line-height:1.4;color:var(--da-ink-muted);margin-top:2px}
.map-store.kernel{background:#e1eee8;border-color:#9fbfae}
.map-edge{font-size:14px;line-height:1.3;color:var(--da-ink-muted);text-align:center}
.map-edge::after{content:"→";display:block;font-size:22px;color:#6c5d84}
.map-edge-down{display:flex;align-items:center;justify-content:center;gap:8px}
.map-edge-down::after{content:"↓";display:inline;font-size:18px}
.cite-compare{display:grid;grid-template-columns:minmax(0,1fr) 40px minmax(0,1fr);gap:12px;align-items:center}
.cite-compare figure{margin:0;min-width:0}
.cite-compare figcaption{font-size:14px;font-weight:600;color:var(--da-ink-muted);margin-bottom:8px}
.cite-compare pre{margin:0;padding:16px 18px;background:var(--da-cloud);border:1px solid #c7bbdc;border-radius:var(--da-radius-control);overflow-x:auto;font:14px/1.6 var(--da-font-code)}
.cite-compare pre code{font-size:inherit}.cite-comment{color:var(--da-ink-muted);font-style:italic}.cite-line{display:inline-block;margin:0 -6px;padding:0 6px;border-radius:4px}
.cite-line.changed{background:#fbf3d2;box-shadow:inset 3px 0 0 var(--da-ochre)}
.cite-line.added{background:#e1eee8;box-shadow:inset 3px 0 0 #28634d}
.cite-arrow{font-size:28px;text-align:center;color:#6c5d84}
.cite-steps{margin:24px 0 0;padding-left:22px;display:grid;gap:10px;max-width:72ch}
.cite-steps li{font-size:16px;color:var(--da-ink-muted)}
.cite-steps strong{color:var(--da-ink)}
@media(max-width:1000px){.cache-map-grid{grid-template-columns:minmax(0,1fr)}.map-edge::after{content:"↓"}.cite-compare{grid-template-columns:minmax(0,1fr)}.cite-arrow::before{content:"↓"}.cite-arrow{font-size:0}.cite-arrow::before{font-size:28px}}
@media(max-width:760px){.math-display{font-size:18px;padding:10px 12px}}
/* Narrow phones: a tab group that would wrap unevenly becomes a full-width list, one option per row. */
@media(max-width:560px){.tabs{display:grid;grid-template-columns:minmax(0,1fr);width:100%}.tabs button{text-align:left}}
@media(max-width:1000px){.problems{grid-template-columns:1fr;gap:12px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*{animation:none!important;transition:none!important}}
@media(min-width:1001px){.digest-attest .hero{padding:clamp(24px,4vh,65px) 0 clamp(32px,5vh,76px)}.digest-attest .hero h1{font-size:clamp(3.4rem,min(6.7vw,10.5vh),6.8rem)}.digest-attest .hero p{max-width:520px;margin-top:clamp(16px,2.5vh,27px)}}
.grow-steps .card{gap:10px}.grow-steps .card p{font-size:16px;color:var(--da-ink-muted)}.step-number{font:600 14px/1 var(--da-font-body);color:var(--da-ink-muted)}.grow-checked{margin-top:22px;max-width:72ch;font-size:16px;color:var(--da-ink-muted)}.grow-checked strong{color:var(--da-ink)}#dependencies .tabs{margin:14px 0 18px}#dependencies .tabs button{margin-top:0}
.wip-banner{position:relative;z-index:5;max-width:none;margin:0;padding:10px clamp(20px,6vw,96px);text-align:center;font-size:14px;line-height:1.5;color:var(--da-ink);background:#fbf3d2;border-bottom:1px solid #e3d29a}.wip-banner strong{color:var(--da-ochre)}
.algorithms .hero-creature img{width:min(440px,100%);margin:auto;object-fit:contain}.problems-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:23px;align-items:start}.problem{padding:30px;border:1px solid var(--da-divider);border-radius:14px;min-width:0}.problem h3{font-size:29px;margin:10px 0 12px}.problem>p{font-size:16px;color:var(--da-ink-muted)}.problem-kind{font-size:14px;font-weight:600;color:var(--da-ink-muted)}.problem-kind code{font-size:13px}.problem-facts{display:grid;gap:12px;margin:20px 0 0}.problem-facts>div{border-top:1px solid var(--da-divider);padding-top:10px}.problem-facts dt{font-size:14px;font-weight:600}.problem-facts dd{margin:4px 0 0;font-size:15px}.problem-facts .fine{display:block;margin-top:4px}.pending{color:var(--da-ochre);font-style:italic}.problem-status{list-style:none;padding:0;margin:20px 0 0;display:grid;gap:8px;font-size:14px;color:var(--da-ink-muted)}.status-draft,.status-open{color:var(--da-ochre);background:var(--da-butter)}.status-not-connected{color:var(--da-plum);background:var(--da-lilac)}.status-frozen,.status-connected{color:#28634d;background:var(--da-fern-mist)}.paper-facts{margin-top:18px}.paper-facts summary{font-size:15px}.paper-facts ul{margin:10px 0 0;padding-left:20px;font-size:15px;display:grid;gap:6px}.problem-sources{margin-top:16px;font-size:15px}.catalog-note{margin:0 0 22px;max-width:72ch;padding:12px 16px;border-radius:10px;background:#fbf3d2;font-size:15px}.catalog-note strong{color:var(--da-ochre)}#labels th[scope=row]{font-size:15px;white-space:nowrap}
@media(max-width:1000px){.problems-grid{grid-template-columns:1fr}}@media(max-width:760px){.problem{padding:22px}#labels th[scope=row]{white-space:normal}}
.problem-formal{margin-top:18px;padding:14px 16px;border-radius:10px;background:#ffffffb3;display:grid;gap:8px}.problem-formal .block-label{font-size:14px;font-weight:600;color:var(--da-ink-muted)}.problem .problem-formal p{font-size:15px;color:var(--da-ink)}.problem .problem-formal p.formal-scope{padding:10px 12px;border-radius:8px;background:#fbf3d2;border-left:3px solid var(--da-ochre);font-size:15px}.problem-status{gap:6px}.problem-status .status-label{font-weight:600;color:var(--da-ink);margin-right:4px}.problem>p.problem-note{font-size:14px;margin-top:10px}.problem-sources{list-style:none;padding:0;margin:16px 0 0;display:grid;gap:6px;font-size:15px}.downloads{list-style:none;padding:0;margin:0;display:grid;gap:0;max-width:900px}.downloads li{display:flex;flex-wrap:wrap;gap:4px 14px;align-items:baseline;padding:12px 0;border-top:1px solid var(--da-divider);font-size:16px}.downloads li>span:not(.fine){color:var(--da-ink-muted)}.downloads code{font-size:14px}.catalog-note .stale{color:var(--da-ochre)}
.review-status{margin-top:22px;max-width:72ch;font-size:16px;color:var(--da-ink-muted)}.review-status strong{color:var(--da-ink)}
.problems-grid.single{grid-template-columns:minmax(0,1fr)}@media(min-width:1001px){.problems-grid.single .problem>p,.problems-grid.single .problem-formal{max-width:72ch}.problems-grid.single .problem-facts{grid-template-columns:repeat(2,minmax(0,1fr));column-gap:36px}}
.deferred-files{margin-top:22px;max-width:900px}.deferred-files summary{font-size:16px;color:var(--da-ink-muted)}.deferred-files .downloads{margin-top:8px}