:root{--paper:#f5f4ed;--white:#fffef8;--ink:#252b27;--muted:#8a8c7b;--line:#dddcd0;--yellow:#efdf68;--sage:#dfe4cf;--red:#bf654c;--mono:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}*{box-sizing:border-box}body{margin:0;font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;background:var(--paper);color:var(--ink);font-size:14px;-webkit-font-smoothing:antialiased}button,input,select,textarea{font:inherit}button,a,input,textarea,select{outline-offset:4px}button{cursor:pointer}button:disabled{opacity:.45;cursor:default}a{color:inherit;text-decoration:none}.masthead{height:84px;border-bottom:1px solid var(--line);display:flex;align-items:center;justify-content:space-between;padding:0 52px}.brand{font-weight:650;font-size:26px;letter-spacing:-1.3px;display:flex;align-items:center;gap:10px}.brand img{height:30px;width:30px}.brand>span{font-size:10px;align-self:flex-start;margin-top:7px;margin-left:-6px;letter-spacing:0}.masthead nav{display:flex;gap:26px}.nav-button{border:0;background:none;font-size:11px;padding:13px 0;color:#8b8f81}.nav-button.active{color:var(--ink)}.nav-button>span{font-family:var(--mono);font-size:8px;vertical-align:super;margin-left:5px;color:#a4a893}.masthead-note{font-family:var(--mono);font-size:8px;letter-spacing:1px;color:#8c9380;display:flex;gap:8px;align-items:center}.live-dot{display:inline-block;width:5px;height:5px;background:#86a675;border-radius:50%}main{max-width:1390px;margin:auto;padding:0 52px}.intro{padding:31px 0 34px}.intro-label{display:flex;justify-content:space-between;font-family:var(--mono);font-size:8px;letter-spacing:1.5px;color:#999d8a}.intro-number{color:#adb19e}.intro-grid{display:flex;justify-content:space-between;align-items:flex-end;padding-top:21px}.intro h1{font-family:Georgia,'Times New Roman',serif;font-size:69px;line-height:1.02;font-weight:400;letter-spacing:-3.1px;margin:0;position:relative}.intro h1 em{font-weight:400}.heading-star{position:absolute;right:-69px;bottom:-8px;color:#b0b590;font-size:78px;line-height:1;font-weight:400;font-family:Arial,sans-serif}.intro-aside{padding:0 24px 3px 30px}.intro-aside p{font-size:12px;line-height:1.8;color:#8b907e;margin:0 0 15px}.intro-aside strong{font-weight:500;color:#4c5544}.intro-aside .small-note{font-size:10px;color:#9ea28d;margin-bottom:0}.laboratory-grid{display:grid;grid-template-columns:minmax(300px,.8fr) minmax(0,1.42fr);border:1px solid #d6d8c7;background:var(--white);border-radius:12px;overflow:hidden;box-shadow:0 4px 12px #39492d03}.conjecture-panel{padding:26px 28px;border-right:1px solid #d6d8c7}.panel-kicker{font-family:var(--mono);font-size:8px;letter-spacing:1.4px;color:#9b9f89;display:flex;justify-content:space-between;align-items:center}.tiny-symbol{font-size:16px;color:#bbc0a6}.conjecture-panel h2{font-family:Georgia,serif;font-weight:400;font-size:31px;line-height:1.15;letter-spacing:-.8px;margin:16px 0 22px}.preset-label{display:block;font-family:var(--mono);font-size:7px;letter-spacing:1px;color:#a1a58f;margin-bottom:8px}select{appearance:none;border:1px solid #dedfce;background:#f9f9ef;color:#6d745d;border-radius:5px;padding:11px 30px 11px 12px;font-size:10px;max-width:100%;background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='10' height='6'%3E%3Cpath d='m1 1 4 4 4-4' fill='none' stroke='%23939881'/%3E%3C/svg%3E");background-repeat:no-repeat;background-position:right 12px center}#preset-select{width:100%}.formula-builder{margin:24px 0 20px}.formula-label{display:flex;align-items:center;justify-content:space-between;font-family:var(--mono);font-size:7px;letter-spacing:.8px;color:#9c9f87;margin-bottom:9px}.link-button{border:0;background:none;color:#848e70;padding:0;font-size:9px;text-align:left;line-height:1.4}.link-button:hover{color:#364929}.formula-label .link-button{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;font-size:8px;letter-spacing:0}textarea{width:100%;border:1px solid #d8ddc4;border-radius:5px;background:#f8faee;color:#65734c;padding:12px;font-family:var(--mono);font-size:12px;line-height:1.6;resize:vertical;min-height:61px;max-height:130px;display:block}textarea:focus{outline:2px solid #bacb8e;outline-offset:1px}#consequent{background:#faf8e9;border-color:#e5dec0;color:#857642}.implication-mark{display:flex;align-items:center;justify-content:center;gap:10px;font-family:var(--mono);font-size:7px;color:#aaa88f;height:30px}.implication-mark b{font-weight:400;letter-spacing:2px}.implication-mark>span:last-child{font-size:14px;color:#aaa78b}.expression-status{font-size:8px;color:#91a16f;margin-top:9px;min-height:13px;line-height:1.5}.expression-status.invalid{color:#b56d57}.bounds-row{display:flex;align-items:center;justify-content:space-between;padding-top:18px;border-top:1px solid #ebeadd}.bounds-row label{font-size:7px;line-height:1.7;letter-spacing:1px;color:#9ea28a}.bounds-row strong{font-family:Georgia,serif;font-size:19px;font-weight:400;letter-spacing:-.3px;color:#59674a;display:block;margin-top:3px}.bounds-row select{width:64px;padding-right:26px;font-family:var(--mono);font-size:15px;background-color:#fffef7}.search-space{font-family:var(--mono);font-size:7px;color:#a0a78e;margin-top:9px}.search-space span{color:#788c5e}.mode-label{display:flex;align-items:flex-start;gap:8px;margin-top:18px;margin-bottom:22px;font-size:9px;color:#7c866b;line-height:1.6}.mode-label small{display:block;font-size:8px;color:#a2ac93}.mode-label input{width:12px;height:12px;accent-color:#72894f;margin:2px 0 0;flex-shrink:0}.run-row{display:flex;gap:8px}.button{display:inline-flex;justify-content:space-between;align-items:center;gap:20px;padding:13px 16px;border-radius:5px;font-size:10px;font-weight:500;border:1px solid transparent;transition:transform .15s}.button:not(:disabled):hover{transform:translateY(-1px)}.button.ink{background:#29372b;color:#f5f5de}.button.ink>span{font-size:16px;font-weight:400;color:#bac59d}.button.outline{background:transparent;border-color:#daddca;color:#7c8a66}#run-button{flex:1}.search-progress{margin-top:14px}.search-progress progress{appearance:none;display:block;width:100%;height:3px;border:0;background:#efefdf;border-radius:2px;overflow:hidden}progress::-webkit-progress-bar{background:#efefdf}progress::-webkit-progress-value{background:#a9ba78}progress::-moz-progress-bar{background:#a9ba78}.search-progress>div{display:flex;justify-content:space-between;gap:5px;font-family:var(--mono);font-size:7px;color:#9da88b;margin-top:8px}.grammar-note{display:flex;gap:10px;align-items:center;border-top:1px solid #edeee2;margin-top:21px;padding-top:14px;color:#a3ac94}.grammar-note>span{font-family:Georgia,serif;font-size:24px;color:#c0c7a8}.grammar-note p{font-size:8px;line-height:1.8;margin:0}.grammar-note code{font-family:var(--mono);color:#889b6c}.graph-panel{display:flex;flex-direction:column;min-width:0;background:radial-gradient(ellipse at 57% 40%,#f1f2e3 0,transparent 64%)}.graph-panel-top{padding:26px 28px 0}.graph-code{color:#829568;letter-spacing:0}.graph-title-row{display:flex;align-items:center;justify-content:space-between;gap:10px;margin-top:16px}.graph-title-row h2{font-family:Georgia,serif;font-size:29px;font-weight:400;line-height:1.17;letter-spacing:-.6px;margin:0;color:#536145}.result-pill{display:inline-block;font-family:var(--mono);font-size:7px;letter-spacing:.7px;padding:7px 9px;border-radius:3px;white-space:nowrap;border:1px solid #e3dfbf;background:#f7edb2;color:#87793b}.result-pill.neutral{background:#f0f2e7;border-color:#e1e6d3;color:#94a47e}.result-pill.bounded{background:#e7efda;border-color:#d3e0be;color:#7b9758}.result-pill.cancelled{background:#f0eae0;border-color:#e3d8c8;color:#a18a6b}.graph-stage{position:relative;flex:1;min-height:300px;margin:0 8px;display:flex;align-items:center;justify-content:center;overflow:hidden}#graph{width:100%;height:100%;min-height:290px;max-height:370px;touch-action:none;position:relative;z-index:2;user-select:none}.graph-axis{position:absolute;font-family:var(--mono);font-size:6px;letter-spacing:1.3px;color:#b4bda2;z-index:3;pointer-events:none}.axis-top{left:22px;top:21px}.axis-bottom{bottom:13px;left:50%;transform:translateX(-50%);white-space:nowrap;font-size:6px;letter-spacing:.5px}.graph-watermark{position:absolute;right:18px;bottom:19px;font-family:Georgia,serif;font-size:80px;color:#dde5cc;letter-spacing:-5px;z-index:0}.graph-edge{stroke:#637d48;stroke-width:2.3;stroke-linecap:round;cursor:pointer;transition:stroke .2s}.graph-edge.highlight{stroke:#a79437;stroke-width:3}.graph-edge.bridge{stroke:#c77956;stroke-width:4;stroke-dasharray:8 5}.graph-edge-hit{stroke:transparent;stroke-width:18;cursor:pointer}.graph-node{cursor:grab}.graph-node:active{cursor:grabbing}.graph-node circle{stroke:#5e7841;stroke-width:1.7;transition:fill .2s,stroke .2s}.graph-node text{font-family:var(--mono);font-size:14px;fill:#445934;font-weight:500;pointer-events:none}.node-color-0 circle{fill:#e9dc7c}.node-color-1 circle{fill:#e2ead4}.node-color-2 circle{fill:#e8bca1}.node-color-3 circle{fill:#c6bfdc}.node-color-4 circle{fill:#b6d6d8}.node-color-5 circle{fill:#edcfe0}.graph-node.selected circle{stroke:#c27d46;stroke-width:4}.graph-node .node-degree{font-family:var(--mono);font-size:8px;fill:#99aa81;pointer-events:none}.graph-background-dot{fill:#dae2cb}.graph-toolbar{display:flex;align-items:center;gap:18px;padding:12px 27px;border-top:1px dashed #e3e7d5;border-bottom:1px solid #e3e7d5;font-size:9px}.graph-size-control{display:flex;align-items:center;gap:8px;margin-right:auto;color:#9cab87;white-space:nowrap}.graph-size-control button{border:1px solid #d9e1c9;background:#f5f8ed;color:#829865;width:24px;height:24px;font-size:14px;border-radius:3px;padding:0}.graph-size-control span{font-size:8px}.graph-size-control b{font-weight:500;color:#657c4b}.graph-toolbar .link-button{font-size:8px;white-space:nowrap}.truth-strip{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:22px 28px;border-bottom:1px solid #e5e8d9}.truth-strip>div>span{display:block;font-family:var(--mono);font-size:6px;letter-spacing:1px;color:#a4b091;margin-bottom:7px}.truth-strip strong{font-family:var(--mono);font-size:13px;font-weight:500;color:#769452;display:flex;gap:14px;align-items:center}.truth-strip strong>b{font-size:13px;font-weight:400}.truth-strip strong.false{color:#b78545}.truth-arrow{font-size:23px;color:#adb996}.truth-verdict{font-family:Georgia,serif;font-size:14px;line-height:1.4;letter-spacing:-.15px;color:#959f7f;border-left:1px solid #dce3cd;padding-left:19px}.explanation{display:flex;align-items:flex-start;gap:14px;margin:19px 26px 21px;padding:15px 16px;border:1px solid #e4ddae;background:#f9f2cc;border-radius:6px}.explanation-icon{height:22px;width:22px;display:grid;place-items:center;background:#ece1a6;color:#9c8b44;border-radius:50%;font-family:Georgia,serif;font-size:15px;flex-shrink:0}.explanation strong{display:block;font-size:10px;font-weight:550;line-height:1.5;color:#8e7e3c}.explanation p{font-size:9px;line-height:1.7;color:#a49762;margin:5px 0 0}.explanation.bounded{background:#f0f5e5;border-color:#dfe8cd}.explanation.bounded strong{color:#7b925b}.explanation.bounded p{color:#95a77b}.evidence-panel{border:1px solid var(--line);background:#fbfbf4;border-radius:10px;margin-top:24px;padding:26px 28px}.evidence-heading{display:flex;align-items:center;justify-content:space-between}.evidence-heading h2{font-family:Georgia,serif;font-size:25px;font-weight:400;letter-spacing:-.5px;margin:10px 0 0;color:#59634b}.evidence-heading .button{font-size:9px;padding:10px 13px}.evidence-metrics{display:grid;grid-template-columns:repeat(4,1fr);gap:20px;margin:28px 0 24px}.evidence-metrics>div{border-right:1px solid #e4e6d7;padding-right:10px}.evidence-metrics>div:last-child{border-right:0}.evidence-metrics span{font-family:var(--mono);font-size:7px;letter-spacing:1px;color:#9ea78c;display:block}.evidence-metrics strong{font-family:Georgia,serif;font-size:35px;font-weight:400;letter-spacing:-1px;color:#6f7c56;display:block;margin:8px 0}.evidence-metrics strong.text-metric{font-size:22px;letter-spacing:-.4px;line-height:1.85}.evidence-metrics small{display:block;font-size:8px;color:#acb49d}.coverage{display:flex;gap:9px;margin-bottom:19px}.coverage-order{flex:1;min-width:0;border:1px solid #e2e8d3;border-radius:5px;background:#f0f4e7;padding:10px;font-family:var(--mono);font-size:7px;color:#91a074}.coverage-order.partial{background:#faf5df;border-color:#e7ddbc;color:#aa9764}.coverage-order.unseen{background:#f7f7ef;border-color:#e9eade;color:#bcc1ad}.coverage-order strong{display:block;font-size:11px;font-weight:500;color:inherit;margin-bottom:7px}.coverage-order span{font-size:6px;display:block;line-height:1.5}.evidence-bottom{display:flex;align-items:center;justify-content:space-between;gap:20px;border-top:1px solid #e6e8dc;padding-top:17px}.evidence-bottom p{font-size:9px;color:#9ba88b;line-height:1.8;margin:0;max-width:780px}.evidence-bottom strong{font-weight:550;color:#7f9267}.evidence-bottom .link-button{font-size:8px;white-space:nowrap}.anatomy-panel{margin-top:34px;padding:12px 0}.anatomy-heading{margin-bottom:22px}.anatomy-heading h2{font-family:Georgia,serif;font-size:27px;font-weight:400;color:#697458;letter-spacing:-.5px;margin:12px 0 7px}.anatomy-heading p{font-size:10px;color:#a0aa90}.property-grid{display:grid;grid-template-columns:repeat(6,1fr);gap:10px}.property-card{padding:15px 13px;border:1px solid #e1e5d4;border-radius:6px;background:#fafbf3}.property-card span{font-size:8px;color:#a0ad8d;display:block;line-height:1.4;min-height:12px}.property-card strong{font-family:var(--mono);font-size:15px;font-weight:400;display:block;color:#7c9361;margin-top:10px}.property-card strong.false{color:#bdac83}.adjacency-details{border-top:1px solid #dfe4d2;margin-top:22px;padding-top:17px;color:#a0ac8d;font-size:10px}.adjacency-details summary{display:flex;justify-content:space-between;cursor:pointer;list-style:none;color:#819568}.adjacency-details p{font-size:9px;margin:15px 0}#adjacency-editor{display:flex;flex-wrap:wrap;gap:9px}.adjacency-toggle{border:1px solid #dce4cc;background:#f7faee;color:#9cae81;padding:9px 12px;border-radius:4px;font-family:var(--mono);font-size:9px}.adjacency-toggle.active{background:#e8edbc;border-color:#cbd494;color:#758440}footer{margin:35px 0 25px;display:flex;align-items:center;justify-content:space-between;border-top:1px solid #dce1ce;padding-top:24px;color:#a2ae8f;font-size:8px}.footer-brand{font-size:20px;letter-spacing:-1px;font-weight:500;color:#8c9e73;display:flex;align-items:center;gap:6px}.footer-brand span{font-size:24px;color:#aab58d}footer>span{font-family:var(--mono);font-size:6px;letter-spacing:1px}footer p{font-family:Georgia,serif;font-style:italic;font-size:13px;color:#9caa86}.hidden{display:none!important}.view{animation:enter .3s ease-out}@keyframes enter{from{opacity:.4;transform:translateY(4px)}to{opacity:1;transform:translateY(0)}}.notebook-heading{display:flex;align-items:center;justify-content:space-between;margin:0 0 30px;padding:20px 0}.notebook-heading h2{font-family:Georgia,serif;font-size:32px;font-weight:400;letter-spacing:-.7px;margin:12px 0;color:#5a6b47}.notebook-heading p{font-size:11px;color:#94a27f}#notebook-list{display:grid;grid-template-columns:1fr 1fr;gap:20px;min-height:200px}.notebook-card{background:#fffef5;border:1px solid #dfe4cf;border-radius:9px;padding:25px}.notebook-card-top{display:flex;justify-content:space-between;gap:15px;align-items:center;font-family:var(--mono);font-size:8px;color:#a1ad8e}.notebook-card h3{font-family:var(--mono);font-size:15px;font-weight:400;line-height:1.7;color:#71834f;margin:22px 0 13px;word-break:break-word}.notebook-card h3 span{color:#b1b795;font-size:18px;display:inline-block;margin:0 8px}.notebook-card p{font-size:10px;color:#98a681;line-height:1.7}.notebook-card-buttons{display:flex;gap:20px;margin-top:23px}.notebook-card-buttons .link-button{font-size:10px}.notebook-empty{grid-column:1/-1;border:1px dashed #dce3cb;border-radius:8px;text-align:center;padding:55px 20px;color:#9cab86}.notebook-empty>span{font-family:Georgia,serif;font-size:40px;color:#b6c199}.notebook-empty h3{font-family:Georgia,serif;font-weight:400;font-size:25px;color:#889b6e}.notebook-empty p{font-size:12px;line-height:1.8}.method-grid{display:grid;grid-template-columns:1.1fr 1fr;gap:80px;padding:10px 0 35px}.method-grid h2{font-family:Georgia,serif;font-size:43px;line-height:1.18;font-weight:400;letter-spacing:-1.2px;color:#5a6d43;margin:18px 0 27px}.method-grid p{font-size:13px;line-height:1.9;color:#8c9c76}.method-grid h3{font-size:16px;font-weight:500;color:#778b5c;margin:20px 0 13px}.method-grid ul{padding-left:18px;font-size:12px;line-height:1.85;color:#92a47a}.method-grid li{margin-bottom:10px}.method-callout{border-left:2px solid #cfda9f;padding:20px 22px;background:#edf1dc;color:#879e5d;font-family:Georgia,serif;font-size:20px;line-height:1.5;letter-spacing:-.4px;margin-top:25px}.method-command{display:block;font-family:var(--mono);font-size:11px;background:#e9eeda;padding:17px;border:1px solid #d8e1bf;border-radius:5px;color:#819760;margin:22px 0 30px;overflow:auto}dialog{width:min(820px,calc(100% - 40px));border:1px solid #d7dfc5;border-radius:12px;padding:30px;background:#fbfcf3;color:#697f4f;box-shadow:0 20px 90px #34452450;max-height:86vh}dialog::backdrop{background:#202b2080;backdrop-filter:blur(5px)}.dialog-heading{display:flex;align-items:center;justify-content:space-between;gap:20px}.dialog-heading h2{font-family:Georgia,serif;font-size:31px;font-weight:400;color:#5a7043;letter-spacing:-.7px;margin:10px 0 0}.close-dialog{font-size:27px;background:none;border:0;color:#a0b080;padding:0 5px}dialog>p{font-size:11px;line-height:1.8;color:#9cab84;margin:15px 0 20px}.library-target{display:flex;gap:10px;align-items:center;margin-bottom:20px}.library-target>span{font-family:var(--mono);font-size:8px;margin-right:5px;color:#9eae85}.library-target button{border:1px solid #dbe4ca;background:none;color:#97a87d;font-size:10px;padding:8px 12px;border-radius:4px}.library-target button.active{background:#e9efcd;color:#758d4e;border-color:#d0dda8}#library-list{display:grid;grid-template-columns:1fr 1fr;gap:10px}.library-item{display:block;text-align:left;padding:14px;border:1px solid #e1e7d4;background:#f7faed;border-radius:5px}.library-item strong{display:block;font-size:11px;font-weight:500;color:#7d965a}.library-item code{display:block;font-size:8px;margin-top:5px;color:#a1b084;font-family:var(--mono)}.library-item small{display:block;font-size:9px;line-height:1.6;color:#a0ae89;margin-top:8px}#certificate-content{font-family:var(--mono);font-size:10px;line-height:1.7;max-height:48vh;overflow:auto;background:#edf2dd;border:1px solid #d8e3c3;border-radius:6px;padding:18px;color:#80985d;margin-bottom:22px}.toast{position:fixed;bottom:24px;left:50%;transform:translateX(-50%);background:#30452a;color:#edf3d3;border:1px solid #4f673e;font-size:12px;padding:15px 22px;border-radius:7px;box-shadow:0 5px 30px #21391b33;z-index:30;max-width:600px;line-height:1.6}@media(min-width:1600px){.intro h1{font-size:78px}.graph-stage{min-height:340px}.conjecture-panel{padding:30px}.graph-panel-top{padding:30px}.formula-label{font-size:8px}.mode-label{font-size:10px}.grammar-note p{font-size:9px}.panel-kicker{font-size:9px}}@media(max-width:1150px){.masthead{padding:0 30px}.masthead-note{display:none}main{padding:0 30px}.intro h1{font-size:59px}.heading-star{font-size:65px;right:-55px}.intro-aside{padding-right:0}.intro-aside p{font-size:11px}.intro-aside .small-note{font-size:9px}.laboratory-grid{grid-template-columns:minmax(280px,.9fr) minmax(0,1.2fr)}.conjecture-panel{padding:23px}.graph-panel-top{padding:23px 23px 0}.graph-title-row h2{font-size:25px}.result-pill{font-size:6px;padding:6px}.graph-toolbar{padding:12px 19px;gap:12px}.graph-toolbar .link-button{font-size:7px}.truth-strip{padding:20px;gap:8px}.truth-verdict{font-size:12px;padding-left:12px}.truth-strip strong{font-size:11px}.truth-strip>div>span{font-size:5px}.explanation{margin:18px;padding:13px;gap:10px}.explanation p{font-size:8px}.explanation strong{font-size:9px}.property-grid{grid-template-columns:repeat(4,1fr)}.method-grid{gap:40px}.method-grid h2{font-size:36px}}@media(max-width:900px){.intro h1{font-size:52px}.intro-aside{max-width:265px}.intro-aside p{font-size:10px}.intro-aside .small-note{font-size:8px}.heading-star{display:none}.laboratory-grid{grid-template-columns:1fr 1.2fr}.conjecture-panel{padding:20px}.conjecture-panel h2{font-size:28px}.formula-label{font-size:6px}.formula-label .link-button{font-size:7px}textarea{font-size:11px}.graph-title-row{align-items:flex-start;flex-direction:column}.graph-title-row h2{font-size:25px}.graph-stage{min-height:250px;margin:0}#graph{min-height:250px}.axis-top{display:none}.axis-bottom{font-size:4px}.graph-toolbar{gap:7px;flex-wrap:wrap}.graph-size-control{flex-basis:100%;margin-bottom:4px}.graph-toolbar .link-button{font-size:8px;flex:1}.truth-strip{flex-wrap:wrap}.truth-verdict{flex-basis:100%;border:0;padding:10px 0 0;font-size:13px}.truth-verdict br{display:none}.truth-arrow{margin-left:auto;margin-right:auto}.explanation{margin:13px;padding:12px}.explanation-icon{height:18px;width:18px;font-size:12px}.evidence-metrics{gap:12px}.evidence-metrics strong{font-size:30px}.evidence-metrics strong.text-metric{font-size:18px}.evidence-metrics small{font-size:7px}.coverage{gap:5px}.coverage-order{padding:8px 6px}.coverage-order span{font-size:5px}.evidence-bottom p{font-size:8px}.evidence-bottom .link-button{font-size:7px}.method-grid{grid-template-columns:1fr}.notebook-heading h2{font-size:27px}.notebook-heading p{font-size:10px}.notebook-heading .button{font-size:9px}footer>span{display:none}}@media(max-width:680px){.masthead{height:auto;min-height:105px;padding:19px 20px 0;display:block}.brand{font-size:24px}.brand img{height:27px;width:27px}.masthead nav{gap:24px;margin-top:10px;justify-content:space-between}.nav-button{font-size:10px;padding:13px 0}.nav-button>span{font-size:6px}main{padding:0 18px}.intro{padding:23px 0 26px}.intro-label{font-size:6px;letter-spacing:1px}.intro-grid{display:block;padding-top:19px}.intro h1{font-size:57px;letter-spacing:-2.5px}.intro-aside{max-width:100%;padding:0;margin-top:18px}.intro-aside p{font-size:11px;margin-bottom:0}.intro-aside .small-note{display:none}.laboratory-grid{grid-template-columns:1fr}.conjecture-panel{border-right:0;border-bottom:1px solid #d6d8c7;padding:24px}.conjecture-panel h2{font-size:31px}.conjecture-panel h2 br{display:none}.panel-kicker{font-size:8px}.formula-label{font-size:7px}.formula-label .link-button{font-size:9px}textarea{font-size:13px}.preset-label{font-size:7px}select{font-size:11px}.mode-label{font-size:10px}.mode-label small{font-size:9px}.search-space{font-size:8px}.button{font-size:11px}.search-progress>div{font-size:8px}.grammar-note p{font-size:9px}.graph-panel-top{padding:24px}.graph-title-row{flex-direction:row;align-items:center}.graph-title-row h2{font-size:27px}.result-pill{font-size:6px}.graph-stage{min-height:300px}.axis-bottom{font-size:5px}#graph{min-height:290px}.graph-toolbar{padding:13px 22px;gap:12px}.graph-size-control{flex-basis:auto;margin:0 auto 0 0}.graph-toolbar .link-button{font-size:7px;flex:initial}.truth-strip{padding:23px}.truth-verdict{flex-basis:auto;border-left:1px solid #dce3cd;padding:0 0 0 12px;font-size:12px}.truth-verdict br{display:initial}.truth-strip>div>span{font-size:6px}.truth-arrow{font-size:19px}.explanation{margin:0 20px 20px;padding:14px}.explanation p{font-size:10px}.explanation strong{font-size:11px}.explanation-icon{height:21px;width:21px;font-size:14px}.evidence-panel{padding:23px 20px}.evidence-heading h2{font-size:23px;line-height:1.2}.evidence-heading .button{font-size:8px;padding:9px;gap:6px}.evidence-metrics{grid-template-columns:1fr 1fr;gap:22px;margin-top:26px}.evidence-metrics>div:nth-child(2){border-right:0}.evidence-metrics span{font-size:7px}.evidence-metrics small{font-size:8px}.evidence-metrics strong.text-metric{font-size:21px}.coverage{display:grid;grid-template-columns:repeat(3,1fr);gap:7px}.coverage-order{padding:10px}.coverage-order strong{font-size:12px}.coverage-order span{font-size:7px}.evidence-bottom{align-items:flex-start;flex-direction:column;gap:13px}.evidence-bottom p{font-size:10px}.evidence-bottom .link-button{font-size:9px}.anatomy-heading h2{font-size:26px}.anatomy-heading p{font-size:10px;line-height:1.7}.property-grid{grid-template-columns:repeat(3,1fr);gap:8px}.property-card{padding:13px 10px}.property-card span{font-size:7px}.property-card strong{font-size:14px}.notebook-heading{display:block}.notebook-heading p{font-size:11px;line-height:1.7}.notebook-heading .button{font-size:10px;margin-top:12px}#notebook-list{grid-template-columns:1fr}.method-grid{gap:30px}.method-grid h2{font-size:34px}.method-grid p{font-size:12px}.method-grid ul{font-size:12px}.method-callout{font-size:20px}footer{flex-wrap:wrap;gap:15px;margin-top:24px}footer p{font-size:11px;margin:0}.footer-brand{font-size:18px}dialog{padding:23px}.dialog-heading h2{font-size:27px}#library-list{grid-template-columns:1fr}.library-item strong{font-size:12px}.library-item small{font-size:10px}.toast{left:18px;right:18px;transform:none;max-width:none;font-size:11px;bottom:18px}.graph-watermark{font-size:65px;right:18px;bottom:18px}}