@import"https://fonts.googleapis.com/css2?family=DM+Sans:wght@400;450;500;550;600;650;700&family=IBM+Plex+Mono:wght@400;450;500;600&family=Instrument+Serif:ital@0;1&display=swap";:root{font-family:DM Sans,sans-serif;color:#183342;background:#f7f7f3;font-synthesis:none;font-weight:400;font-size:14px;line-height:1.6;--ink:#173343;--navy:#102b3b;--teal:#277b74;--line:#d8dfdc;--muted:#6a777a;--paper:#fff;--mono:"IBM Plex Mono",monospace}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:100px}body{margin:0}button,input,textarea,select{font:inherit}button,a,input,select{-webkit-tap-highlight-color:transparent}button{cursor:pointer}button:disabled{cursor:not-allowed;opacity:.45}button{color:inherit}a{color:inherit;text-decoration:none}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible{outline:2px solid var(--teal);outline-offset:4px}button{border:0}p,h1,h2,h3{margin-top:0}svg{flex-shrink:0}.shell{width:min(1240px,calc(100% - 96px));margin:0 auto}.site-header{height:82px;background:var(--navy);color:#f6f7f3;display:flex;align-items:center}.nav-shell{width:min(1344px,calc(100% - 80px));margin:auto;display:flex;align-items:center;gap:70px}.brand{display:flex;gap:12px;align-items:center;font-size:25px;font-weight:550;letter-spacing:-1.1px;line-height:1}.brand-mark{height:32px;width:32px;border:1px solid #73918f;display:flex;align-items:center;padding-left:6px;font-family:var(--mono);font-size:22px;letter-spacing:-5px;color:#b1d5cb}.brand-mark span{font-size:20px;margin-left:3px;margin-top:-6px;letter-spacing:-2px}.brand-two{color:#9ac6bc}.brand-dot{color:#79a69c}.site-header nav{display:flex;gap:30px;height:82px;align-items:stretch}.site-header nav a{display:flex;align-items:center;gap:7px;font-size:12px;color:#acb9bd;position:relative}.site-header nav a:hover,.site-header nav a.active{color:#f5f7f6}.site-header nav a.active:after{content:"";position:absolute;bottom:0;left:0;right:0;height:2px;background:#a0c8b8}.nav-count{font-size:9px;border:1px solid #52666e;border-radius:3px;padding:0 4px;line-height:15px}.github-link{margin-left:auto;display:flex;gap:8px;align-items:center;font-size:12px;color:#d5dfdf}.hero{display:grid;grid-template-columns:1.35fr 1fr;gap:120px;padding:68px 0 66px;align-items:center}.eyebrow{display:flex;align-items:center;gap:8px;font-family:var(--mono);font-size:9px;font-weight:500;letter-spacing:1.4px;line-height:1.5;color:#596f72}.tiny-square{height:5px;width:5px;background:#2a7b71}.hero h1{font-family:"Instrument Serif",Georgia,serif;font-size:76px;font-weight:400;letter-spacing:-1.2px;line-height:1.02;margin:19px 0 22px}.hero h1 span{color:#2b766f;font-style:italic}.hero p{font-size:15px;line-height:1.8;color:#68777b;margin-bottom:24px}.hero-links{display:flex;gap:25px;align-items:center}.text-link{display:inline-flex;align-items:center;gap:10px;background:none;padding:0;font-size:12px;font-weight:600;color:var(--teal)}.text-link:hover{color:#143d3b}.quiet-button{display:inline-flex;align-items:center;justify-content:center;gap:7px;background:none;font-size:11px;color:#65767b;padding:4px 0}.quiet-button:hover{color:var(--teal)}.proof-path{border:1px solid #c9d8d2;background:#f0f4ee;position:relative}.proof-path:before{content:"";position:absolute;inset:8px -9px -9px 8px;z-index:-1;border:1px solid #dde3dc}.path-header{padding:15px 22px;border-bottom:1px solid #d4e0d8;display:flex;justify-content:space-between;align-items:center;font-family:var(--mono);font-size:8px;letter-spacing:1.15px;color:#59726c}.path-row{display:flex;align-items:center;gap:18px;padding:16px 22px}.path-row>svg{margin-left:auto;color:#427c72;stroke-width:1.3}.path-number{font-family:var(--mono);font-size:10px;color:#8ca29a}.path-row div{display:flex;flex-direction:column}.path-row strong{font-weight:500;font-size:17px;line-height:1.4}.path-row div>span{font-size:10px;color:#6c807a}.path-line{width:1px;height:13px;background:#bdcec4;margin-left:69px}.path-footer{margin:5px 22px 0;padding:14px 0;display:flex;align-items:center;gap:7px;border-top:1px solid #d4e0d8;font-family:var(--mono);font-size:7px;letter-spacing:.8px;color:#5d7770}.path-footer>span:last-child{margin-left:auto}.status-dot{width:6px;height:6px;background:#4b9582;border-radius:100%;display:inline-block;flex-shrink:0}.section-heading{display:flex;justify-content:space-between;align-items:center;margin-bottom:21px}.section-heading h2{font-family:"Instrument Serif",Georgia,serif;font-size:30px;font-weight:400;margin:7px 0 0;letter-spacing:-.3px}.runtime-pill{display:flex;gap:7px;align-items:center;border:1px solid #d6dfd8;background:#eff3ed;padding:7px 11px;font-size:10px;color:#607772}.workbench-frame{border:1px solid #cdd8d8;background:#fff;box-shadow:0 6px 25px #17334305}.workbench-toolbar{height:48px;background:#edf1f2;display:flex;align-items:stretch;border-bottom:1px solid #ced9db}.file-tab{display:flex;gap:9px;align-items:center;padding:0 20px;font-size:11px;font-family:var(--mono);background:#fff;border-right:1px solid #d7dfe0;color:#3f5765;position:relative}.file-tab:before{content:"";height:2px;position:absolute;top:-1px;left:0;right:0;background:#2b7d76}.file-dot{width:5px;height:5px;background:#9eb5ab;border-radius:50%;margin-left:6px}.example-select{margin-left:auto;display:flex;gap:11px;align-items:center;padding-right:18px}.example-select label{font-family:var(--mono);font-size:8px;letter-spacing:1px;color:#829093}.example-select select{background:none;border:0;appearance:none;font-size:10px;color:#3f5968;max-width:180px;padding:6px 0;cursor:pointer}.example-select>svg{margin-left:-6px;color:#728b91}.editor-grid{display:grid;grid-template-columns:1fr 1fr}.editor-pane{padding:0;border-right:1px solid #d6dfe1;overflow:hidden}.editor-pane:last-child{border-right:0}.pane-heading{height:47px;display:flex;justify-content:space-between;align-items:center;padding:0 20px;border-bottom:1px solid #e6ebeb}.pane-heading>span:first-child{display:flex;gap:9px;align-items:center;font-size:11px;font-weight:600}.pane-heading>span:last-child{font-family:var(--mono);font-size:7px;letter-spacing:1px;color:#98a5a8}.pane-number{font-family:var(--mono);font-size:9px;font-weight:400;color:#90a7ad}.field-label{display:block;font-family:var(--mono);font-size:8px;letter-spacing:1px;color:#75898d;margin:17px 20px 5px}.name-input{display:block;width:calc(100% - 40px);margin:0 20px 14px;border:1px solid #dce3e3;background:#fbfcfb;padding:7px 10px;font-family:var(--mono);font-size:11px;color:#3f6873}.editor-label{font-family:var(--mono);font-size:8px;letter-spacing:1px;color:#75898d;padding:5px 20px;display:flex;align-items:center;gap:12px}.editor-label span{font-family:DM Sans,sans-serif;font-size:9px;font-weight:400;letter-spacing:0;color:#9ba8ac}.statement-label{border-top:1px solid #e5e9e8;padding-top:10px}.code-editor{font-family:var(--mono);font-size:10px;line-height:1.9}.code-editor .cm-editor{font-family:var(--mono);font-size:10px}.code-editor .cm-gutters{background:#fff;border:none;color:#c0c9cb}.code-editor .cm-lineNumbers .cm-gutterElement{padding-left:12px;min-width:33px;font-size:9px}.code-editor .cm-content{padding:9px 0}.code-editor .cm-line{padding-left:8px;padding-right:15px}.code-editor .cm-activeLine,.code-editor .cm-activeLineGutter{background:#f5f8f6}.code-editor .cm-focused{outline:none!important}.proof-subheading{display:flex;justify-content:space-between;padding:15px 20px 0;line-height:20px;font-size:9px;color:#a1adb0}.proof-subheading>span:first-child{font-family:var(--mono);color:#8a4c76;font-size:11px}.proof-tools{display:flex;justify-content:space-between;gap:10px;padding:8px 20px 11px;border-top:1px solid #edf0f0}.proof-tools .quiet-button{font-size:9px}.source-preview{border-top:1px solid var(--line)}.source-preview .pane-heading{background:#f4f6f5}.action-bar{display:flex;justify-content:space-between;align-items:center;padding:13px 18px;border-top:1px solid #d8e0e0;background:#fafbfa}.action-caption{display:flex;gap:7px;align-items:center;color:#8d9b9c;font-size:9px}.actions{display:flex;gap:9px}.button{display:inline-flex;align-items:center;justify-content:center;gap:8px;padding:10px 15px;font-size:10px;font-weight:500;line-height:1.35;border:1px solid transparent;white-space:nowrap;transition:background .15s,border-color .15s}.button.primary{background:var(--navy);color:#fff;border-color:var(--navy)}.button.primary:hover{background:#214b5a;border-color:#214b5a}.button.secondary{background:#fff;color:#516b74;border-color:#d2dddf}.button.secondary:hover{background:#f0f5f1;border-color:#a4beb5}.verification-panel{padding:20px 22px 23px;border-top:1px solid #d4dfe0;background:#edf2f4;min-height:110px;color:#526c79}.verification-title{display:flex;gap:10px;align-items:center}.verification-title strong{font-size:11px;font-weight:500}.verification-scope{margin-left:auto;font-family:var(--mono);font-size:7px;letter-spacing:1px;color:#8a9da3}.verification-panel pre{font-family:var(--mono);font-size:9px;line-height:1.9;white-space:pre-wrap;word-break:break-word;margin:10px 0 0 30px;color:#718590;max-height:190px;overflow:auto}.verification-panel p{font-size:10px;margin:9px 0 0 30px}.verification-panel.success{background:#edf5ef;color:#2c7467;border-color:#c9ded0}.verification-panel.success pre{color:#4d8577}.elapsed{font-family:var(--mono);font-size:8px;border:1px solid #c3dbcc;background:#e6f1e9;padding:1px 5px;color:#4f8979}.verification-note{font-size:9px;border-top:1px solid #d1e2d4;padding-top:10px;margin:12px 0 0 30px;color:#6b8b7e}.workbench-footnote{display:flex;justify-content:space-between;gap:20px;font-size:8px;color:#94a1a3;padding:12px 0}.workbench-footnote a{display:flex;align-items:center;gap:5px;color:#668582}.below-workbench{display:grid;grid-template-columns:1fr 1fr;gap:110px;padding:85px 0 82px;border-bottom:1px solid #d8dfda;margin-bottom:27px}.below-workbench h2{font-family:"Instrument Serif",Georgia,serif;font-size:38px;line-height:1.08;font-weight:400;margin:14px 0 16px}.below-workbench p{color:#7c898a;font-size:12px;line-height:1.9;max-width:380px;margin-bottom:21px}.terminal-card{background:#142d3a;color:#d4e0df;align-self:center;box-shadow:7px 7px #e4e9e2}.terminal-card>div{display:flex;align-items:center;gap:9px;padding:13px 18px;border-bottom:1px solid #2a424d;color:#7c989d;font-family:var(--mono);font-size:7px;letter-spacing:1px}.terminal-card>div>svg:last-child{margin-left:auto;cursor:pointer}.terminal-card pre{padding:20px 23px 13px;margin:0;font-family:var(--mono);font-size:9px;line-height:2.1;white-space:pre-wrap}.terminal-muted{color:#749297}.terminal-dollar{color:#a2d6bb}.terminal-card>button{width:100%;border-top:1px solid #2a424d;background:none;color:#acc5c5;display:flex;align-items:center;justify-content:space-between;padding:12px 20px;font-size:9px}.site-footer{display:flex;align-items:center;gap:22px;padding:15px 0 34px;font-size:8px;color:#8a999a}.footer-brand{font-weight:600;letter-spacing:-.5px;font-size:16px;color:#44656d}.site-footer>div{margin-left:auto;display:flex;align-items:center;gap:24px}.site-footer>div>a{display:flex;align-items:center;gap:4px;color:#698181}.site-footer>div>span{font-family:var(--mono);font-size:6px;letter-spacing:.8px;color:#9aa6a4}.inner-page{padding-top:55px;min-height:calc(100vh - 180px);padding-bottom:75px}.page-heading{display:flex;justify-content:space-between;align-items:center;margin-top:14px;margin-bottom:35px;gap:20px}.page-heading h1{font-family:"Instrument Serif",Georgia,serif;font-weight:400;font-size:49px;line-height:1.1;margin-bottom:12px;letter-spacing:-.6px}.page-heading p{font-size:12px;color:#7a898c;margin-bottom:0}.library-layout{display:grid;grid-template-columns:minmax(0,1fr) 260px;gap:30px}.library-main{min-width:0}.library-toolbar{display:flex;gap:12px}.search-field{display:flex;align-items:center;gap:9px;border:1px solid #d4dedd;padding:10px 13px;background:#fff;flex:1;color:#8d9e9f}.search-field input{width:100%;border:0;outline:none;font-size:11px;background:none;color:var(--ink);min-width:0}.search-field kbd{font-family:var(--mono);font-size:9px;border:1px solid #e1e6e5;padding:0 5px;color:#9ea9a8}.library-toolbar select{background:#fff;border:1px solid #d4dedd;font-size:10px;padding:8px 10px;color:#627c7e}.library-summary{display:flex;justify-content:space-between;align-items:center;padding:16px 0;font-family:var(--mono);font-size:8px;letter-spacing:1px;color:#7d9290}.library-summary>div{display:flex;gap:20px}.library-summary .quiet-button{font-family:DM Sans,sans-serif;letter-spacing:0;font-size:10px}.empty-library{min-height:425px;border:1px dashed #cbd8d3;display:flex;align-items:center;justify-content:center;text-align:center;flex-direction:column;padding:40px;background:#f3f5ef}.empty-icon{border:1px solid #d1ddd3;background:#eaf0e7;width:64px;height:64px;display:flex;align-items:center;justify-content:center;color:#658b7d;margin-bottom:19px}.empty-library h2{font-family:"Instrument Serif",Georgia,serif;font-size:32px;font-weight:400;margin-bottom:11px}.empty-library p{font-size:11px;line-height:1.9;color:#80918c;max-width:310px;margin-bottom:22px}.storage-note{border:1px solid #d5dfd7;padding:22px;background:#eef3eb}.storage-note>svg{color:#6b9384;stroke-width:1.3}.storage-note h3{font-size:16px;font-weight:500;margin:14px 0 10px}.storage-note p,.cloud-panel p{font-size:10px;line-height:1.9;color:#758b83;margin-bottom:22px}.storage-stat{display:flex;justify-content:space-between;align-items:center;border-top:1px solid #d8e1d7;padding:10px 0;font-size:9px;color:#80968b}.storage-stat:last-child{padding-bottom:0}.storage-stat strong{font-family:var(--mono);font-size:19px;font-weight:400;color:#3d7060}.storage-stat code{font-family:var(--mono);font-size:8px;color:#598373}.cloud-panel{border:1px solid #d8dfdc;padding:20px;margin-top:17px;background:#fff}.cloud-heading{display:flex;align-items:center;gap:9px;font-family:var(--mono);font-size:7px;letter-spacing:.7px;color:#547575;margin-bottom:14px}.cloud-panel p{margin-bottom:16px;color:#81918e}.cloud-panel input{width:100%;border:1px solid #d8dfdc;padding:8px 9px;font-size:10px;background:#fafbf9;margin-bottom:8px}.cloud-panel .button{width:100%;margin-bottom:8px;font-size:9px;padding:9px 8px}.cloud-panel .fine-print{display:block;font-size:8px;margin-top:10px;color:#98a5a0}.sign-out{font-size:9px}.schema-link{display:flex;align-items:center;gap:8px;font-size:9px;color:#79918a;padding:19px 0}.schema-link>svg:last-child{margin-left:auto}.proof-list{display:grid;grid-template-columns:1fr 1fr;gap:16px}.proof-card{border:1px solid #d6dfd9;background:#fff;padding:19px 20px;min-width:0}.proof-card-top{display:flex;justify-content:space-between;align-items:center;margin-bottom:13px}.proof-status{font-family:var(--mono);font-size:7px;color:#8a9694;display:flex;align-items:center;gap:5px;letter-spacing:.2px}.proof-status.is-verified{color:#4c8b75}.proof-card h3{font-size:15px;font-weight:500;margin-bottom:12px;line-height:1.4}.proof-card h3 button{background:none;padding:0;text-align:left}.proof-card h3 button:hover{color:var(--teal)}.proof-card pre{font-family:var(--mono);font-size:9px;line-height:1.8;color:#6e858c;white-space:pre-wrap;word-break:break-word;background:#f4f7f5;padding:10px 12px;min-height:60px;margin:0 0 14px;max-height:115px;overflow:auto}.proof-tags{display:flex;gap:5px;flex-wrap:wrap}.proof-tags span{background:#f0f3ed;color:#7d9283;border:1px solid #e3e9e0;padding:1px 6px;font-size:7px}.proof-card-bottom{display:flex;align-items:center;justify-content:space-between;gap:8px;border-top:1px solid #edf0eb;padding-top:15px;margin-top:18px}.proof-card-bottom>span{font-family:var(--mono);font-size:6px;color:#a0adaa}.proof-card-bottom .text-link{font-size:8px;gap:6px}.docs-layout{display:grid;grid-template-columns:210px 1fr;gap:60px;border-top:1px solid #d7dfd9;padding-top:36px}.docs-nav{display:flex;flex-direction:column;gap:14px;align-self:start;position:sticky;top:30px}.docs-nav a{font-size:10px;color:#81918f}.docs-nav a:first-child{color:#2a7970;border-left:2px solid #2c8377;padding-left:12px;margin-left:-14px}.docs-content{max-width:700px}.docs-content>section{border-bottom:1px solid #dce3dc;padding-bottom:30px;margin-bottom:34px;position:relative;scroll-margin-top:30px}.doc-number{position:absolute;left:-45px;top:9px;font-family:var(--mono);font-size:8px;color:#9dafaa}.docs-content h2{font-family:"Instrument Serif",Georgia,serif;font-size:32px;font-weight:400;margin-bottom:15px}.docs-content p{font-size:12px;line-height:1.9;color:#758886}.docs-content strong{font-weight:600;color:#4d706b}.docs-content code{font-family:var(--mono);font-size:10px;color:#47786c;background:#eaf0e8;padding:2px 4px;overflow-wrap:anywhere}.docs-content p>a{text-decoration:underline;text-decoration-color:#b3c6bc;text-underline-offset:3px;color:#507c71}.doc-callout{display:flex;gap:12px;align-items:start;background:#ecf2e9;border:1px solid #d5e0d0;padding:16px 19px;margin-top:23px;color:#6a957e}.doc-callout p{margin:0;font-size:10px;line-height:1.9}.doc-code{background:var(--navy);color:#bfddd2;padding:22px 25px;font-family:var(--mono);font-size:10px;line-height:1.9;white-space:pre-wrap;word-break:break-word;margin:20px 0}.paper-page{padding-top:60px}.paper-layout{display:grid;grid-template-columns:1fr 1fr;gap:90px;margin-top:45px;align-items:center;padding-bottom:40px}.paper-status{font-family:var(--mono);font-size:7px;letter-spacing:.8px;color:#849b90}.paper-page h1{font-family:"Instrument Serif",Georgia,serif;font-weight:400;font-size:73px;letter-spacing:-2px;margin:16px 0 15px;line-height:1}.paper-page h2{font-family:"Instrument Serif",Georgia,serif;font-size:32px;font-weight:400;line-height:1.2;color:#547a70;max-width:440px}.paper-author{font-size:12px;color:#7c9186;margin:28px 0}.paper-buttons{display:flex;gap:10px;margin-bottom:24px}.fine-print{font-size:9px;color:#859991;line-height:1.8}.paper-layout>div>.fine-print{max-width:370px}.paper-sheet{background:#fff;padding:32px 36px;border:1px solid #dbe1d8;box-shadow:8px 8px #e8ece4}.paper-sheet-header{display:flex;justify-content:space-between;font-family:var(--mono);font-size:6px;letter-spacing:1px;color:#9aa89f;padding-bottom:28px}.paper-sheet h3{font-family:"Instrument Serif",Georgia,serif;font-size:37px;font-weight:400;line-height:1.1;margin-bottom:23px}.paper-rule{height:1px;background:#dbe4d9;margin-bottom:22px}.paper-sheet p{font-family:Georgia,serif;font-size:11px;line-height:1.9;color:#7d8d83;margin:14px 0}.paper-keywords{font-family:var(--mono);font-size:6px;letter-spacing:.4px;color:#a2b2a3;margin:25px 0;padding-bottom:21px;border-bottom:1px solid #e3e9df}.paper-sheet>a{font-size:9px;display:flex;justify-content:space-between;align-items:center;color:#5b8471}.toast{position:fixed;z-index:50;bottom:24px;left:50%;transform:translate(-50%);max-width:min(680px,calc(100% - 32px));display:flex;align-items:center;gap:12px;background:#163b43;color:#f2f6f0;padding:14px 17px;box-shadow:0 8px 25px #173c3526;font-size:11px}.toast>svg{color:#a2cdbb}.toast .icon-button{color:#b5c7c4;margin-left:15px}.icon-button{display:inline-flex;align-items:center;justify-content:center;background:none;padding:4px;color:#8ca29e;flex-shrink:0}.icon-button:hover{color:var(--teal)}.modal-overlay{position:fixed;inset:0;background:#102b3b66;z-index:40;display:flex;align-items:center;justify-content:center;padding:24px;-webkit-backdrop-filter:blur(3px);backdrop-filter:blur(3px)}.modal{width:460px;max-width:100%;max-height:90vh;overflow:auto;background:#fafbf7;padding:30px;border:1px solid #e1e8df;box-shadow:0 20px 90px #0e283c35}.modal-heading{display:flex;align-items:flex-start;justify-content:space-between;gap:15px;margin-bottom:26px}.modal-heading h2{font-family:"Instrument Serif",Georgia,serif;font-size:34px;font-weight:400;margin:8px 0 0;line-height:1.1}.modal .field-label{margin:19px 0 7px}.modal .field-label span{letter-spacing:0;font-size:8px;color:#a0afa7}.modal>input{width:100%;border:1px solid #d5dfd4;background:#fff;padding:10px 11px;font-size:12px;color:#4d7165}.save-status{display:flex;align-items:center;gap:9px;color:#74927e;font-size:10px;padding:18px 0 6px}.modal .fine-print{margin-top:10px;margin-bottom:20px}.modal>.button{width:100%}.detail-modal{width:650px}.hash-value{font-family:var(--mono);font-size:9px;line-height:1.9;color:#759887;background:#edf3e9;padding:7px 10px;display:block;word-break:break-all}.detail-modal>p{font-size:10px;color:#80998a}.record-diagnostics{font-family:var(--mono);font-size:9px;background:#edf2e9;padding:15px;color:#678d78;white-space:pre-wrap;max-height:170px;overflow:auto}.detail-actions{display:flex;gap:7px;margin-top:23px}.detail-actions .button{font-size:9px;padding:9px 10px}.danger{margin-left:auto}.danger:hover{color:#a3493f}.sr-only{position:absolute;left:-10000px;width:1px;height:1px;overflow:hidden}.spin{animation:spin 1.3s linear infinite}.pulse{animation:pulse 1.4s ease-in-out infinite}@keyframes spin{to{transform:rotate(360deg)}}@keyframes pulse{50%{opacity:.3}}::selection{background:#cce6d6;color:#234f44}@media(min-width:1450px){.hero{padding-top:80px;padding-bottom:78px;gap:160px}.hero h1{font-size:85px}.code-editor .cm-editor{font-size:11px}.shell{width:min(1280px,calc(100% - 140px))}.hero p{font-size:16px}}@media(max-width:1050px){.shell{width:calc(100% - 56px)}.nav-shell{width:calc(100% - 50px);gap:40px}.site-header nav{gap:22px}.hero{gap:60px;padding-top:56px}.hero h1{font-size:66px}.hero p{font-size:13px}.proof-path{max-width:375px}.hero-links{gap:19px}.below-workbench{gap:65px}.library-layout{grid-template-columns:minmax(0,1fr) 230px;gap:23px}.proof-list{grid-template-columns:1fr}.paper-layout{gap:50px}.paper-sheet{padding:28px}.paper-page h2{font-size:28px}.docs-layout{grid-template-columns:150px 1fr;gap:50px}.site-footer>div{gap:17px}}@media(max-width:760px){.shell{width:calc(100% - 36px)}.site-header{height:auto}.nav-shell{width:calc(100% - 36px);gap:0;flex-wrap:wrap;padding-top:18px}.brand{font-size:23px}.brand-mark{height:29px;width:29px}.github-link{margin-left:auto;font-size:10px}.site-header nav{order:3;width:100%;height:54px;gap:0;justify-content:space-between;margin-top:9px}.site-header nav a{font-size:10px}.hero{grid-template-columns:1fr;gap:35px;padding:41px 0 46px}.hero h1{font-size:68px;margin-top:16px}.hero p{font-size:13px}.eyebrow{font-size:7px;letter-spacing:1px}.hero-links{gap:25px}.proof-path{max-width:none}.path-row{padding:10px 20px}.path-row strong{font-size:15px}.path-line{height:8px}.path-header{padding:11px 20px}.path-footer{padding:11px 0}.section-heading{align-items:flex-start;gap:10px}.section-heading h2{font-size:27px}.runtime-pill{font-size:8px;padding:6px 7px;margin-top:18px}.file-tab{padding:0 12px;font-size:9px;gap:6px;max-width:52%}.file-tab>span:first-of-type{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.example-select{padding-right:10px;gap:5px}.example-select label{display:none}.example-select select{font-size:9px;max-width:145px}.editor-grid{grid-template-columns:1fr}.editor-pane{border-right:0;border-bottom:1px solid #d6dfe1}.editor-pane.proof-pane{border-bottom:0}.pane-heading{padding:0 15px;height:43px}.pane-heading>span:last-child{font-size:6px;letter-spacing:.7px}.proof-tools{padding:9px 15px}.proof-subheading{padding-left:15px;padding-right:15px}.action-bar{padding:12px;align-items:flex-start;gap:10px;flex-direction:column}.action-caption{font-size:8px}.actions{width:100%;justify-content:flex-end}.button{font-size:9px;padding:10px 13px}.verification-panel{padding:17px 14px}.verification-title{gap:7px}.verification-title strong{font-size:10px}.verification-scope{font-size:5px;letter-spacing:.4px}.verification-panel pre{font-size:8px;margin-left:27px}.verification-note{margin-left:27px;font-size:8px}.workbench-footnote{flex-direction:column;gap:5px;font-size:7px}.below-workbench{grid-template-columns:1fr;gap:35px;padding:46px 0 43px}.below-workbench h2{font-size:35px}.below-workbench p{font-size:11px}.terminal-card pre{font-size:8px}.site-footer{flex-wrap:wrap;gap:9px;padding-bottom:26px}.site-footer>span{font-size:7px}.site-footer>div{width:100%;margin-top:7px;gap:16px}.site-footer>div>span{margin-left:auto;font-size:5px}.inner-page{padding-top:35px;padding-bottom:45px}.page-heading{align-items:flex-start;margin-bottom:25px}.page-heading h1{font-size:37px;line-height:1.05}.page-heading p{font-size:10px}.page-heading .button{font-size:8px;padding:9px 10px;gap:5px}.library-layout{grid-template-columns:1fr}.library-toolbar{gap:7px}.search-field{padding:9px 10px;gap:7px}.search-field input{font-size:10px}.library-toolbar select{font-size:8px;max-width:100px}.library-aside{display:grid;grid-template-columns:1fr;gap:14px}.cloud-panel{margin-top:0}.storage-note{padding:20px}.empty-library{min-height:330px;padding:30px 22px}.empty-library h2{font-size:29px}.empty-library p{font-size:10px}.proof-list{grid-template-columns:1fr}.proof-card-bottom>span{font-size:7px}.proof-card-bottom .text-link{font-size:9px}.docs-layout{grid-template-columns:1fr;gap:30px;padding-top:22px}.docs-nav{position:static;flex-direction:row;flex-wrap:wrap;gap:10px 18px;border-bottom:1px solid #dce4db;padding-bottom:20px}.docs-nav a{font-size:9px}.docs-nav a:first-child{border-left:0;padding-left:0;margin-left:0}.doc-number{position:static;display:block;margin-bottom:5px}.docs-content h2{font-size:29px}.docs-content p{font-size:11px}.doc-code{padding:18px;font-size:9px}.paper-layout{grid-template-columns:1fr;gap:40px;margin-top:30px;padding-bottom:0}.paper-page h1{font-size:63px}.paper-page h2{font-size:29px}.paper-author{margin:21px 0}.paper-sheet{padding:27px}.paper-sheet h3{font-size:35px}.modal{padding:24px}.modal-heading h2{font-size:30px}.detail-actions{flex-wrap:wrap}.detail-actions .button{font-size:8px;padding:9px}.toast{bottom:16px;font-size:10px;max-width:calc(100% - 24px);padding:12px 13px;gap:9px;width:max-content}.toast>span{max-width:250px}.hero-links .text-link,.hero-links .quiet-button{font-size:10px}}@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;animation-duration:0s!important;transition:none!important}}.terminal-card>div>.icon-button{margin-left:auto;color:#7c989d;padding:0}.terminal-card>div>.icon-button:hover{color:#b7d8ca}.download-links{display:flex;flex-wrap:wrap;gap:8px;margin:17px 0 23px}.download-links a{display:flex;align-items:center;gap:7px;border:1px solid #d6dfd5;padding:8px 11px;font-size:9px;color:#5e8274;background:#f1f5ee}.download-links a:hover{background:#e6eee2}.download-links a span{font-family:var(--mono);font-size:7px;color:#91a18e}.paper-author>a{font-size:9px;display:block;margin-top:5px;color:#8a9f94}.auth-callback{min-height:65vh;max-width:760px;padding-top:80px}.auth-callback-card{margin-top:24px;padding:36px;border:1px solid #d6dfd5;background:#f1f5ee;color:#314a4c}.auth-callback-card>svg{color:#638b7d}.auth-callback-card h1{font-family:var(--serif);font-size:clamp(30px,5vw,46px);font-weight:400;line-height:1.15;margin:20px 0 16px}.auth-callback-card p{font-size:14px;line-height:1.7;max-width:540px;margin-bottom:24px}.cloud-panel .auth-error{border-left:2px solid #a16d52;padding-left:10px;color:#80543f}.site-header a[aria-disabled=true],.footer-brand[aria-disabled=true]{opacity:.5;cursor:wait}