.StatementLineagePanel-module__h6fDLq__root{--lineage-ink:#071b23;--lineage-muted:#5d6c72;--lineage-rule:#23424b33;--lineage-accent:#0b6170;color:var(--lineage-ink)}.StatementLineagePanel-module__h6fDLq__topline{border-bottom:1px solid var(--lineage-rule);justify-content:space-between;align-items:flex-end;gap:1rem;padding:0 1rem;display:flex}.StatementLineagePanel-module__h6fDLq__tabs{flex:1;grid-template-columns:repeat(3,minmax(0,1fr));min-width:0;display:grid}.StatementLineagePanel-module__h6fDLq__tab{min-width:0;color:var(--lineage-muted);text-align:left;text-overflow:ellipsis;white-space:nowrap;padding:.8rem .35rem .72rem;font-size:.75rem;font-weight:520;line-height:1.2;transition:color .14s;position:relative;overflow:hidden}.StatementLineagePanel-module__h6fDLq__tab:hover,.StatementLineagePanel-module__h6fDLq__tab:focus-visible{color:var(--lineage-ink)}.StatementLineagePanel-module__h6fDLq__tab:focus-visible{outline-offset:-2px;outline:2px solid #0b617073}.StatementLineagePanel-module__h6fDLq__tab[aria-selected=true]{color:var(--lineage-ink);font-weight:680}.StatementLineagePanel-module__h6fDLq__tab[aria-selected=true]:after{background:var(--lineage-accent);content:"";height:2px;position:absolute;bottom:-1px;left:.35rem;right:.35rem}.StatementLineagePanel-module__h6fDLq__count{color:var(--lineage-muted);white-space:nowrap;flex:none;padding-bottom:.72rem;font-size:.68rem}.StatementLineagePanel-module__h6fDLq__body{padding:1rem}.StatementLineagePanel-module__h6fDLq__sourceHeader{grid-template-columns:minmax(0,1fr) auto;align-items:start;gap:.75rem 1rem;display:grid}.StatementLineagePanel-module__h6fDLq__sourceTitle{font-family:var(--font-serif,Georgia, serif);letter-spacing:-.01em;margin:0;font-size:1.02rem;font-weight:700;line-height:1.28}.StatementLineagePanel-module__h6fDLq__byline,.StatementLineagePanel-module__h6fDLq__provenance{color:#344b54;margin-top:.28rem;font-size:.73rem;line-height:1.45}.StatementLineagePanel-module__h6fDLq__provider{color:var(--lineage-accent)}.StatementLineagePanel-module__h6fDLq__previewLink{background:#fff;border:1px solid #1f394145;border-radius:.25rem;width:5.6rem;height:7.4rem;display:block;overflow:hidden;box-shadow:0 .7rem 1.6rem -1.2rem #061f287a}.StatementLineagePanel-module__h6fDLq__previewFrame{pointer-events:none;border:0;width:100%;height:100%}.StatementLineagePanel-module__h6fDLq__viewSwitch{border:1px solid var(--lineage-rule);background:#e7eef08a;border-radius:.35rem;grid-template-columns:1fr 1fr;gap:.2rem;margin-top:1rem;padding:.2rem;display:grid}.StatementLineagePanel-module__h6fDLq__viewSwitch button{min-height:2rem;color:var(--lineage-muted);border:1px solid #0000;border-radius:.25rem;font-size:.74rem;font-weight:560}.StatementLineagePanel-module__h6fDLq__viewSwitch button[aria-pressed=true]{color:#074a56;background:#f8fbfb;border-color:#0b61707a;box-shadow:0 .18rem .5rem #061f2814}.StatementLineagePanel-module__h6fDLq__passage{min-height:12rem;font-family:var(--font-serif,Georgia, serif);background:#fff;border:1px solid #1f394147;border-radius:.28rem;margin-top:.75rem;padding:1.2rem 1.15rem;font-size:.98rem;line-height:1.62;overflow:visible;box-shadow:inset 0 1px #ffffffdb}.StatementLineagePanel-module__h6fDLq__originalPassage{white-space:pre-wrap;margin:0}.StatementLineagePanel-module__h6fDLq__evidenceDetails{border:1px solid var(--lineage-rule);background:#f8fbfbb8;border-radius:.3rem;margin-top:.75rem;overflow:hidden}.StatementLineagePanel-module__h6fDLq__evidenceSummary{min-height:2.35rem;color:var(--lineage-muted);cursor:pointer;justify-content:space-between;align-items:center;padding:.55rem .75rem;font-size:.72rem;font-weight:650;list-style:none;display:flex}.StatementLineagePanel-module__h6fDLq__evidenceSummary::-webkit-details-marker{display:none}.StatementLineagePanel-module__h6fDLq__evidenceSummary:after{color:var(--lineage-accent);content:"›";font-size:1rem;line-height:1;transition:transform .14s;transform:rotate(90deg)}.StatementLineagePanel-module__h6fDLq__evidenceDetails[open] .StatementLineagePanel-module__h6fDLq__evidenceSummary:after{transform:rotate(-90deg)}.StatementLineagePanel-module__h6fDLq__evidenceSummary:focus-visible{outline-offset:-2px;outline:2px solid #0b617066}.StatementLineagePanel-module__h6fDLq__evidenceBody{border-top:1px solid var(--lineage-rule);padding:.7rem .75rem .75rem}.StatementLineagePanel-module__h6fDLq__evidenceGrid{gap:.55rem;margin:0;display:grid}.StatementLineagePanel-module__h6fDLq__evidenceRow{grid-template-columns:7.25rem minmax(0,1fr);gap:.65rem;font-size:.7rem;line-height:1.45;display:grid}.StatementLineagePanel-module__h6fDLq__evidenceRow dt{color:var(--lineage-muted);font-weight:600}.StatementLineagePanel-module__h6fDLq__evidenceRow dd{color:var(--lineage-ink);margin:0}.StatementLineagePanel-module__h6fDLq__retractionWarning{color:#842b2b;border-top:1px solid #942e2e33;margin:.65rem 0 0;padding-top:.6rem;font-size:.7rem;font-weight:650;line-height:1.45}.StatementLineagePanel-module__h6fDLq__actions{grid-template-columns:1fr 1fr;gap:.65rem;margin-top:.75rem;display:grid}.StatementLineagePanel-module__h6fDLq__primaryAction,.StatementLineagePanel-module__h6fDLq__secondaryAction,.StatementLineagePanel-module__h6fDLq__moreAction{border-radius:.3rem;min-height:2.55rem;font-size:.78rem;font-weight:650;transition:border-color .14s,background-color .14s,color .14s}.StatementLineagePanel-module__h6fDLq__primaryAction{color:#fff;background:#0b6170;border:1px solid #0a5966}.StatementLineagePanel-module__h6fDLq__primaryAction:hover{background:#084f5b}.StatementLineagePanel-module__h6fDLq__secondaryAction,.StatementLineagePanel-module__h6fDLq__moreAction{color:#0a5361;background:#fff;border:1px solid #1f394145;justify-content:center;align-items:center;gap:.4rem;display:inline-flex}.StatementLineagePanel-module__h6fDLq__secondaryAction:hover,.StatementLineagePanel-module__h6fDLq__moreAction:hover{background:#0b61700b;border-color:#0b61708c}.StatementLineagePanel-module__h6fDLq__further{border-top:1px solid var(--lineage-rule);margin-top:1rem;padding-top:.85rem}.StatementLineagePanel-module__h6fDLq__furtherHeading{margin:0;font-size:.76rem;font-weight:700}.StatementLineagePanel-module__h6fDLq__furtherList{margin-top:.35rem}.StatementLineagePanel-module__h6fDLq__candidateRow{text-align:left;border-bottom:1px solid #23424b24;grid-template-columns:minmax(0,1fr) auto;gap:.65rem;width:100%;padding:.7rem 0;display:grid}.StatementLineagePanel-module__h6fDLq__candidateRow:hover .StatementLineagePanel-module__h6fDLq__candidateTitle,.StatementLineagePanel-module__h6fDLq__candidateRow:focus-visible .StatementLineagePanel-module__h6fDLq__candidateTitle,.StatementLineagePanel-module__h6fDLq__candidateRow[aria-current=true] .StatementLineagePanel-module__h6fDLq__candidateTitle{color:var(--lineage-accent)}.StatementLineagePanel-module__h6fDLq__candidateRow:focus-visible{outline-offset:2px;outline:2px solid #0b617066}.StatementLineagePanel-module__h6fDLq__candidateTitle{color:var(--lineage-ink);text-overflow:ellipsis;white-space:nowrap;font-size:.75rem;font-weight:670;line-height:1.35;display:block;overflow:hidden}.StatementLineagePanel-module__h6fDLq__candidateMeta{color:var(--lineage-muted);text-overflow:ellipsis;white-space:nowrap;margin-top:.2rem;font-size:.66rem;line-height:1.3;display:block;overflow:hidden}.StatementLineagePanel-module__h6fDLq__viewLabel{color:#0a5361;align-self:center;font-size:.68rem;font-weight:650}.StatementLineagePanel-module__h6fDLq__moreAction{width:100%;margin-top:.85rem}@media (max-width:560px){.StatementLineagePanel-module__h6fDLq__topline{padding-top:.25rem;display:block}.StatementLineagePanel-module__h6fDLq__count{padding:0 .35rem .6rem;display:block}.StatementLineagePanel-module__h6fDLq__sourceHeader{grid-template-columns:1fr}.StatementLineagePanel-module__h6fDLq__previewLink{display:none}.StatementLineagePanel-module__h6fDLq__actions{grid-template-columns:1fr}.StatementLineagePanel-module__h6fDLq__evidenceRow{grid-template-columns:1fr;gap:.12rem}}
.LeanCodeCard-module__7HLUzq__actionRow{clear:both;justify-content:flex-end;padding:.5rem 0 2.25rem;display:flex}.LeanCodeCard-module__7HLUzq__trigger{background:var(--brand-paper);min-height:38px;color:var(--brand-ink);font:500 13px/1.25 var(--font-inter), sans-serif;cursor:pointer;border:1px solid #06303e3b;border-radius:7px;justify-content:center;align-items:center;gap:.6rem;padding:.55rem .85rem;transition:background .15s,box-shadow .15s;display:inline-flex;box-shadow:inset 0 1px #fff9}.LeanCodeCard-module__7HLUzq__trigger[data-code=true],.LeanCodeCard-module__7HLUzq__primary{background:var(--brand-yellow);border-color:#0000}.LeanCodeCard-module__7HLUzq__trigger:hover{box-shadow:0 3px 10px #06303e1f}.LeanCodeCard-module__7HLUzq__trigger:focus-visible,.LeanCodeCard-module__7HLUzq__card :is(button,a,summary,pre):focus-visible{outline:2px solid var(--brand-petrol);outline-offset:4px}.LeanCodeCard-module__7HLUzq__card{z-index:65;overscroll-behavior:contain;background:var(--brand-paper);width:min(30rem,100vw - 2rem);max-height:calc(100dvh - 12rem);color:var(--brand-ink);font:14px/1.55 var(--font-inter), sans-serif;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;border:1px solid #ffffffe6;border-radius:14px;padding:26px;animation:.18s ease-out LeanCodeCard-module__7HLUzq__arrive;position:fixed;top:11rem;right:4.5rem;overflow:auto;box-shadow:0 2px 4px #0619220a,0 22px 38px -14px #06192245}.LeanCodeCard-module__7HLUzq__header{align-items:center;gap:12px;display:flex}.LeanCodeCard-module__7HLUzq__header>svg{color:var(--brand-petrol);flex:none;width:26px;height:26px}.LeanCodeCard-module__7HLUzq__header h2{font:650 21px/1.25 var(--font-inter), sans-serif;letter-spacing:-.035em;overflow-wrap:anywhere;margin:0}.LeanCodeCard-module__7HLUzq__close{border-radius:6px;flex:none;place-items:center;width:32px;height:32px;margin-left:auto;display:grid}.LeanCodeCard-module__7HLUzq__close:hover{background:var(--brand-code)}.LeanCodeCard-module__7HLUzq__status{color:var(--brand-muted);align-items:center;gap:10px;margin:23px 0 18px;font-size:13px;display:flex}.LeanCodeCard-module__7HLUzq__status>svg{color:var(--brand-petrol);flex:none}.LeanCodeCard-module__7HLUzq__codeTools{justify-content:flex-end;min-height:30px;margin-bottom:8px;display:flex}.LeanCodeCard-module__7HLUzq__quiet{color:var(--brand-ink);cursor:pointer;align-items:center;gap:8px;padding:5px 2px;font-size:12px;display:inline-flex}.LeanCodeCard-module__7HLUzq__quiet:hover{color:var(--brand-petrol);text-underline-offset:4px;text-decoration:underline}.LeanCodeCard-module__7HLUzq__code{background:var(--brand-code);tab-size:2;scrollbar-width:thin;border-radius:8px;max-height:42dvh;margin:0;padding:19px 15px;font:14px/1.95 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;overflow:auto}.LeanCodeCard-module__7HLUzq__line{min-width:max-content;display:block}.LeanCodeCard-module__7HLUzq__lineNumber{color:#708793;-webkit-user-select:none;user-select:none;text-align:right;width:2.4em;margin-right:1em;display:inline-block}.LeanCodeCard-module__7HLUzq__keyword{color:#076271;font-weight:600}.LeanCodeCard-module__7HLUzq__comment{color:#5b7280}.LeanCodeCard-module__7HLUzq__string{color:#856014}.LeanCodeCard-module__7HLUzq__footer{justify-content:space-between;align-items:center;gap:12px;padding:12px 0 18px;display:flex}.LeanCodeCard-module__7HLUzq__details{border-top:1px solid var(--brand-border)}.LeanCodeCard-module__7HLUzq__details summary{cursor:pointer;justify-content:space-between;align-items:center;padding:16px 0;font-size:13px;list-style:none;display:flex}.LeanCodeCard-module__7HLUzq__details summary::-webkit-details-marker{display:none}.LeanCodeCard-module__7HLUzq__details[open]>summary>svg{transform:rotate(90deg)}.LeanCodeCard-module__7HLUzq__detailsContent{color:var(--brand-muted);overflow-wrap:anywhere;padding:0 0 15px;font-size:12px}.LeanCodeCard-module__7HLUzq__history{gap:5px;padding-bottom:14px;display:grid}.LeanCodeCard-module__7HLUzq__history button{text-align:left;border:1px solid #0000;border-radius:6px;flex-wrap:wrap;justify-content:space-between;gap:6px;padding:10px;font-size:12px;display:flex}.LeanCodeCard-module__7HLUzq__history button[aria-pressed=true]{background:var(--brand-code);border-color:var(--brand-border)}.LeanCodeCard-module__7HLUzq__empty{background:var(--brand-code);color:var(--brand-muted);border-radius:8px;margin:22px 0;padding:26px 18px}.LeanCodeCard-module__7HLUzq__empty p{margin:0 0 18px}.LeanCodeCard-module__7HLUzq__notice{color:var(--brand-muted);margin:10px 0;font-size:12px}.LeanCodeCard-module__7HLUzq__error{color:#a3362a;margin-top:8px;font-size:12px}@keyframes LeanCodeCard-module__7HLUzq__arrive{0%{opacity:0;transform:translateY(7px)}to{opacity:1;transform:translateY(0)}}@media (min-width:1200px){body:has([data-lean-card]) .paper-editor-workspace{padding-right:36rem}}@media (max-width:1199px){.LeanCodeCard-module__7HLUzq__card{max-height:70dvh;bottom:1rem;right:1rem;top:auto!important}}@media (max-width:600px){.LeanCodeCard-module__7HLUzq__card{width:calc(100vw - 1rem);max-height:calc(100dvh - 10rem);padding:20px;bottom:4.5rem;right:.5rem}.LeanCodeCard-module__7HLUzq__header h2{font-size:19px}.LeanCodeCard-module__7HLUzq__code{max-height:35dvh;font-size:12px}}@media (prefers-reduced-motion:reduce){.LeanCodeCard-module__7HLUzq__card{animation:none}.LeanCodeCard-module__7HLUzq__trigger{transition:none}}@media print{.LeanCodeCard-module__7HLUzq__actionRow,.LeanCodeCard-module__7HLUzq__card{display:none!important}}.sheet-block:has([data-lean-anchor=true]){box-shadow:0 0 0 1px var(--brand-border);background:0 0}
.ToolStage-module__Io1aKW__stage{--stage-face:var(--paper-scrap-face);--stage-ink:var(--paper-scrap-ink);--stage-red:hsl(var(--atelier-coral));--stage-blue:hsl(var(--atelier-petrol));--stage-green:hsl(var(--improve));--stage-warn:hsl(var(--atelier-citron));--stage-faint:#2d4c5429;border:1px solid var(--paper-scrap-edge);border-radius:var(--paper-scrap-corners);background:var(--stage-face);box-shadow:var(--paper-scrap-shadow);color:var(--stage-ink);flex-direction:column;gap:.75rem;padding:.9rem 1rem .75rem;display:flex}.dark .ToolStage-module__Io1aKW__stage{--stage-face:hsl(var(--card));--stage-ink:hsl(var(--card-foreground));--stage-faint:#ffffff24}.ToolStage-module__Io1aKW__head{justify-content:space-between;align-items:baseline;gap:.75rem;min-height:1.5rem;display:flex}.ToolStage-module__Io1aKW__title{letter-spacing:.04em;text-transform:uppercase;opacity:.62;font-size:.78rem;font-weight:600}.ToolStage-module__Io1aKW__counter{font-variant-numeric:tabular-nums;opacity:.62;white-space:nowrap;font-size:.78rem}.ToolStage-module__Io1aKW__picture{justify-content:center;align-items:center;min-height:11rem;display:flex}.ToolStage-module__Io1aKW__compact .ToolStage-module__Io1aKW__picture{min-height:7.5rem}.ToolStage-module__Io1aKW__picture svg{width:100%;height:auto;max-height:15rem;overflow:visible}.ToolStage-module__Io1aKW__caption{align-items:flex-start;gap:.45rem;min-height:2.6rem;font-size:.9rem;line-height:1.35;display:flex}.ToolStage-module__Io1aKW__compact .ToolStage-module__Io1aKW__caption{min-height:2.2rem;font-size:.82rem}.ToolStage-module__Io1aKW__pip{background:var(--stage-faint);border-radius:999px;flex:none;width:.5rem;height:.5rem;margin-top:.42rem}.ToolStage-module__Io1aKW__pipTurn{background:var(--stage-blue)}.ToolStage-module__Io1aKW__pipDecisive{background:var(--stage-red);box-shadow:0 0 0 3px #e85c422e}.ToolStage-module__Io1aKW__captionDecisive{font-weight:600}.ToolStage-module__Io1aKW__controls{align-items:center;gap:.4rem;display:flex}.ToolStage-module__Io1aKW__button{border:1px solid var(--paper-scrap-edge);min-width:1.9rem;height:1.9rem;color:inherit;font-variant-numeric:tabular-nums;cursor:pointer;background:0 0;border-radius:.4rem;justify-content:center;align-items:center;padding:0 .4rem;font-size:.8rem;transition:background-color .12s;display:inline-flex}.ToolStage-module__Io1aKW__button:hover:not(:disabled){background:var(--stage-faint)}.ToolStage-module__Io1aKW__button:disabled{opacity:.35;cursor:default}.ToolStage-module__Io1aKW__play{font-weight:600}.ToolStage-module__Io1aKW__scrub{min-width:4rem;accent-color:var(--stage-blue);cursor:pointer;flex:1}.ToolStage-module__Io1aKW__speed{border:1px solid var(--paper-scrap-edge);height:1.9rem;color:inherit;font-variant-numeric:tabular-nums;cursor:pointer;background:0 0;border-radius:.4rem;padding:0 .3rem;font-size:.75rem}.ToolStage-module__Io1aKW__note{opacity:.55;margin:0;font-size:.72rem;line-height:1.4}.ToolStage-module__Io1aKW__axis{stroke:var(--stage-faint);stroke-width:1px}.ToolStage-module__Io1aKW__label{fill:currentColor;font-variant-numeric:tabular-nums;opacity:.6;font-size:10px}.ToolStage-module__Io1aKW__labelStrong{fill:currentColor;font-variant-numeric:tabular-nums;font-size:11px;font-weight:600}.ToolStage-module__Io1aKW__empty{text-align:center;opacity:.55;padding:2rem 0;font-size:.85rem}.ToolStage-module__Io1aKW__board{flex-direction:column;gap:.55rem;width:100%;padding:.2rem .1rem;display:flex}.ToolStage-module__Io1aKW__boardRow{align-items:baseline;gap:.5rem;display:flex}.ToolStage-module__Io1aKW__boardLabel{letter-spacing:.03em;text-transform:uppercase;opacity:.55;flex:none;min-width:5.2rem;font-size:.72rem}.ToolStage-module__Io1aKW__chips{flex-wrap:wrap;gap:.3rem;min-height:1.6rem;display:flex}.ToolStage-module__Io1aKW__chip{border:1px solid var(--stage-faint);font-variant-numeric:tabular-nums;white-space:nowrap;border-radius:.35rem;padding:.14rem .45rem;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.8rem}.ToolStage-module__Io1aKW__chipActive{border-color:var(--stage-blue);background:color-mix(in srgb, var(--stage-blue) 12%, transparent);font-weight:600}.ToolStage-module__Io1aKW__chipGone{opacity:.4;border-style:dashed;text-decoration:line-through}.ToolStage-module__Io1aKW__chipFresh{border-color:var(--stage-green);background:color-mix(in srgb, var(--stage-green) 14%, transparent);font-weight:600}.ToolStage-module__Io1aKW__chipWarn{border-color:var(--stage-red);background:color-mix(in srgb, var(--stage-red) 12%, transparent);font-weight:600}.ToolStage-module__Io1aKW__boardNote{opacity:.55;font-size:.74rem}
.ProofStepTile-module__BCEnra__stepWrap{--atlas-ink:#17373d;--atlas-petrol:#0b6170;--atlas-muted:#63777b;--atlas-line:#164a5433;align-items:stretch;display:flex;position:relative}.ProofStepTile-module__BCEnra__stepTimer{font-family:var(--font-mono,ui-monospace, monospace);font-variant-numeric:tabular-nums;color:var(--atlas-petrol,#0b6170);letter-spacing:.02em;font-size:.68rem;position:absolute;top:-1.15rem;right:.1rem}.ProofStepTile-module__BCEnra__connector{background:var(--atlas-line);align-self:center;width:1.8rem;height:1px}.ProofStepTile-module__BCEnra__connectorDashed{background:0 0;border-top:1px dashed #3f5b62b3;height:0}.ProofStepTile-module__BCEnra__step{isolation:isolate;color:#172529;width:clamp(17.5rem,24vw,22.4rem);min-height:12rem;font:inherit;text-align:left;cursor:pointer;background:#fffefa;border:1px solid #40534e3b;border-radius:1.15rem;flex-direction:column;align-items:stretch;padding:.8rem .9rem .85rem;display:flex;position:relative;overflow:hidden;transform:rotate(-.12deg);box-shadow:0 .18rem .3rem #061f2814,0 1rem 1.8rem -1rem #061f2861,inset 0 1px #ffffffeb}.ProofStepTile-module__BCEnra__stepStatic{cursor:default}.ProofStepTile-module__BCEnra__step:focus-visible{outline-offset:3px;outline:3px solid #0b617033}.ProofStepTile-module__BCEnra__stepActive{border-color:var(--atlas-petrol);animation:2.4s ease-in-out infinite ProofStepTile-module__BCEnra__proof-tile-breathe;transform:translateY(-.18rem);box-shadow:0 0 0 2px #0b617029,0 1.15rem 2rem -.9rem #061f2875,inset 0 1px #ffffffeb}.ProofStepTile-module__BCEnra__stepActive:before{content:"";background:linear-gradient(90deg,#0000,#1d9db0 30%,#35c4d8 50%,#1d9db0 70%,#0000);border-radius:999px;width:42%;height:3px;animation:2.8s ease-in-out infinite ProofStepTile-module__BCEnra__proof-tile-scan;position:absolute;top:0;left:0}.ProofStepTile-module__BCEnra__stepPreparing{border-color:var(--atlas-petrol);border-style:dashed;animation:3.4s ease-in-out infinite ProofStepTile-module__BCEnra__proof-tile-breathe}.ProofStepTile-module__BCEnra__stepFailed{border-style:dashed}.ProofStepTile-module__BCEnra__freshBadge{letter-spacing:.06em;text-transform:uppercase;color:var(--atlas-petrol,#0b6170);background:#1d9db01f;border:1px solid #1d9db059;border-radius:999px;flex:none;padding:.05rem .4rem;font-size:.62rem;font-weight:600}.ProofStepTile-module__BCEnra__stepHeader{justify-content:space-between;align-items:start;gap:.4rem;display:flex}.ProofStepTile-module__BCEnra__stepNumber{color:var(--atlas-petrol);font-family:var(--font-serif), ui-serif, Georgia, serif;font-size:.76rem;font-weight:700}.ProofStepTile-module__BCEnra__stepTitle{font-family:var(--font-serif), ui-serif, Georgia, serif;margin:.4rem 0 0;font-size:.96rem;font-weight:650;line-height:1.25;display:block}.ProofStepTile-module__BCEnra__objective{color:var(--paper-scrap-ink,#16323a);background:var(--paper-scrap-face,#fbfbfc);border:1px solid var(--paper-scrap-edge,#2d4c5424);transform:rotate(var(--tile-scrap-tilt,-.4deg));box-shadow:var(--paper-scrap-shadow,inset 0 1px 0 #fffc, 0 1px 2px #061f2838, 0 5px 10px -5px #061f288c);font-family:var(--font-serif), ui-serif, Georgia, serif;border-radius:0;margin:.68rem .1rem 0;padding:.62rem .7rem .66rem;font-size:.76rem;line-height:1.5;display:block;overflow:visible}.ProofStepTile-module__BCEnra__stepFooter{border-top:1px solid #284e5721;flex-wrap:wrap;gap:.3rem;margin-top:.65rem;padding-top:.5rem;display:flex}.ProofStepTile-module__BCEnra__trustLabel,.ProofStepTile-module__BCEnra__stateLabel,.ProofStepTile-module__BCEnra__routeLabel{border:1px solid var(--atlas-line);color:#456067;background:#ffffffb8;border-radius:999px;align-items:center;padding:.18rem .45rem;font-size:.56rem;font-weight:720;line-height:1.2;display:inline-flex}.ProofStepTile-module__BCEnra__trustEvidence{border-style:double}.ProofStepTile-module__BCEnra__mathVisual{display:contents}.ProofStepTile-module__BCEnra__screenReaderMath{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.ProofStepTile-module__BCEnra__mathVisual .katex-mathml{clip:rect(1px, 1px, 1px, 1px)!important;white-space:nowrap!important;border:0!important;width:1px!important;height:1px!important;padding:0!important;overflow:hidden!important}@keyframes ProofStepTile-module__BCEnra__proof-tile-breathe{0%,to{box-shadow:0 0 0 2px #0b617029,0 1.15rem 2rem -.9rem #061f2875,inset 0 1px #ffffffeb}50%{box-shadow:0 0 0 5px #1d9db047,0 0 1.4rem .2rem #1d9db057,0 1.15rem 2rem -.9rem #061f2875,inset 0 1px #ffffffeb}}@keyframes ProofStepTile-module__BCEnra__proof-tile-scan{0%,to{opacity:0;left:-35%}28%,72%{opacity:.8}50%{left:92%}}@media (prefers-reduced-motion:reduce){.ProofStepTile-module__BCEnra__stepActive:before,.ProofStepTile-module__BCEnra__stepActive,.ProofStepTile-module__BCEnra__stepPreparing{animation:none}}.dark .ProofStepTile-module__BCEnra__stepWrap{--atlas-ink:#d9e7e7;--atlas-petrol:#6fc1ce;--atlas-muted:#9eb0b3;--atlas-line:#89b9c03b}.dark .ProofStepTile-module__BCEnra__step{color:#1b2b2e;background:#f4f1e8}:is(.dark .ProofStepTile-module__BCEnra__trustLabel,.dark .ProofStepTile-module__BCEnra__stateLabel,.dark .ProofStepTile-module__BCEnra__routeLabel){background:#162224eb}.ProofStepTile-module__BCEnra__toolStage{margin:.5rem 0 .15rem;display:block}.ProofStepTile-module__BCEnra__objectiveNote{color:#566e75;font-family:var(--font-serif), ui-serif, Georgia, serif;-webkit-line-clamp:4;border-left:2px solid #284e5729;-webkit-box-orient:vertical;margin:.42rem .1rem 0;padding-left:.5rem;font-size:.66rem;line-height:1.45;display:-webkit-box;overflow:hidden}.dark .ProofStepTile-module__BCEnra__objectiveNote{color:#8fa6ac;border-left-color:#8fa6ac38}
.ManuscriptBook-module__5dosFW__reader{width:100%;max-width:1588px;margin:1rem auto 3rem}.ManuscriptBook-module__5dosFW__toolbar{color:hsl(var(--muted-foreground));flex-wrap:wrap;justify-content:flex-end;align-items:center;gap:1rem;margin-bottom:1rem;font-size:.8rem;display:flex}.ManuscriptBook-module__5dosFW__navigation{font-variant-numeric:tabular-nums;align-items:center;gap:.8rem;display:flex}.ManuscriptBook-module__5dosFW__navigation button{border:1px solid hsl(var(--border));background:hsl(var(--background));color:hsl(var(--foreground));border-radius:.5rem;padding:.6rem 1rem}.ManuscriptBook-module__5dosFW__navigation button:disabled{opacity:.35}.ManuscriptBook-module__5dosFW__navigation:focus-visible,.ManuscriptBook-module__5dosFW__navigation button:focus-visible{outline-offset:3px;outline:2px solid}.ManuscriptBook-module__5dosFW__stage{position:relative}.ManuscriptBook-module__5dosFW__reader .atelier-manuscript-stack{max-width:none;padding:calc(var(--book-height) + 2rem) 0 2rem;isolation:auto;transform:none;margin:0!important}.ManuscriptBook-module__5dosFW__reader .atelier-frontmatter-mat{margin:0;padding:0;position:static}.ManuscriptBook-module__5dosFW__reader .section-card{border:1px solid hsl(var(--border));box-shadow:none;background:hsl(var(--background));position:relative;margin:0 0 1rem!important}.ManuscriptBook-module__5dosFW__reader .section-card[data-book-active=false]{visibility:hidden;pointer-events:none;position:absolute;inset:0 0 auto}.ManuscriptBook-module__5dosFW__reader [data-meaning-questions]{width:auto;margin:1rem;position:static}.ManuscriptBook-module__5dosFW__reader .section-card[data-book-active=false] [data-meaning-questions]{display:none}.ManuscriptBook-module__5dosFW__reader .paper-pages{width:100%;height:var(--book-height);pointer-events:none;margin:0;position:absolute;top:0;left:0}.ManuscriptBook-module__5dosFW__reader .section-card .paper-pages{top:var(--book-section-top,0px);width:calc(100% + 2px);left:-1px}.ManuscriptBook-module__5dosFW__reader .paper-pages>:not(.paper-sheet){pointer-events:auto}:is(.ManuscriptBook-module__5dosFW__reader .paper-sheet,.ManuscriptBook-module__5dosFW__reader .paper-frontmatter){--sheet-pad-x:56px;visibility:hidden;width:794px;max-width:none;margin:0;padding:48px 56px;position:absolute;top:0}:is(.ManuscriptBook-module__5dosFW__reader .paper-sheet:hover,.ManuscriptBook-module__5dosFW__reader .paper-sheet:focus-within,.ManuscriptBook-module__5dosFW__reader .paper-frontmatter:focus-within){z-index:5!important}.ManuscriptBook-module__5dosFW__reader .paper-frontmatter{min-height:1123px}.ManuscriptBook-module__5dosFW__reader .paper-frontmatter[data-format=Letter]{min-height:1028px}.ManuscriptBook-module__5dosFW__reader [data-book-measurement]{display:none}.ManuscriptBook-module__5dosFW__binding{z-index:0;width:100%;height:var(--book-height);pointer-events:none;background:#fbfbfc;border:1px solid #d3d6d6;position:absolute;top:0;left:0;box-shadow:0 15px 35px -24px #18232b80}.ManuscriptBook-module__5dosFW__binding:after{content:"";background:linear-gradient(90deg,#0000,#29201918 45%,#29201928 50%,#ffffff50 54%,#0000);width:24px;position:absolute;top:0;bottom:0;left:calc(50% - 12px)}.ManuscriptBook-module__5dosFW__animation{height:var(--book-height);z-index:30;perspective:2400px;pointer-events:none;position:absolute;inset:0 0 auto}.ManuscriptBook-module__5dosFW__edge{width:16px;height:calc(var(--book-height) * .7);z-index:10;touch-action:none;cursor:grab;background:0 0;border:0;position:absolute;top:12%}.ManuscriptBook-module__5dosFW__edge:active{cursor:grabbing}.ManuscriptBook-module__5dosFW__edge:disabled{pointer-events:none}.ManuscriptBook-module__5dosFW__leftEdge{left:-16px}.ManuscriptBook-module__5dosFW__rightEdge{right:-16px}.ManuscriptBook-module__5dosFW__overlays{z-index:40;pointer-events:none;position:absolute;inset:0}.ManuscriptBook-module__5dosFW__overlays>*{pointer-events:auto}@media (max-width:640px){.ManuscriptBook-module__5dosFW__reader{padding:0 4px}.ManuscriptBook-module__5dosFW__leftEdge{width:12px;left:-12px}.ManuscriptBook-module__5dosFW__rightEdge{width:12px;right:-12px}}.ManuscriptBook-module__5dosFW__stackReader{max-width:858px;padding:0 32px 56px}.ManuscriptBook-module__5dosFW__stackReader .ManuscriptBook-module__5dosFW__stage{isolation:isolate}.ManuscriptBook-module__5dosFW__stackReader .atelier-manuscript-stack{padding-top:calc(var(--book-height) + 7rem)}.ManuscriptBook-module__5dosFW__paperPile{width:100%;height:var(--book-height);z-index:-1;pointer-events:none;position:absolute;top:0;left:0}.ManuscriptBook-module__5dosFW__paperPile>span{z-index:calc(0 - var(--leaf));--leaf-x:0px;--leaf-y:0px;--leaf-angle:.35deg;transform-origin:46% 42%;transform:translate(calc(var(--leaf) * .55px + var(--leaf-x)), calc(var(--leaf) * 1.4px + var(--leaf-y))) rotate(var(--leaf-angle));background:#f6f8f8;border:1px solid #2d4c5424;border-radius:.15rem;position:absolute;inset:0}.ManuscriptBook-module__5dosFW__paperPile>span:nth-child(7n+1){--leaf-x:5px;--leaf-y:3px;--leaf-angle:.35deg}.ManuscriptBook-module__5dosFW__paperPile>span:nth-child(7n+2){--leaf-x:9px;--leaf-y:1px;--leaf-angle:.7deg;background:#eef3f4}.ManuscriptBook-module__5dosFW__paperPile>span:nth-child(7n+3){--leaf-x:-3px;--leaf-y:5px;--leaf-angle:-.3deg}.ManuscriptBook-module__5dosFW__paperPile>span:nth-child(7n+4){--leaf-x:3px;--leaf-y:-2px;--leaf-angle:.12deg}.ManuscriptBook-module__5dosFW__paperPile>span:nth-child(7n+5){--leaf-x:7px;--leaf-y:4px;--leaf-angle:.55deg;background:#eef3f4}.ManuscriptBook-module__5dosFW__paperPile>span:nth-child(7n+6){--leaf-x:-1px;--leaf-y:2px;--leaf-angle:-.18deg}.ManuscriptBook-module__5dosFW__paperPile>span:nth-child(7n){--leaf-x:4px;--leaf-y:-1px;--leaf-angle:.42deg}.ManuscriptBook-module__5dosFW__paperPile>span:last-child{box-shadow:2rem 2.2rem 4.4rem -2.8rem #061f287a}@media (max-width:640px){.ManuscriptBook-module__5dosFW__stackReader{padding:0 24px 48px 0}}
.DependencyLens-module__RVtira__dock{z-index:66;left:var(--dependency-manuscript-center,50%);bottom:max(1rem, env(safe-area-inset-bottom));border:1px solid hsl(var(--border));background:hsl(var(--card));width:min(60rem,100vw - 2rem);box-shadow:0 .875rem 2.2rem hsl(var(--foreground) / .13);color:hsl(var(--foreground));border-radius:.625rem;position:fixed;overflow:hidden;transform:translate(-50%)}.DependencyLens-module__RVtira__header{border-bottom:1px solid hsl(var(--border));align-items:flex-start;gap:.75rem;padding:.75rem .875rem;display:flex}.DependencyLens-module__RVtira__headerText{flex:1;min-width:0}.DependencyLens-module__RVtira__controls{flex-wrap:wrap;justify-content:flex-end;gap:.35rem;display:flex}.DependencyLens-module__RVtira__control{min-height:2rem;color:hsl(var(--muted-foreground));border-radius:.35rem;align-items:center;gap:.35rem;padding:.3rem .55rem;font-size:.75rem;font-weight:600;display:inline-flex}.DependencyLens-module__RVtira__control:hover,.DependencyLens-module__RVtira__control:focus-visible,.DependencyLens-module__RVtira__control[data-active=true]{background:hsl(var(--muted));color:hsl(var(--foreground))}.DependencyLens-module__RVtira__control:focus-visible,.DependencyLens-module__RVtira__relation:focus-visible,.DependencyLens-module__RVtira__edgeIndicator:focus-visible{outline:2px solid hsl(var(--ring));outline-offset:2px}.DependencyLens-module__RVtira__body{grid-template-columns:minmax(0,1fr) minmax(0,1fr);max-height:min(18rem,38vh);display:grid;overflow:auto}.DependencyLens-module__RVtira__group{min-width:0;padding:.7rem .875rem .8rem}.DependencyLens-module__RVtira__group+.DependencyLens-module__RVtira__group{border-left:1px solid hsl(var(--border))}.DependencyLens-module__RVtira__groupTitle{color:hsl(var(--muted-foreground));letter-spacing:.08em;text-transform:uppercase;margin-bottom:.4rem;font-size:.6875rem;font-weight:700}.DependencyLens-module__RVtira__relationList{gap:.35rem;display:grid}.DependencyLens-module__RVtira__relation{text-align:left;border:1px solid #0000;border-radius:.4rem;grid-template-columns:minmax(0,1fr) auto;gap:.15rem .75rem;width:100%;padding:.45rem .55rem;display:grid}.DependencyLens-module__RVtira__relation:hover,.DependencyLens-module__RVtira__relation:focus-visible,.DependencyLens-module__RVtira__relation[data-selected=true]{border-color:hsl(var(--border));background:hsl(var(--muted) / .58)}.DependencyLens-module__RVtira__relation:disabled{cursor:default}.DependencyLens-module__RVtira__relationTitle{text-overflow:ellipsis;white-space:nowrap;font-size:.8125rem;font-weight:650;overflow:hidden}.DependencyLens-module__RVtira__relationMeta{color:hsl(var(--muted-foreground));white-space:nowrap;font-size:.6875rem}.DependencyLens-module__RVtira__relationExcerpt,.DependencyLens-module__RVtira__warning,.DependencyLens-module__RVtira__stateMessage{color:hsl(var(--muted-foreground));grid-column:1/-1;font-size:.72rem;line-height:1.35}.DependencyLens-module__RVtira__warning{color:hsl(var(--foreground) / .76);font-style:italic}.DependencyLens-module__RVtira__more{color:hsl(var(--muted-foreground));margin-top:.4rem;font-size:.72rem}.DependencyLens-module__RVtira__overlay{z-index:54;pointer-events:none;position:fixed;inset:0}.DependencyLens-module__RVtira__rootMark,.DependencyLens-module__RVtira__relatedMark{transition:background-color .14s,box-shadow .14s;background:hsl(var(--foreground) / .055)!important;box-shadow:0 0 0 1px hsl(var(--foreground) / .12)!important}.DependencyLens-module__RVtira__rootMark{background:hsl(var(--foreground) / .085)!important;box-shadow:0 0 0 1.5px hsl(var(--foreground) / .22)!important}.DependencyLens-module__RVtira__navigatedMark{animation:.9s ease-out DependencyLens-module__RVtira__dependency-target}.DependencyLens-module__RVtira__roleLabel{z-index:56;border:1px solid hsl(var(--border));background:hsl(var(--card));max-width:11rem;box-shadow:0 1px 4px hsl(var(--foreground) / .09);color:hsl(var(--muted-foreground));text-overflow:ellipsis;white-space:nowrap;border-radius:999px;padding:.15rem .45rem;font-size:.625rem;font-weight:650;position:fixed;overflow:hidden}.DependencyLens-module__RVtira__paths{width:100vw;height:100vh;color:hsl(var(--muted-foreground) / .72);position:fixed;inset:0;overflow:visible}.DependencyLens-module__RVtira__path{fill:none;stroke:hsl(var(--muted-foreground) / .72);stroke-width:1.35px;vector-effect:non-scaling-stroke}.DependencyLens-module__RVtira__semanticPath{stroke-dasharray:5 5}.DependencyLens-module__RVtira__endpoint{fill:hsl(var(--card));stroke:hsl(var(--muted-foreground) / .8);stroke-width:1.2px;vector-effect:non-scaling-stroke}.DependencyLens-module__RVtira__edgeIndicator{z-index:58;left:var(--dependency-manuscript-center,50%);pointer-events:auto;border:1px solid hsl(var(--border));background:hsl(var(--card));box-shadow:0 2px 8px hsl(var(--foreground) / .12);color:hsl(var(--foreground));border-radius:999px;padding:.3rem .65rem;font-size:.72rem;font-weight:650;position:fixed;transform:translate(-50%)}.DependencyLens-module__RVtira__above{top:calc(var(--app-header-offset) + .65rem)}.DependencyLens-module__RVtira__below{bottom:min(19rem,42vh)}@keyframes DependencyLens-module__RVtira__dependency-target{0%{box-shadow:0 0 0 4px hsl(var(--foreground) / .24)}to{box-shadow:0 0 0 1px hsl(var(--foreground) / .12)}}@media (max-width:48rem){.DependencyLens-module__RVtira__dock{bottom:max(.5rem, env(safe-area-inset-bottom));width:calc(100vw - 1rem)}.DependencyLens-module__RVtira__header{align-items:center;padding:.6rem .7rem}.DependencyLens-module__RVtira__controls{flex-wrap:nowrap}.DependencyLens-module__RVtira__controlText{display:none}.DependencyLens-module__RVtira__body{grid-template-columns:1fr;max-height:min(21rem,48vh)}.DependencyLens-module__RVtira__group+.DependencyLens-module__RVtira__group{border-top:1px solid hsl(var(--border));border-left:0}body.background-tasks-open .DependencyLens-module__RVtira__body{display:none}.DependencyLens-module__RVtira__below{bottom:5.2rem}}@media (prefers-reduced-motion:reduce){.DependencyLens-module__RVtira__rootMark,.DependencyLens-module__RVtira__relatedMark,.DependencyLens-module__RVtira__navigatedMark{transition:none;animation:none}}@media print{.DependencyLens-module__RVtira__dock,.DependencyLens-module__RVtira__overlay,.DependencyLens-module__RVtira__edgeIndicator,.DependencyLens-module__RVtira__roleLabel,.DependencyLens-module__RVtira__paths{display:none!important}}
.MathMeaningQuickPanel-module__khz9hq__rail{z-index:20;width:clamp(16.5rem,20vw,19rem);display:none;position:absolute;top:1rem;left:calc(100% + 1.75rem)}.MathMeaningQuickPanel-module__khz9hq__understandingControl{position:static}.MathMeaningQuickPanel-module__khz9hq__controlActivity{width:2rem;display:block}.MathMeaningQuickPanel-module__khz9hq__controlActivity .MathMeaningQuickPanel-module__khz9hq__pixelField{gap:1px;min-height:.75rem;padding:0}.MathMeaningQuickPanel-module__khz9hq__controlActivity .MathMeaningQuickPanel-module__khz9hq__pixelField i{height:2px}.MathMeaningQuickPanel-module__khz9hq__understandingDetails{z-index:40;overscroll-behavior:contain;border:1px solid hsl(var(--border));background:hsl(var(--card));width:min(28rem,100vw - 2rem);max-height:min(70vh,40rem);color:hsl(var(--foreground));border-radius:.7rem;padding:1rem 1.15rem;font-size:.85rem;position:absolute;top:calc(100% + .5rem);right:.5rem;overflow:auto;box-shadow:0 12px 40px #14283029}.MathMeaningQuickPanel-module__khz9hq__understandingDetails>header{justify-content:space-between;align-items:center;gap:1rem;padding-bottom:.7rem;display:flex}.MathMeaningQuickPanel-module__khz9hq__understandingDetails h2{margin:0;font-size:1rem;font-weight:650}.MathMeaningQuickPanel-module__khz9hq__understandingDetails>header button{border-radius:.3rem;width:2rem;height:2rem;font-size:1.35rem}.MathMeaningQuickPanel-module__khz9hq__understandingDetails button:focus-visible{outline:2px solid hsl(var(--ring));outline-offset:3px}.MathMeaningQuickPanel-module__khz9hq__understandingDetails>header button:hover{background:hsl(var(--muted))}.MathMeaningQuickPanel-module__khz9hq__understandingStatus{color:hsl(var(--muted-foreground));justify-items:start;gap:.55rem;padding:.2rem 0 .9rem;display:grid}.MathMeaningQuickPanel-module__khz9hq__understandingStatus p{margin:0}.MathMeaningQuickPanel-module__khz9hq__understandingStatus .MathMeaningQuickPanel-module__khz9hq__pixelField{gap:2px;width:7rem;min-height:1rem}.MathMeaningQuickPanel-module__khz9hq__understandingStatus .MathMeaningQuickPanel-module__khz9hq__pixelField i{height:3px}.MathMeaningQuickPanel-module__khz9hq__understandingStatus button,.MathMeaningQuickPanel-module__khz9hq__understandingDetails>details button{text-underline-offset:.2em;color:hsl(var(--foreground));text-decoration:underline}.MathMeaningQuickPanel-module__khz9hq__understandingDetails>details{border-top:1px solid hsl(var(--border));padding:.75rem 0}.MathMeaningQuickPanel-module__khz9hq__understandingDetails summary{cursor:pointer}.MathMeaningQuickPanel-module__khz9hq__understandingDetails dl{gap:.7rem;padding:.9rem 0;display:grid}.MathMeaningQuickPanel-module__khz9hq__understandingDetails dl>div{grid-template-columns:9rem minmax(0,1fr);gap:.7rem;display:grid}.MathMeaningQuickPanel-module__khz9hq__understandingDetails dt{color:hsl(var(--muted-foreground));font-size:.8rem}.MathMeaningQuickPanel-module__khz9hq__understandingDetails dd small{color:hsl(var(--muted-foreground));font-size:.7rem;display:block}.MathMeaningQuickPanel-module__khz9hq__customAnswer{gap:.4rem;margin:.6rem 0;font-size:.8rem;display:grid}.MathMeaningQuickPanel-module__khz9hq__customAnswer textarea{border:1px solid var(--paper-scrap-edge);background:var(--paper-scrap-face);width:100%;min-height:5rem;color:inherit;border-radius:.35rem;padding:.5rem}.MathMeaningQuickPanel-module__khz9hq__stack{gap:.9rem;display:grid}.MathMeaningQuickPanel-module__khz9hq__card{border:1px solid color-mix(in srgb, var(--paper-scrap-edge) 82%, transparent);border-radius:var(--paper-scrap-corners);min-width:0;color:var(--paper-scrap-ink);box-shadow:var(--paper-scrap-shadow);background:#cadce4f5;margin:0;padding:.95rem;animation:.15s ease-out MathMeaningQuickPanel-module__khz9hq__meaning-enter;position:relative;transform:rotate(-.18deg)}.MathMeaningQuickPanel-module__khz9hq__card:nth-child(2n){transform:rotate(.14deg)}.MathMeaningQuickPanel-module__khz9hq__question{width:100%;color:var(--paper-scrap-ink);letter-spacing:-.015em;flex-wrap:wrap;align-items:center;gap:.3rem;margin:0 0 .7rem;font:760 1rem/1.25 ui-sans-serif,system-ui,sans-serif;display:flex}:is(.MathMeaningQuickPanel-module__khz9hq__question .katex,.MathMeaningQuickPanel-module__khz9hq__confirmed .katex){border:1px solid var(--paper-scrap-edge,#2d4c5424);border-radius:var(--paper-scrap-corners,.45rem .2rem .5rem .15rem / .2rem .5rem .15rem .55rem);background:var(--paper-scrap-face,#fbfbfc);color:var(--paper-scrap-ink,#16323a);box-shadow:var(--paper-scrap-shadow,inset 0 1px 0 #fffc, 0 1px 2px #061f2838, 0 5px 10px -5px #061f288c);transform:rotate(var(--paper-scrap-tilt,-.4deg));padding:.05rem .34rem;display:inline-block}.MathMeaningQuickPanel-module__khz9hq__choices{gap:.5rem;display:grid}.MathMeaningQuickPanel-module__khz9hq__choice{cursor:pointer;border:1px solid color-mix(in srgb, var(--paper-scrap-edge) 68%, transparent);border-radius:calc(var(--paper-scrap-corners) * .9);background:color-mix(in srgb, var(--paper-scrap-face) 76%, white);min-height:3.15rem;color:var(--paper-scrap-ink);align-content:center;gap:.18rem;padding:.62rem .7rem;transition:border-color .13s,box-shadow .13s,transform .13s;display:grid;box-shadow:0 2px 5px #18222414}.MathMeaningQuickPanel-module__khz9hq__choice:hover{border-color:color-mix(in srgb, var(--paper-scrap-ink) 42%, transparent);transform:translateY(-1px);box-shadow:0 5px 11px #1822241f}.MathMeaningQuickPanel-module__khz9hq__choice:focus-within{outline:2px solid hsl(var(--ring));outline-offset:2px}.MathMeaningQuickPanel-module__khz9hq__choice:has(input:checked){border-color:currentColor;box-shadow:inset 0 0 0 1px}.MathMeaningQuickPanel-module__khz9hq__choiceAction{justify-self:end;font:650 .72rem/1.4 ui-sans-serif,system-ui,sans-serif}.MathMeaningQuickPanel-module__khz9hq__selectionStatus{flex-wrap:wrap;align-items:center;gap:.45rem;margin-top:.55rem;font:600 .73rem/1.4 ui-sans-serif,system-ui,sans-serif;display:flex}.MathMeaningQuickPanel-module__khz9hq__choice:has(input:disabled){cursor:wait;opacity:.54}.MathMeaningQuickPanel-module__khz9hq__choice strong{font:730 .84rem/1.3 ui-sans-serif,system-ui,sans-serif}.MathMeaningQuickPanel-module__khz9hq__choice small{color:color-mix(in srgb, var(--paper-scrap-ink) 67%, transparent);font:500 .7rem/1.4 ui-sans-serif,system-ui,sans-serif}.MathMeaningQuickPanel-module__khz9hq__none,.MathMeaningQuickPanel-module__khz9hq__change{color:color-mix(in srgb, var(--paper-scrap-ink) 72%, transparent);text-decoration:underline;-webkit-text-decoration-color:color-mix(in srgb, currentColor 42%, transparent);text-decoration-color:color-mix(in srgb, currentColor 42%, transparent);text-underline-offset:.16rem;cursor:pointer;background:0 0;border:0;padding:0;font:650 .68rem/1.25 ui-sans-serif,system-ui,sans-serif}.MathMeaningQuickPanel-module__khz9hq__none{margin-top:.62rem}.MathMeaningQuickPanel-module__khz9hq__none:hover,.MathMeaningQuickPanel-module__khz9hq__change:hover{color:var(--paper-scrap-ink);text-decoration-color:currentColor}.MathMeaningQuickPanel-module__khz9hq__cardConfirmed{grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:.6rem;padding:.65rem .72rem;display:grid}.MathMeaningQuickPanel-module__khz9hq__confirmed{min-width:0;color:var(--paper-scrap-ink);flex-wrap:wrap;align-items:center;gap:.42rem;font:720 .76rem/1.3 ui-sans-serif,system-ui,sans-serif;display:flex}.MathMeaningQuickPanel-module__khz9hq__confirmed span{min-width:0}.MathMeaningQuickPanel-module__khz9hq__confirmed .MathMeaningQuickPanel-module__khz9hq__selectionStatus{flex-basis:100%;margin-top:0}.MathMeaningQuickPanel-module__khz9hq__alternatives{border-top:1px solid color-mix(in srgb, var(--paper-scrap-edge) 54%, transparent);gap:.35rem;margin-top:.72rem;padding-top:.65rem;display:grid}.MathMeaningQuickPanel-module__khz9hq__alternatives strong{font:720 .72rem/1.25 ui-sans-serif,system-ui,sans-serif}.MathMeaningQuickPanel-module__khz9hq__alternatives p{color:color-mix(in srgb, var(--paper-scrap-ink) 72%, transparent);margin:0;font:500 .67rem/1.45 ui-sans-serif,system-ui,sans-serif}.MathMeaningQuickPanel-module__khz9hq__noOptions{color:color-mix(in srgb, var(--paper-scrap-ink) 68%, transparent);margin:.2rem 0 0;font:560 .7rem/1.4 ui-sans-serif,system-ui,sans-serif}.MathMeaningQuickPanel-module__khz9hq__classificationNotice{justify-items:start;gap:.38rem;display:grid}.MathMeaningQuickPanel-module__khz9hq__retry{border:1px solid color-mix(in srgb, var(--paper-scrap-edge) 62%, transparent);background:color-mix(in srgb, var(--paper-scrap-face) 72%, white);color:var(--paper-scrap-ink);cursor:pointer;border-radius:.45rem;padding:.34rem .52rem;font:680 .66rem/1.2 ui-sans-serif,system-ui,sans-serif;box-shadow:0 1px 3px #18222414}.MathMeaningQuickPanel-module__khz9hq__retry:hover{border-color:color-mix(in srgb, var(--paper-scrap-ink) 38%, transparent);box-shadow:0 3px 7px #1822241c}.MathMeaningQuickPanel-module__khz9hq__retry:focus-visible{outline:2px solid hsl(var(--ring));outline-offset:2px}@keyframes MathMeaningQuickPanel-module__khz9hq__meaning-enter{0%{opacity:0;transform:translateY(.2rem)rotate(0)}to{opacity:1}}@media (min-width:1280px){.MathMeaningQuickPanel-module__khz9hq__rail{display:block}}@media (prefers-reduced-motion:reduce){.MathMeaningQuickPanel-module__khz9hq__card,.MathMeaningQuickPanel-module__khz9hq__card:nth-child(2n),.MathMeaningQuickPanel-module__khz9hq__choice,.MathMeaningQuickPanel-module__khz9hq__choice:hover{transition:none;animation:none;transform:none}}.MathMeaningQuickPanel-module__khz9hq__manuscriptLinks{z-index:19;pointer-events:none;width:100vw;height:100vh;position:fixed;inset:0;overflow:visible}.MathMeaningQuickPanel-module__khz9hq__markerInk{mix-blend-mode:multiply;filter:drop-shadow(0 0 3px #d5ff0061)}.MathMeaningQuickPanel-module__khz9hq__card:focus-visible{outline:2px solid hsl(var(--ring));outline-offset:3px}.MathMeaningQuickPanel-module__khz9hq__loading{gap:.65rem;padding:.5rem 0 .2rem;display:grid}.MathMeaningQuickPanel-module__khz9hq__loading>span{color:color-mix(in srgb, var(--paper-scrap-ink) 78%, transparent);font:550 .7rem/1.4 ui-sans-serif,system-ui,sans-serif}.MathMeaningQuickPanel-module__khz9hq__pixelField{color:#25606a;background:0 0;border:0;grid-template-columns:repeat(28,1fr);align-items:center;gap:3px;min-height:43px;padding:3px 0;display:grid}.MathMeaningQuickPanel-module__khz9hq__pixelField i{width:100%;height:4px;opacity:var(--density);transform-origin:50%;animation:MathMeaningQuickPanel-module__khz9hq__pixel-wave 2.8s var(--phase) cubic-bezier(.45, 0, .55, 1) infinite;background:currentColor;display:block}.MathMeaningQuickPanel-module__khz9hq__pixelField[data-active=false]{color:#607c83;opacity:.55}.MathMeaningQuickPanel-module__khz9hq__pixelField[data-active=false] i{animation-duration:5.6s}@keyframes MathMeaningQuickPanel-module__khz9hq__pixel-wave{0%,to{opacity:calc(var(--density) * .22);transform:translateY(1px)scaleX(.55)}38%{opacity:var(--density);transform:translateY(-1px)scaleX(1)}62%{opacity:calc(var(--density) * .5);transform:translateY(0)scaleX(.8)}}@media (prefers-reduced-motion:reduce){.MathMeaningQuickPanel-module__khz9hq__pixelField i{opacity:var(--density);animation:none;transform:none}}.MathMeaningQuickPanel-module__khz9hq__rail[hidden]{display:none}.MathMeaningQuickPanel-module__khz9hq__propertyQuestion+.MathMeaningQuickPanel-module__khz9hq__propertyQuestion{border-top:1px solid var(--border);margin-top:.8rem;padding-top:.8rem}
.WerkbankPage-module__8auM-W__page{flex-direction:column;gap:1.5rem;max-width:60rem;margin:0 auto;padding:2rem 1.25rem 4rem;display:flex}.WerkbankPage-module__8auM-W__intro h1{letter-spacing:-.01em;margin:0 0 .4rem;font-size:1.5rem;font-weight:600}.WerkbankPage-module__8auM-W__intro p{max-width:46rem;color:hsl(var(--muted-foreground));margin:0;font-size:.92rem;line-height:1.55}.WerkbankPage-module__8auM-W__examples{flex-wrap:wrap;gap:.4rem;display:flex}.WerkbankPage-module__8auM-W__example{border:1px solid hsl(var(--border));color:inherit;cursor:pointer;background:0 0;border-radius:999px;padding:.32rem .7rem;font-size:.78rem;transition:background-color .12s}.WerkbankPage-module__8auM-W__example:hover{background:hsl(var(--muted))}.WerkbankPage-module__8auM-W__exampleActive{border-color:hsl(var(--atelier-petrol));background:hsl(var(--atelier-petrol) / .1)}.WerkbankPage-module__8auM-W__form{align-items:stretch;gap:.5rem;display:flex}.WerkbankPage-module__8auM-W__input{border:1px solid hsl(var(--input));background:hsl(var(--background));color:inherit;border-radius:.5rem;flex:1;padding:.6rem .7rem;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.85rem}.WerkbankPage-module__8auM-W__input:focus-visible{outline:2px solid hsl(var(--ring));outline-offset:1px}.WerkbankPage-module__8auM-W__run{background:hsl(var(--primary));color:hsl(var(--primary-foreground));cursor:pointer;border:1px solid #0000;border-radius:.5rem;padding:0 1.1rem;font-size:.88rem;font-weight:600}.WerkbankPage-module__8auM-W__run:disabled{opacity:.5;cursor:default}.WerkbankPage-module__8auM-W__error{border:1px solid hsl(var(--atelier-coral) / .4);background:hsl(var(--atelier-coral) / .08);border-radius:.5rem;margin:0;padding:.7rem .85rem;font-size:.85rem;line-height:1.5}.WerkbankPage-module__8auM-W__receipt{border:1px solid hsl(var(--border));background:hsl(var(--card));border-radius:.6rem;flex-direction:column;gap:.6rem;padding:1rem 1.1rem;display:flex}.WerkbankPage-module__8auM-W__verdictRow{flex-wrap:wrap;align-items:center;gap:.6rem;display:flex}.WerkbankPage-module__8auM-W__badge{letter-spacing:.04em;text-transform:uppercase;border-radius:999px;padding:.18rem .55rem;font-size:.72rem;font-weight:700}.WerkbankPage-module__8auM-W__proved{background:hsl(var(--improve) / .16);color:hsl(var(--improve))}.WerkbankPage-module__8auM-W__refuted{background:hsl(var(--atelier-coral) / .16);color:hsl(var(--atelier-coral))}.WerkbankPage-module__8auM-W__undecided{background:hsl(var(--muted));color:hsl(var(--muted-foreground))}.WerkbankPage-module__8auM-W__headline{font-size:1rem;font-weight:600}.WerkbankPage-module__8auM-W__summary{white-space:pre-wrap;margin:0;font-size:.88rem;line-height:1.55}.WerkbankPage-module__8auM-W__assumptions{color:hsl(var(--muted-foreground));margin:0;padding-left:1.1rem;font-size:.8rem;line-height:1.5}.WerkbankPage-module__8auM-W__verification{border-top:1px solid hsl(var(--border));align-items:baseline;gap:.45rem;padding-top:.55rem;font-size:.82rem;line-height:1.5;display:flex}.WerkbankPage-module__8auM-W__verificationMark{font-weight:700}.WerkbankPage-module__8auM-W__verificationOk{color:hsl(var(--improve))}.WerkbankPage-module__8auM-W__verificationBad{color:hsl(var(--atelier-coral))}