/* The Taiko research companion: finite structures and their constraints. */
.taiko-study{--taiko-warm:#e8c58e;--taiko-mint:#c8edb3;max-width:58rem;margin:0 auto}
.taiko-study .taiko-opening{font:normal clamp(1.55rem,2.5vw,2rem)/1.45 var(--serif);letter-spacing:-.02em;color:var(--ink);margin-top:1rem}
.taiko-study>section{margin-top:3.6rem;scroll-margin-top:2rem}
.taiko-study h2{font:normal clamp(1.6rem,2.5vw,2rem)/1.25 var(--serif);letter-spacing:-.025em;margin-bottom:1.25rem}
.taiko-study p{max-width:48rem}
.taiko-study .taiko-small{font-size:.85rem;line-height:1.75;color:var(--muted)}
.taiko-regimes-wrap{overflow-x:auto;margin:1.4rem 0 1.8rem}
.taiko-regimes{width:100%;border-collapse:collapse;font-size:.87rem;line-height:1.65;margin:0}
.taiko-regimes caption{text-align:left;font:.7rem/1.6 var(--refactor-mono);color:var(--muted);margin-bottom:.65rem}
.taiko-regimes th,.taiko-regimes td{padding:.65rem .9rem;text-align:left;border:1px solid var(--line);background:var(--wash)}
.taiko-regimes th{color:var(--ink);font-weight:500}
.taiko-regimes td{color:var(--muted)}
.taiko-study sup{font-size:.65em}
.taiko-study sub{font-size:.72em}
.taiko-contents{border-top:1px solid var(--line);border-bottom:1px solid var(--line);margin:2.5rem 0 3rem;padding:1.25rem 0}
.taiko-contents .eyebrow{display:block;margin-bottom:.7rem}
.taiko-contents ol{display:grid;grid-template-columns:1fr 1fr;gap:.55rem 2rem;margin:.4rem 0 0;padding-left:1.3rem;font-size:.87rem;line-height:1.65}
.taiko-theorem{border-left:3px solid var(--taiko-mint);background:var(--wash);padding:1.4rem 1.7rem;margin:1.7rem 0}
.taiko-theorem>p:nth-child(2){font:normal 1.35rem/1.55 var(--serif);margin:.65rem 0 1rem}
.taiko-theorem>p:last-child{margin-bottom:0}
.taiko-study .taiko-figure{border:1px solid var(--line);background:var(--wash);padding:1.4rem;margin:2rem 0}
.taiko-study figcaption{font-size:.79rem;line-height:1.7;color:var(--muted);margin-top:1.1rem;text-align:left;max-width:none}
.taiko-board-layout{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:1.6rem;align-items:center}
.taiko-board-wrap{overflow-x:auto}
.taiko-board{border-collapse:separate;border-spacing:3px;width:100%;font:1rem/1.4 var(--refactor-mono);margin:0}
.taiko-board caption{text-align:left;color:var(--ink);font:.72rem/1.5 var(--refactor-mono);letter-spacing:.06em;margin-bottom:.7rem}
.taiko-board th,.taiko-board td{border:0;padding:.55rem .25rem;text-align:center;white-space:nowrap}
.taiko-board th{color:var(--muted);font-weight:400;background:none}
.taiko-board td{border:1px solid var(--frame);border-radius:2px;color:var(--ink)}
.taiko-board .taiko-o{background:#3e392b;border-color:#b9a46a}
.taiko-board .taiko-g{background:#223d34;border-color:#739e82}
.taiko-board .taiko-b{background:#253844;border-color:#7895ab}
.taiko-board .taiko-p{background:#3b2f44;border-color:#a18cae}
.taiko-board-note p{font-size:.83rem;line-height:1.7;margin:.5rem 0 1rem}
.taiko-incidence-svg{display:block;width:100%;height:auto;max-width:41rem;margin:0 auto}
.taiko-svg-line path{fill:none;stroke:var(--frame);stroke-width:2}
.taiko-svg-color rect{fill:#3e392b;stroke:#b9a46a;stroke-width:1.5}
.taiko-svg-point circle{fill:var(--paper);stroke:var(--taiko-mint);stroke-width:2}
.taiko-svg-text text{fill:var(--ink);font:18px var(--refactor-mono)}
.taiko-svg-text .taiko-svg-annotation{fill:var(--muted);font:14px var(--sans)}
@media(max-width:700px){.taiko-svg-text text{font-size:30px}.taiko-svg-text .taiko-svg-annotation{font-size:26px}}
.taiko-study .taiko-equation{padding:1.05rem 1.3rem;border-left:2px solid var(--frame);background:var(--wash);font:1.18rem/1.7 var(--serif);margin:1.5rem 0;overflow-x:auto;white-space:nowrap}
.taiko-study .taiko-equation:focus-visible{outline:2px solid var(--taiko-mint);outline-offset:3px}
.taiko-checks{display:grid;grid-template-columns:1fr 1fr;border-top:1px solid var(--line);border-left:1px solid var(--line);margin:1.8rem 0}
.taiko-checks>div{padding:1.2rem;border-right:1px solid var(--line);border-bottom:1px solid var(--line);display:flex;flex-direction:column;gap:.45rem;background:var(--wash)}
.taiko-checks .taiko-check-label{font:.68rem/1.5 var(--refactor-mono);letter-spacing:.045em;color:var(--muted)}
.taiko-checks strong{font:normal 1.45rem/1.35 var(--serif);color:var(--taiko-mint)}
.taiko-checks>div>span:last-child{font-size:.8rem;line-height:1.6;color:var(--muted)}
.taiko-checks .taiko-check-fails{background:#2b241e}
.taiko-checks .taiko-check-fails strong{color:var(--taiko-warm)}
.taiko-count-figure{padding:1.5rem 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line);margin:1.8rem 0}
.taiko-count{display:grid;grid-template-columns:1fr 3rem 1fr;gap:1rem;align-items:center;text-align:center}
.taiko-count>div{display:flex;flex-direction:column;align-items:center}
.taiko-count strong{font:normal clamp(3.8rem,8vw,6rem)/1 var(--serif);color:var(--taiko-warm)}
.taiko-count>div:last-child strong{color:var(--taiko-mint)}
.taiko-count span{font-size:.84rem;line-height:1.65;color:var(--muted);margin-top:.7rem}
.taiko-count .taiko-count-symbol{font:normal 2rem var(--serif);color:var(--muted)}
.taiko-details{border:1px solid var(--line);padding:0 1.3rem;background:var(--wash);margin:1.5rem 0}
.taiko-details summary{font:500 .88rem/1.6 var(--sans);cursor:pointer;padding:1.1rem 0;color:var(--blue)}
.taiko-details[open] summary{border-bottom:1px solid var(--line);margin-bottom:1rem}
.taiko-details .taiko-equation{padding:.7rem 0;border:0;background:none;font-size:1.15rem}
.taiko-frontier{display:grid;grid-template-columns:1fr 1fr;border-top:1px solid var(--line);border-bottom:1px solid var(--line);margin:1.6rem 0}
.taiko-frontier>div{padding:1.4rem 1.5rem 1rem 0}
.taiko-frontier>div+div{border-left:1px solid var(--line);padding-left:1.5rem}
.taiko-frontier h3{font:normal 1.25rem/1.5 var(--serif);color:var(--ink);margin:.6rem 0}
.taiko-frontier>div:first-child .eyebrow{color:var(--taiko-warm)}
.taiko-frontier>div:last-child .eyebrow{color:var(--taiko-mint)}
.taiko-frontier p:not(.eyebrow){font-size:.83rem;line-height:1.7;color:var(--muted)}
.taiko-study .taiko-sources{padding-top:1.3rem;border-top:1px solid var(--line)}
.taiko-sources ol{font-size:.85rem;line-height:1.8;padding-left:1.35rem}
.taiko-sources li{padding-left:.3rem;margin-bottom:1rem;scroll-margin-top:2rem}
.taiko-sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}
@media(max-width:700px){.taiko-contents ol{grid-template-columns:1fr;gap:.45rem}.taiko-board-layout{grid-template-columns:1fr}.taiko-board{max-width:28rem}.taiko-study .taiko-figure{padding:1rem}.taiko-theorem{padding:1.1rem 1.2rem}.taiko-count{grid-template-columns:1fr 2rem 1fr;gap:.4rem}.taiko-count span{font-size:.75rem}.taiko-frontier{grid-template-columns:1fr}.taiko-frontier>div+div{border-left:0;border-top:1px solid var(--line);padding-left:0}.taiko-frontier>div{padding:1.2rem 0}.taiko-checks{grid-template-columns:1fr}.taiko-checks>div{padding:1rem}.taiko-study .taiko-equation{font-size:1.05rem;padding:.8rem 1rem}.taiko-study>section{margin-top:2.8rem}}
@media print{.taiko-study{--ink:#111;--muted:#444;--paper:#fff;--wash:#fff;--line:#aaa;--frame:#666;--blue:#153647;--taiko-mint:#254c35;--taiko-warm:#644619}.taiko-study .taiko-board td,.taiko-checks .taiko-check-fails{background:#fff;color:#111}.taiko-svg-color rect{fill:#fff;stroke:#666}.taiko-figure,.taiko-count-figure,.taiko-regimes-wrap{break-inside:avoid}.taiko-study>section{margin-top:2rem}}