.door-coverage-page{--coverage-paper:#f4efe6;--coverage-ink:#1a1a1a;--coverage-line:#cfc4b4;--coverage-blue:#2b617f}.door-coverage-page details{margin:1.2rem 0}.door-coverage-page summary{cursor:pointer;font-weight:600}.coverage-controls{flex-wrap:wrap;align-items:end;gap:1rem;margin:1rem 0;display:flex}.coverage-controls label{flex-direction:column;gap:.4rem;max-width:100%;display:flex}.coverage-controls input,.coverage-controls select,.coverage-controls button,.coverage-controls>button{font:inherit;color:var(--coverage-ink);border:1px solid var(--coverage-line);background:#fffaf3;border-radius:.3rem;max-width:100%;min-height:44px;padding:.55rem .7rem}.coverage-controls button{cursor:pointer}.coverage-controls input{width:10rem}.coverage-gap-chart{width:100%;display:block}.coverage-gap-chart text{fill:var(--coverage-ink);font:12px system-ui,sans-serif}.coverage-frame{fill:none;stroke:var(--coverage-line)}.coverage-axis{stroke:var(--coverage-line)}.coverage-zone{fill:var(--coverage-blue);opacity:.045}.coverage-zone.alternate{opacity:.12}.coverage-prime{fill:var(--coverage-blue)}.coverage-composite{fill:var(--coverage-paper);stroke:#70695e;stroke-width:1.3px}.coverage-selected{fill:none;stroke:var(--coverage-ink);stroke-width:1.5px}.coverage-hit{cursor:pointer}.coverage-inspection{border-left:3px solid var(--coverage-blue);margin:1rem 0;padding-left:1rem}.coverage-inspection p{margin:.4rem 0}.coverage-decimal{overflow-wrap:anywhere;font-family:monospace}.door-coverage-page .door-table{font-variant-numeric:tabular-nums}@media (width<=480px){.coverage-controls{gap:.75rem}.coverage-controls label{flex:120px}}*,:before,:after{box-sizing:border-box}html,body,#root{color:#1a1a1a;background:#f4efe6;height:100%;margin:0;font-family:Georgia,Palatino,serif}body{overflow:hidden}:root{--app-sidebar-open:max(20rem, 20vw);--page-width:980px;--prose-width:42rem}.app-shell{align-items:stretch;height:100%;min-height:100dvh;max-height:100dvh;display:flex;overflow:hidden}.nav-burger{z-index:80;cursor:pointer;background:#fff;border:1px solid #e2d8c8;border-radius:999px;justify-content:center;align-items:center;width:2.5rem;height:2.5rem;padding:0;display:inline-flex;position:fixed;top:.75rem;left:1.25rem}.burger-lines{width:1.15rem;height:.85rem;display:block;position:relative}.burger-lines span{background:#1a1a1a;width:100%;height:1px;transition:transform .2s,opacity .2s;display:block;position:absolute;left:0}.burger-lines span:first-child{top:0}.burger-lines span:nth-child(2){top:.35rem}.burger-lines span:nth-child(3){top:.7rem}.burger-lines.open span:first-child{top:.35rem;transform:rotate(45deg)}.burger-lines.open span:nth-child(2){opacity:0}.burger-lines.open span:nth-child(3){top:.35rem;transform:rotate(-45deg)}.app-sidebar{background:#fffaf3;border-right:1px solid #0000;flex:0 0 0;width:0;height:100%;transition:flex-basis .28s,width .28s,border-color .28s;position:relative;overflow:visible}.app-shell.menu-open .app-sidebar{flex-basis:var(--app-sidebar-open);width:var(--app-sidebar-open);border-right-color:#e2d8c8}.nav-brand-dock,.app-sidebar-brand{z-index:70;align-items:center;height:2.5rem;display:flex;position:fixed;top:.75rem;left:4.6rem}.nav-brand-dock.hidden{visibility:hidden;pointer-events:none}.nav-brand{color:#1f4e79;letter-spacing:.02em;white-space:nowrap;font-size:1.05rem;text-decoration:none}.app-shell.menu-open .app-sidebar-brand{z-index:75}.app-sidebar-inner{width:var(--app-sidebar-open);overscroll-behavior:contain;box-sizing:border-box;height:100%;padding:4rem 1.35rem 2.25rem;overflow:hidden auto}.app-shell:not(.menu-open) .app-sidebar-inner{visibility:hidden;pointer-events:none}.app-main{overscroll-behavior:contain;flex-direction:column;flex:auto;min-width:0;height:100%;min-height:0;display:flex;overflow:hidden auto}.nav-bar-spacer{flex-shrink:0;height:3.5rem}.nav-about{border-bottom:1px solid #e2d8c8;margin:0 0 1.35rem;padding-bottom:1rem}.nav-about-name{color:#1a1a1a;margin:0 0 .35rem;font-size:.95rem}.nav-about-name a{color:#1f4e79;text-decoration:none}.nav-about-name a:hover{text-decoration:underline}.nav-about-blurb{color:#6b5e4e;margin:0;font-size:.82rem;line-height:1.45}.nav-about-repo{color:#1f4e79;align-items:center;gap:.4rem;margin:.45rem 0 0;font-size:.82rem;line-height:1.45;text-decoration:none;display:inline-flex}.nav-about-repo:hover{text-decoration:underline}.nav-github-icon{color:#1a1a1a;flex-shrink:0}.nav-about-blurb code{font-size:.78em}.nav-section-blurb{color:#8a7b68;margin:.15rem 0 .55rem;font-size:.78rem;line-height:1.4}.nav-drill{cursor:pointer;width:100%;font:inherit;text-align:left;color:#6b5e4e;background:0 0;border:0;justify-content:space-between;align-items:center;gap:.5rem;margin:0;padding:.15rem 0;display:flex}.nav-drill-label{letter-spacing:.08em;text-transform:uppercase;color:#1a1a1a;font-size:.95rem;font-weight:600}.nav-drill.sub .nav-drill-label{letter-spacing:.06em;color:#7a6c5a;font-size:.7rem}.nav-drill-chevron{border-bottom:1.5px solid #6b5e4e;border-right:1.5px solid #6b5e4e;flex-shrink:0;width:.45rem;height:.45rem;transition:transform .18s;transform:rotate(-45deg)}.nav-drill.on .nav-drill-chevron{transform:rotate(45deg)}.nav-drill-body{margin-top:.2rem}.nav-sub{margin:.65rem 0 .15rem;padding-left:.15rem}.nav-group-label{letter-spacing:.08em;text-transform:uppercase;color:#1a1a1a;margin-bottom:.35rem;font-size:.95rem;font-weight:600}.nav-links.stacked{flex-direction:column;gap:.1rem;width:100%;display:flex}.nav-links.stacked .nav-link{text-align:left;color:#3a3228;background:0 0;border:none;border-radius:0;align-items:center;gap:.4rem;padding:.32rem 0;font-size:.86rem;text-decoration:none;display:flex}.nav-pdf-icon{color:#9a2f38;flex-shrink:0;width:.78rem;height:.9rem;margin-top:-.08em}.nav-links.stacked .nav-link.on{color:#1f4e79;background:0 0;border:none;font-weight:600;text-decoration:underline}.nav-link{color:#1a1a1a;font:inherit;background:#fffaf3;border:1px solid #e2d8c8;border-radius:8px;padding:.3rem .7rem;font-size:.92rem;text-decoration:none}.nav-link.on{color:#fff;background:#1f4e79;border-color:#1f4e79}.nav-drawer-section{margin-bottom:1.25rem}.nav-scrim{display:none}@media (width<=900px){.app-shell{height:100%;max-height:100dvh;display:block;overflow:hidden}.app-main{height:100%;overflow-y:auto}.app-sidebar{z-index:60;border-right:1px solid #e2d8c8;height:100dvh;transition:transform .28s;position:fixed;top:0;left:0;overflow:hidden;transform:translate(-105%);box-shadow:0 25px 50px #0003;flex-basis:auto!important;width:min(20rem,88vw)!important}.app-shell.menu-open .app-sidebar{transform:translate(0);width:min(20rem,88vw)!important}.app-sidebar-inner{width:100%;padding-top:4rem}.nav-burger{z-index:80}.app-sidebar-brand{z-index:70}.nav-scrim{z-index:50;opacity:0;pointer-events:none;background:#00000059;border:none;padding:0;transition:opacity .25s;display:block;position:fixed;inset:0}.nav-scrim.on{opacity:1;pointer-events:auto}}.page{max-width:var(--page-width);box-sizing:border-box;width:100%;margin:0 auto;padding:.5rem 1.25rem 2.5rem}h1{color:#1a1a1a;margin:0 0 .35rem;font-size:1.25rem;font-weight:400}h2{color:#1f4e79;margin:1.4rem 0 .6rem;font-size:1.1rem;font-weight:400}.lede{color:#7a7468;max-width:var(--prose-width);margin:0 0 1rem;font-size:.95rem;line-height:1.45}.value{color:#9a2f38;text-align:center;margin:.4rem 0 .15rem;font-size:2.4rem}.expr{color:#7a7468;text-align:center;margin-bottom:.35rem;font-size:.95rem}.rule{text-align:center;color:#1f4e79;min-height:1.2em;margin-bottom:.6rem;font-size:.9rem}.graph3d{background:#f4efe6;height:460px}.graph2d{background:#f4efe6;height:280px;margin-top:.5rem}.panel{margin-top:.9rem}label.row{justify-content:space-between;align-items:center;gap:1rem;margin-top:.65rem;display:flex}input[type=range]{accent-color:#1f4e79;width:100%}input[type=checkbox]{accent-color:#1f4e79;width:1.1rem;height:1.1rem}.hint{color:#7a7468;margin-top:.5rem;font-size:.85rem;line-height:1.4}.actions{flex-wrap:wrap;gap:.5rem;margin-top:.7rem;display:flex}.actions button{color:#fff;font:inherit;cursor:pointer;background:#1f4e79;border:0;border-radius:8px;padding:.4rem .8rem}.actions button:hover{filter:brightness(1.08)}select{font:inherit;background:#fffaf3;border:1px solid #e2d8c8;border-radius:6px;padding:.25rem .4rem}.split-readout{grid-template-columns:repeat(auto-fit,minmax(140px,1fr));gap:.6rem;margin:.6rem 0 .9rem;display:grid}.split-readout>div{background:#fffaf3;border:1px solid #e2d8c8;border-radius:10px;padding:.55rem .7rem}.kv-label{color:#7a7468;font-size:.8rem}.kv-value{color:#9a2f38;margin-top:.15rem;font-size:1.15rem}.notes blockquote{color:#1a1a1a;background:#fffaf3;border-left:3px solid #1f4e79;margin:.6rem 0 1rem;padding:.7rem 1rem}.notes .benefits,.notes ul{color:#1a1a1a;max-width:var(--prose-width);line-height:1.5}.notes li{margin-bottom:.65rem}.notes p{max-width:var(--prose-width);line-height:1.5}.solve-grid{grid-template-columns:repeat(auto-fit,minmax(280px,1fr));gap:1rem;margin-top:.5rem;display:grid}.solve-panel{background:#fffaf3;border:1px solid #e2d8c8;border-radius:12px;padding:.9rem 1rem 1.1rem}.solve-panel h2{margin-top:0}.catalogue-list{flex-direction:column;gap:1rem;margin-top:1rem;display:flex}.catalogue-card{background:#fffaf3;border:1px solid #e2d8c8;border-radius:12px;padding:1rem 1.1rem 1.1rem}.catalogue-card.grade-clean{border-left:4px solid #1f4e79}.catalogue-card.grade-calligraphy{border-left:4px solid #c45c26}.catalogue-card.grade-refuses{border-left:4px solid #9a2f38}.catalogue-card-head{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.75rem;display:flex}.catalogue-card-head h2{color:#1a1a1a;margin:0;font-size:1.1rem}.grade-pill{background:#f4efe6;border:1px solid #e2d8c8;border-radius:999px;padding:.15rem .55rem;font-size:.8rem}.grade-pill.grade-clean{color:#1f4e79;border-color:#1f4e79}.grade-pill.grade-calligraphy{color:#c45c26;border-color:#c45c26}.grade-pill.grade-refuses{color:#9a2f38;border-color:#9a2f38}.catalogue-forms{grid-template-columns:1fr 1fr;gap:.75rem;margin:.75rem 0;display:grid}@media (width<=700px){.catalogue-forms{grid-template-columns:1fr}}.catalogue-formula{color:#9a2f38;word-break:break-word;font-size:1.05rem}.catalogue-alphabet{color:#7a7468;margin:0 0 .5rem;font-size:.9rem}.catalogue-beat{color:#1f4e79;border-top:1px dashed #e2d8c8;margin:.6rem 0 0;padding-top:.55rem;font-size:.95rem}.modes{flex-wrap:wrap;gap:.5rem;display:flex}code.pow sup{vertical-align:super;font-size:.68em;line-height:0}.eyebrow{letter-spacing:.04em;text-transform:uppercase;color:#6b5e4e;margin:0 0 .35rem;font-size:.85rem}.home-lead{background:#fffaf3;border:1px solid #e2d8c8;border-radius:10px;margin:1rem 0 1.5rem;padding:1rem 1.15rem}.home-actions{flex-wrap:wrap;align-items:center;gap:.45rem;margin:.85rem 0 0;display:flex}.hire-intro{max-width:none;margin:1rem 0 .35rem}.hire-intro h2{color:#1f4e79;margin:0 0 .55rem;font-size:1.15rem}.hire-intro p{color:#1a1a1a;margin:0 0 .75rem;line-height:1.5}.figure-block{max-width:100%;margin:1.1rem 0 1.4rem;padding:0}.figure-block img{background:#0f1c2e;border:1px solid #c8bfb0;border-radius:8px;width:100%;max-width:100%;height:auto;display:block}.figure-caption{color:#6b5e4e;margin:.55rem 0 0;padding:0 .15rem;font-size:.9rem;line-height:1.45}.figure-grid{grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:.85rem;margin:.85rem 0 1.4rem;display:grid}.figure-grid .figure-block{margin:0}.figure-grid img{border-radius:6px}.basins-page{flex-direction:column;width:100%;max-width:none;min-height:calc(100vh - 4.5rem);display:flex}.basins-page>h1,.basins-page>p{max-width:var(--prose-width)}.basins-panel{color:#1a1a1a;background:0 0;border-radius:0;flex-direction:column;flex:auto;min-height:0;padding:.25rem 0 .5rem;display:flex}.basins-panel svg,.basins-svg{background:0 0;flex:auto;width:100%;height:calc(100vh - 15rem);min-height:68vh;display:block}.basins-panel text{fill:#1a1a1a;pointer-events:none;font-family:Georgia,Palatino,serif}.basins-readout{color:#1a1a1a;min-height:2.6rem;font-family:Georgia,Palatino,serif;font-size:.92rem;line-height:1.4}.basins-slider{color:#1a1a1a;align-items:center;gap:.8rem;margin:0 0 .35rem;font-family:Georgia,Palatino,serif;font-size:.95rem;display:flex}.basins-slider span{min-width:8.5rem}.basins-slider input[type=range]{accent-color:#d4a017;flex:1;min-width:8rem}.basins-legend{color:#1a1a1a;flex-wrap:wrap;align-items:center;gap:.35rem 1.2rem;margin:.15rem 0 .55rem;padding:0;font-family:Georgia,Palatino,serif;font-size:.88rem;list-style:none;display:flex}.basins-legend li{align-items:center;display:flex}.basins-legend .dot{border-radius:50%;width:.72rem;height:.72rem;margin-right:.4rem;display:inline-block}.basins-legend .dot.fermat{background:#d4a017}.basins-legend .dot.mersenne{background:#c45c26}.basins-legend .dot.fork{background:#3dba7a}.basins-hit{cursor:pointer}.basins-toolbar{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.5rem 1rem;margin:.15rem 0 .55rem;display:flex}.basins-toolbar .basins-legend{margin:0}.basins-reset{color:#1a1a1a;cursor:pointer;background:#fffaf3;border:1px solid #c8bfb0;border-radius:6px;padding:.25rem .65rem;font-family:Georgia,Palatino,serif;font-size:.85rem}.basins-reset:hover{border-color:#1f4e79}.basins-mode{flex-wrap:wrap;align-items:center;gap:.35rem;display:inline-flex}.basins-toggle{appearance:none;color:#5a5248;cursor:pointer;background:#f7f3ea;border:1px solid #c8bfb0;border-radius:6px;padding:.3rem .7rem;font-family:Georgia,Palatino,serif;font-size:.85rem;line-height:1.3}.basins-toggle:hover{color:#9a2f38;border-color:#9a2f38}.basins-toggle.on{color:#f7f3ea;background:#9a2f38;border-color:#9a2f38}.basins-svg{cursor:grab;touch-action:none}.basins-svg:active{cursor:grabbing}.basins-caption{max-width:var(--prose-width);color:#6b5e4e;margin:0 0 .65rem;font-family:Georgia,Palatino,serif;font-size:.9rem;line-height:1.45}.paper-lean{margin:.5rem 0 1rem;padding-left:1.1rem;line-height:1.5}.paper-lean ul{margin:.25rem 0 .6rem;padding-left:1.1rem}.paper-lean code{font-size:.9em}.paper-page{width:100%;max-width:var(--page-width);margin-inline:auto}.paper-page .paper-abstract,.paper-page .lede{max-width:none;margin-bottom:1.15rem}.paper-page .paper-lean,.paper-page>h1,.paper-page>h2{max-width:none}.paper-page .paper-viewer{width:100%;max-width:none;margin-inline:0}.paper-page .paper-frame{height:min(90vh,1400px)}.paper-viewer{border:1px solid color-mix(in srgb, var(--ink,#2a2418) 18%, transparent);background:#fff;border-radius:6px;width:100%;min-height:70vh;margin:0 0 2rem;overflow:hidden}.paper-frame{border:0;width:100%;height:min(85vh,1100px);display:block}.paper-byline{color:color-mix(in srgb, var(--ink,#2a2418) 62%, transparent);margin:-.35rem 0 .85rem;font-size:.95rem}.hire-beat{margin:1.1rem 0 1.35rem}.hire-beat h2{margin:0 0 .4rem;font-size:1.15rem}.hire-beat p{color:#7a7468;max-width:42em;margin:0 0 .55rem;font-size:.95rem;font-weight:400;line-height:1.45}.hire-beat p strong{color:#7a7468;font-weight:600}.hire-beat .beat-link{margin-top:.2rem;display:inline-block}.door-table-wrap{background:#fffef9;border:1px solid #e2d8c8;border-radius:8px;margin:.75rem 0 .5rem;overflow-x:auto}.door-table{border-collapse:collapse;width:100%;font-size:.88rem}.door-table th,.door-table td{text-align:left;vertical-align:middle;white-space:nowrap;border-bottom:1px solid #ebe3d6;padding:.35rem .55rem}.door-table th{color:#5a4e3e;background:#f7f0e4;font-weight:600;position:sticky;top:0}.door-table tr.sacked td{color:#7a6c5a;background:#f3ebe0}.door-table td.by3{color:#9a8b78}.door-table td.by3 s{-webkit-text-decoration:line-through #9a8b78;text-decoration:line-through #9a8b78;text-decoration-thickness:1.5px}.door-table td.door-cell{color:#1a1a1a}.hire-rate-wrap{max-width:none}.hire-rate-table td:nth-child(n+2),.hire-rate-table th:nth-child(n+2){text-align:right;font-variant-numeric:tabular-nums}.door-tag{letter-spacing:.02em;color:#5a4e3e;vertical-align:middle;background:#e8dcc8;border-radius:4px;margin-left:.4rem;padding:.05rem .35rem;font-size:.72rem;display:inline-block}.door-tag.muted{color:#9a8b78;background:0 0;padding-left:.2rem}.door-tag.sink{color:#2f6b4f;background:#dce8df}.islands-page{width:100%;max-width:none}.islands-page>h1,.islands-page>.lede,.islands-page>.islands-lab-caption,.islands-page>.islands-caption{max-width:var(--prose-width)}.islands-panel{color:#e8e0d0;background:#0f1c2e;border:1px solid #c8bfb0;border-radius:10px;padding:.75rem .9rem 1rem}.islands-toolbar{flex-wrap:wrap;align-items:center;gap:.45rem .7rem;margin:0 0 .45rem;display:flex}.islands-toggle{appearance:none;color:#c8bfb0;cursor:pointer;background:#162338;border:1px solid #5a6a82;border-radius:6px;padding:.35rem .75rem;font-family:Georgia,Palatino,serif;font-size:.92rem;line-height:1.3}.islands-toggle:hover{color:#e8e0d0;border-color:#d4a017}.islands-toggle.on{color:#0f1c2e;background:#d4a017;border-color:#d4a017}.islands-status{color:#c8bfb0;margin-left:.25rem;font-family:Georgia,Palatino,serif;font-size:.88rem}.islands-readout{color:#e8e0d0;min-height:1.5rem;margin:0 0 .45rem;font-family:Georgia,Palatino,serif;font-size:.92rem;line-height:1.4}.islands-svg{background:0 0;width:100%;height:calc(100vh - 16rem);min-height:420px;max-height:640px;display:block}.islands-panel text,.islands-cluster-label{fill:#e8e0d0;pointer-events:none;font-family:Georgia,Palatino,serif}.islands-cluster-label{fill:#8aa4c8;letter-spacing:.04em;font-size:11px}.islands-hit{cursor:pointer}.islands-lab-caption{color:#5c5348;max-width:var(--prose-width);margin:.85rem 0 .35rem;padding:0 .15rem;font-size:.9rem;font-style:italic;line-height:1.45}.islands-caption{margin-top:.35rem}.islands-gold-on,.islands-gold-off{transition:opacity .25s,stroke-width .25s}.islands-bridge-dim{transition:opacity .25s}.islands-blob{cursor:pointer;transition:opacity .2s}.islands-node{transition:opacity .2s}.islands-bernard{max-width:var(--prose-width);color:#1f4e79;margin:-.35rem 0 1rem;font-family:Georgia,Palatino,serif;font-size:1.05rem;line-height:1.4}.islands-cold-body{color:#6b5e4e;font-style:normal}.paper-viewer-placeholder{background:#f7f3ea;border:1px dashed #c8bfb0;justify-content:center;align-items:center;min-height:12rem;margin:1rem 0 1.25rem;display:flex}.paper-placeholder{text-align:center;color:#6b5e4e;max-width:36rem;margin:1.5rem;font-family:Georgia,Palatino,serif;line-height:1.45}.islands-corridor{border-top:1px solid #2a3a52;margin-top:.85rem;padding:.65rem .5rem .35rem}.islands-corridor-head{flex-wrap:wrap;justify-content:space-between;gap:.35rem 1rem;margin-bottom:1.6rem;font-family:Georgia,Palatino,serif;display:flex}.islands-corridor-title{color:#e8e0d0;font-size:.92rem}.islands-corridor-note{color:#8aa4c8;font-size:.8rem}.islands-corridor-rail{height:4.2rem;margin:0 .75rem .35rem;position:relative}.islands-corridor-line{background:linear-gradient(90deg,#5a6a82,#d4a017 72%,#5a6a82);border-radius:1px;height:2px;position:absolute;top:.55rem;left:0;right:0}.islands-corridor-tick{z-index:1;flex-direction:column;align-items:center;width:5.5rem;display:flex;position:absolute;top:0;transform:translate(-50%)}.islands-corridor-dot{background:#c8bfb0;border:2px solid #0f1c2e;border-radius:50%;width:10px;height:10px;margin-bottom:.25rem}.islands-corridor-tick.mark .islands-corridor-dot{background:#d4a017;box-shadow:0 0 0 3px #d4a01759}.islands-corridor-label{color:#e8e0d0;font-family:Georgia,Palatino,serif;font-size:.78rem}.islands-corridor-tick.mark .islands-corridor-label{color:#d4a017;font-weight:600}.islands-corridor-val{color:#8aa4c8;font-variant-numeric:tabular-nums;font-size:.72rem}.islands-corridor-caption{color:#c8bfb0;margin:.35rem .25rem 0;font-family:Georgia,Palatino,serif;font-size:.82rem;line-height:1.4}.alphabet-shell{flex-direction:column;min-height:0;display:flex}.alphabet-tabs{max-width:var(--page-width);box-sizing:border-box;flex-wrap:wrap;align-items:center;gap:.45rem .55rem;width:100%;margin:0 auto;padding:.35rem 1.25rem .65rem;display:flex}.alphabet-tab{appearance:none;color:#1a1a1a;cursor:pointer;background:#fffaf3;border:1px solid #e2d8c8;border-radius:6px;padding:.35rem .75rem;font-family:Georgia,Palatino,serif;font-size:.92rem;line-height:1.3}.alphabet-tab:hover{color:#1f4e79;border-color:#1f4e79}.alphabet-tab.on{color:#fff;background:#1f4e79;border-color:#1f4e79}.alphabet-panel{min-height:0}.alphabet-panel>.page{padding-top:.15rem}.hire-lab-page .hire-lab-hierarchy{max-width:var(--prose-width);color:#6b5e4e;margin:.5rem 0 1.25rem;padding-left:1.25rem;font-family:Georgia,Palatino,serif;font-size:.95rem;line-height:1.5}.hire-lab-page .hire-lab-hierarchy li{margin-bottom:.45rem}.corridor-page .corridor-panel{margin-top:.5rem}.corridor-page .islands-corridor{margin-top:0;padding-top:.75rem}.microscope-page>.lede,.microscope-page>.islands-bernard,.microscope-page>.hire-beat,.microscope-page>.figure-caption{max-width:var(--prose-width)}.microscope-page>.microscope-zone,.microscope-page .microscope-panel,.microscope-page .microscope-rail{box-sizing:border-box;width:100%;max-width:none}.microscope-zone{background:#fffef9;border:1px solid #e2d8c8;border-radius:10px;margin:1.25rem 0 1.5rem;padding:.85rem 1rem 1rem}.microscope-zone .hire-beat{max-width:none}.microscope-zone-head{border-bottom:1px solid #e8dfd0;justify-content:space-between;align-items:baseline;gap:.75rem;margin:0 0 .75rem;padding-bottom:.45rem;display:flex}.microscope-zone-tag{letter-spacing:.08em;text-transform:uppercase;color:#7a6a56;font-size:.78rem;font-weight:700}.microscope-zone-arrow,.microscope-zone-arrows{color:#9a8b78;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:1.1rem}.microscope-zone-arrows{flex-direction:column;gap:.05rem;line-height:1;display:inline-flex}.microscope-up{background:linear-gradient(#f7f0e4 0%,#fffef9 42%);border-color:#d4c4a8}.microscope-hub{color:#e8e0d0;background:#0f1c2e;border-color:#2a3a52;max-width:none}.microscope-hub .microscope-zone-tag{color:#c8bfb0}.microscope-hub .microscope-zone-arrows{color:#e8c07a}.microscope-hub-box{color:#e8e0d0;background:0 0;border:1px solid #3a4a62;max-width:none}.microscope-hub-box p{color:#f0e8d8}.microscope-hub-box ul{color:#c8bfb0}.microscope-hub-box strong{color:#e8c07a}.microscope-down{background:linear-gradient(#fffef9 52%,#f0ebe3 100%);border-color:#c8bfb0}.microscope-id-box{background:#fffef9;border:1px solid #e2d8c8;border-radius:8px;max-width:none;padding:.75rem 1rem}.microscope-id-box p{color:#1a1a1a;margin:0 0 .45rem;font-size:1.02rem}.microscope-id-box ul{color:#5c5348;margin:0;padding-left:1.15rem;font-size:.95rem;line-height:1.45}.microscope-id-box li{margin:.2rem 0}.microscope-panel{max-width:none;margin-top:.35rem}.microscope-page .microscope-rail{margin-top:0;padding-top:.75rem}.microscope-life-wrap{max-width:48rem}.microscope-life-table td.microscope-note{white-space:normal;text-align:left;color:#7a7468;font-size:.86rem}.microscope-life-table tr.microscope-mark td{background:#f7f0e4;font-weight:600}.microscope-punch-box{color:#e8e0d0;background:#0f1c2e;border:1px solid #c8bfb0;border-radius:8px;max-width:none;padding:.85rem 1rem}.microscope-punch-box p{color:#e8e0d0;max-width:none;margin:0 0 .45rem;font-size:.98rem;line-height:1.45}.microscope-punch-box p:last-child{color:#c8bfb0;margin-bottom:0}.microscope-cert-slot{background:#f7f3ea;border:1px solid #c8bfb0;border-radius:8px;max-width:none;padding:.85rem 1rem}.microscope-cert-filled{background:#f3ecdc;border-style:solid;border-color:#b8a888}.microscope-cert-lead{color:#5a4e3e;margin:0 0 .55rem;font-family:Georgia,Palatino,serif;font-size:1.02rem}.microscope-cert-readout{grid-template-columns:1fr 1fr;gap:.65rem 1rem;margin:0 0 .55rem;display:grid}.microscope-cert-readout dt{letter-spacing:.04em;text-transform:uppercase;color:#9a8b78;margin:0 0 .15rem;font-size:.78rem}.microscope-cert-readout dd{color:#1a1a1a;background:#fffef9;border:1px solid #e2d8c8;border-radius:4px;min-height:1.6rem;margin:0;padding:.35rem .5rem;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:1.05rem}.microscope-cert-bullets{color:#5c5348;margin:0 0 .55rem;padding-left:1.15rem;font-size:.92rem;line-height:1.45}.microscope-cert-bullets li{margin:.2rem 0}.microscope-cert-empty{color:#9a8b78;font-style:italic}.microscope-down-box{background:#fffef9;border:1px solid #e2d8c8;border-radius:8px;max-width:none;padding:.75rem 1rem}.microscope-down-box ul{color:#5c5348;margin:0 0 .55rem;padding-left:1.15rem;font-size:.95rem;line-height:1.45}.microscope-down-box li{margin:.25rem 0}.microscope-gold-collapse p{color:#5a4e3e;margin:0;font-size:.98rem;line-height:1.45}.microscope-shadow-chain{color:#3a3228;letter-spacing:.01em;white-space:nowrap;background:#faf6ee;border:2px solid #c8a86a;border-radius:6px;margin:.35rem 0 .55rem;padding:.65rem .75rem;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.92rem;overflow-x:auto}.microscope-falsifier-table td{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.9rem}@media (width<=560px){.microscope-cert-readout{grid-template-columns:1fr}.microscope-shadow-chain{white-space:normal}}.lab-note-page>.lede,.lab-note-page>.islands-bernard,.lab-note-page>.lab-note-hierarchy,.lab-note-page>.lab-note-caveats{max-width:var(--prose-width)}.lab-note-page .lab-note-hierarchy-list{max-width:var(--prose-width);color:#5a5348;margin:.35rem 0 .6rem 1.25rem;padding:0;font-size:.95rem;line-height:1.5}.lab-note-page .lab-note-hierarchy-list li{margin:.25rem 0}.lab-note-page .hire-rate-wrap{max-width:none}.lab-note-caveats{max-width:var(--prose-width);background:#faf6ef;border-top:1px solid #e2d8c8;border-left:3px solid #c8bfb0;margin:1.75rem 0 .5rem;padding:.75rem .9rem}.lab-note-caveats p{color:#5a5348;margin:0;font-size:.92rem;line-height:1.45}.lab-theorem{max-width:var(--prose-width);background:#faf6ef;border:1px solid #c8bfb0;margin:1.1rem 0 1.25rem;padding:.95rem 1.15rem 1.05rem}.lab-theorem p{text-align:center;color:#1a1a1a;margin:0;font-size:1.05rem;line-height:1.55}.lab-theorem-implies{margin-top:.45rem!important}.certs-receipt-wrap{max-width:none}.certs-catalog-wrap{overflow-x:auto}.certs-catalog{font-size:.88rem}.certs-catalog td:nth-child(2){white-space:nowrap}.certs-skipped td{color:#9a8b78}.certs-receipt td:first-child,.certs-receipt th:first-child,.certs-receipt td:nth-child(2),.certs-receipt th:nth-child(2),.certs-receipt td:nth-child(3),.certs-receipt th:nth-child(3){font-variant-numeric:tabular-nums}.certificates-page .certs-receipt td:nth-child(n+3),.certificates-page .certs-receipt th:nth-child(n+3){font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.9rem}.toy-panel{background:#fffaf3;border:1px solid #e2d8c8;margin:1rem 0 1.4rem;padding:.9rem 1.1rem 1.1rem}.toy-grid{grid-template-columns:1fr 1fr;gap:.65rem 1.1rem;display:grid}@media (width<=700px){.toy-grid{grid-template-columns:1fr}}.toy-readout{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.88rem}.toy-chsh{border-top:1px solid #e2d8c8;margin-top:1rem;padding-top:.8rem}.toy-s{color:#1f4e79;font-size:1.7rem}.toy-canvas{cursor:crosshair;background:#111;border:1px solid #e2d8c8;max-width:100%;height:auto;margin:1rem auto .35rem;display:block}.toy-probe{border-top:1px solid #e2d8c8;margin-top:.9rem;padding-top:.8rem}.toy-trace{overflow:hidden}.toy-panel select,.toy-panel input[type=number]{width:100%;font:inherit;background:#fff;border:1px solid #e2d8c8;margin-top:.2rem;padding:.28rem .45rem}.note-fig{border:1px solid #e2d8c8;max-width:100%;height:auto;margin:.6rem 0 .25rem;display:block}.notes ul{max-width:var(--prose-width)}