style.css (15720B)
1 :root{color-scheme:light;--paper:#f5f2ea;--ink:#202d29;--muted:#626d65;--green:#235a43;--line:#d8dcd0;--panel:#fffef9;--code:#172a24;font-family:system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif} 2 *{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:var(--paper);color:var(--ink)}a{color:var(--green);text-underline-offset:4px}button,input,select{font:inherit}button,.button{border:1px solid var(--line);background:var(--panel);color:var(--ink);border-radius:6px;padding:10px 14px;cursor:pointer;text-decoration:none;display:inline-block;min-height:44px}button:hover:not(:disabled),.button:hover{border-color:var(--green)}button:disabled{cursor:default;opacity:.45}button.primary,.button.primary{background:var(--green);color:white;border-color:var(--green)}:focus-visible{outline:3px solid #b65b28;outline-offset:3px}.wrap{max-width:1120px;margin:auto;padding-inline:28px}header{display:flex;justify-content:space-between;align-items:center;padding-block:28px;border-bottom:1px solid var(--line);gap:20px}.wordmark{font-weight:800;font-size:25px;text-decoration:none}.wordmark span{font-size:13px;font-weight:400;color:var(--muted)}nav{display:flex;gap:22px;font-size:14px}.hero{padding-block:64px;position:relative}.eyebrow{font:600 12px ui-monospace,monospace;letter-spacing:.12em;text-transform:uppercase;color:var(--green)}.pronunciation{text-transform:none;letter-spacing:normal}h1{font-size:clamp(48px,6vw,78px);line-height:1.03;letter-spacing:-.055em;font-weight:650;margin:22px 0}h1 span{color:var(--green)}.intro{max-width:570px;font-size:19px;line-height:1.7;color:var(--muted)}.shapes{display:flex;gap:35px;margin:28px 0 35px}.shapes div{width:100px;text-align:center}.shapes svg{width:100px;height:80px;display:block;fill:var(--green)}.shapes>div:first-child circle{transform:translateY(18.5px)}.shapes path{stroke:var(--green);stroke-width:2;fill:none}.shapes strong,.shapes code{display:block;font-size:13px;margin-top:5px}.shapes code{color:var(--muted)}h2{font-size:36px;letter-spacing:-.035em;font-weight:600;margin:8px 0 16px}h3{font-size:15px;font-weight:650;margin:0 0 12px}.hint{font-size:12px;line-height:1.7;color:var(--muted);overflow-wrap:anywhere}label{display:block;font-size:12px;font-weight:600;margin-bottom:6px}select,textarea,input:not([type=checkbox]){font:inherit;background:var(--panel);color:var(--ink);border:1px solid var(--line);border-radius:4px;padding:9px;width:100%;min-width:0}select{min-height:44px}textarea{resize:vertical;font:14px/1.6 ui-monospace,monospace}pre{font:14px/1.65 ui-monospace,monospace;white-space:pre-wrap;overflow-wrap:anywhere}details{margin-top:14px;font-size:13px}summary{cursor:pointer;color:var(--green);min-height:32px}button,input,select,textarea{touch-action:manipulation}[hidden]{display:none!important}.sr-only{position:absolute;width:1px;height:1px;padding:0;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap}.error{color:#9b3422}.input-row{display:flex;gap:8px;margin-bottom:12px}.input-row button{white-space:nowrap}.check{display:flex;align-items:center;gap:8px;font-weight:400;margin-block:14px}.check input{flex:none}.demo-picker{display:flex;flex-wrap:wrap;gap:8px}.demo-picker button{font-size:12px} 3 /* One workspace, one output surface. No nested cards or inactive panels. */ 4 .workspace{max-width:1064px;margin:0 auto;border:1px solid var(--line);border-radius:12px;background:var(--panel);overflow:clip;scroll-margin-top:16px}.editor-toolbar{position:sticky;top:0;z-index:5;display:flex;align-items:end;gap:12px;flex-wrap:wrap;padding:16px 20px;border-bottom:1px solid var(--line);background:#eaf0e6}.toolbar-selection{flex:1 1 220px;min-width:0}.toolbar-runtime{flex:0 1 150px;min-width:115px}.toolbar-actions{display:flex;gap:8px;align-items:center}.editor-toolbar #status{flex-basis:100%;font-size:12px;color:var(--muted);min-height:18px}.editor-body{display:grid;grid-template-columns:minmax(0,1fr)}.editor-body.settings-open{grid-template-columns:minmax(0,1fr) 320px}.editor-main{min-width:0}.source-panel{background:var(--code);color:#e3edde;min-width:0}.source-heading{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:16px 20px 8px}.source-heading h2{font-size:14px;letter-spacing:0;margin:0}.source-heading span{font:11px ui-monospace,monospace;color:#b1c1b7}#authorship{font-size:12px;color:#b1c1b7;margin:0;padding:0 20px 12px}#authorship.modified{color:#ffda98}#source-editor{display:block;width:100%;height:460px;min-height:240px;max-height:none;border:0;border-radius:0;padding:18px 20px;margin:0;color:inherit;background:transparent;font:14px/24px ui-monospace,monospace;tab-size:2}#source-editor.modified{background:#273c32;box-shadow:inset 4px 0 #e5b96b}#source-editor:disabled{opacity:.75}#source-notes{margin:0;padding:18px 20px;max-height:460px;overflow:auto;white-space:pre;tab-size:2}#source-availability,#compile-diagnostic,#compile-activity{margin:0;padding:10px 20px;color:#e2d5af}#compile-diagnostic{color:#ffc5b9}.source-actions{display:flex;gap:12px;align-items:center;flex-wrap:wrap;padding:12px 20px;border-top:1px solid #385045}.source-actions .hint{color:#b1c1b7;margin:0}.source-actions button{font-size:12px;padding:6px 10px;background:transparent;color:#e3edde;border-color:#385045}.expression-dock{padding:16px 20px;background:#eef2e8;border-top:1px solid var(--line)}#expression-inputs label{font-size:13px}#expression-inputs label span{font-weight:400;color:var(--muted)}#expression-editor{font:16px/26px ui-monospace,monospace;min-height:92px;background:var(--panel)}#expression-help{margin:6px 0 0}#draft-run-note{color:#8b581b}.argument-heading{display:flex;justify-content:space-between;align-items:center;gap:12px}.argument-heading h3{margin:0}#argument-fields{display:grid;grid-template-columns:repeat(auto-fit,minmax(200px,1fr));gap:12px}.argument-row{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:6px 10px;margin-top:12px}.argument-row label{grid-column:1/-1}.argument-row textarea{font-size:16px}.argument-row button{font-size:12px;align-self:start} 5 /* Docked settings; mobile turns the same inspector into a modal sheet. */ 6 #settings-panel{min-width:0;padding:18px;background:var(--paper);border-left:1px solid var(--line);font-size:13px}#settings-panel section{padding-block:20px;border-bottom:1px solid var(--line)}#settings-panel section:last-child{border:0}.inspector-heading{display:flex;align-items:center;justify-content:space-between;gap:8px}.inspector-heading h2{font-size:16px;margin:0;letter-spacing:0}#settings-panel button{font-size:12px}#settings-panel .hint{margin-bottom:0}#settings-panel details>p{margin-top:8px}#package-info,#release-info,#compiler-stats{overflow-wrap:anywhere}#download-bundle{margin-top:12px;width:100%}#bundle-download-status:empty{display:none} 7 .output-panel{border-top:1px solid var(--line);padding:20px;min-width:0}.output-toolbar{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:12px}.output-toolbar>div{min-width:0}#output-provenance{margin-block:16px 8px}#result{min-height:64px;max-height:520px;overflow:auto;margin:0;padding:16px;background:#f3f4ee;border:1px solid var(--line);border-radius:4px}#result:empty::before{content:"Your output appears here.";color:var(--muted)}#result-stale{border-left:3px solid #b28132;padding-left:10px}.output-actions{display:flex;gap:8px;flex-wrap:wrap;margin-top:12px}#io-console{margin-top:20px}#terminal{max-height:260px;overflow:auto;padding:12px;border-left:3px solid var(--green);background:#eef2e8}#terminal:empty{display:none}#trace{max-height:260px;overflow:auto;list-style:none;padding:0;font:12px/1.6 ui-monospace,monospace}#trace li{padding-block:8px;border-bottom:1px solid var(--line);overflow-wrap:anywhere;white-space:pre-wrap}#trace li.pending{color:var(--green)}.trace-panel{border-top:1px solid var(--line);padding-top:12px} 8 .explanation{padding-block:64px}.explanation-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:36px;margin-top:28px}.explanation-grid h3{font-size:17px}.explanation-grid p{font-size:14px;line-height:1.8;color:var(--muted)}footer{padding-block:25px 35px;border-top:1px solid var(--line);font-size:12px;line-height:1.8;color:var(--muted)} 9 @media(min-width:950px){.shapes{position:absolute;right:38px;top:70px;flex-direction:column;gap:15px}} 10 @media(max-width:1119px) and (min-width:741px){.workspace{margin-inline:28px}} 11 @media(max-width:949px){.shapes{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:16px;max-width:570px}.shapes div{width:auto}.shapes svg{max-width:100%;margin-inline:auto}.hero>.button{display:block;width:fit-content;max-width:100%;margin-inline:auto;text-align:center}} 12 @media(max-width:740px){.wrap{padding-inline:18px}.hero{padding-block:38px}.wordmark span{display:none}header{flex-wrap:wrap;gap:10px;padding-block:20px}nav{gap:14px}nav a{display:inline-flex;align-items:center;min-height:44px}.workspace{width:100%;max-width:none;margin:0;border-left:0;border-right:0;border-radius:0;overflow:visible}.editor-body.settings-open{grid-template-columns:minmax(0,1fr)}.editor-toolbar{padding:14px 16px;gap:10px}.toolbar-selection{flex:1 1 calc(100% - 140px)}.toolbar-runtime{flex:0 0 120px}.toolbar-actions{flex-basis:auto;order:4;display:flex;margin-left:auto}.toolbar-actions button{min-width:0}.source-heading{padding-inline:16px}#authorship{padding-inline:16px}#source-editor{font-size:16px;line-height:27px;padding:16px;width:100%;height:360px;min-height:240px;max-height:none}.source-actions,.expression-dock,.output-panel{padding-inline:16px}.output-toolbar{grid-template-columns:repeat(2,minmax(0,1fr))}.output-toolbar select{font-size:16px}input,textarea,select{font-size:16px}#settings-panel{position:fixed;inset:12vh 0 0;z-index:20;border:0;border-top:1px solid var(--line);border-radius:16px 16px 0 0;overflow:auto;padding:18px 18px max(24px,env(safe-area-inset-bottom));box-shadow:0 -8px 40px #0003}#settings-backdrop{position:fixed;inset:0;background:#14271e77;z-index:19}.inspector-modal{overflow:hidden}.inspector-heading{position:sticky;top:-18px;background:var(--paper);padding-block:12px;z-index:1}.explanation-grid{grid-template-columns:1fr;gap:16px}.explanation{padding-block:45px}#argument-fields{grid-template-columns:minmax(0,1fr)}} 13 @media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}} 14 /* Whole-pixel editor line heights keep textarea and mirror layout aligned on long sources. */ 15 /* Native textarea editing, decorative syntax mirror. No contenteditable/HTML input. */ 16 .syntax-editor{position:relative;min-width:0;background:var(--panel);--syntax-ink:var(--ink);--syn-comment:#56695e;--syn-string:#27613d;--syn-escape:#95511e;--syn-number:#27578c;--syn-keyword:#6c367c;--syn-definition:#754300;--syn-tree:#006b60;--syn-contract:#934824;--syn-invalid:#ae3026;--syn-match:#d4e5c4} 17 .source-panel{--syntax-ink:#e3edde;--syn-comment:#9cafa4;--syn-string:#c0d9a3;--syn-escape:#f4bc8d;--syn-number:#9ecff5;--syn-keyword:#d6b5ef;--syn-definition:#ffd08a;--syn-tree:#73dbc0;--syn-contract:#f4bc8d;--syn-invalid:#ffb2a6;--syn-match:#435b43} 18 .source-panel .syntax-editor{background:var(--code);--syntax-ink:inherit;--syn-comment:inherit;--syn-string:inherit;--syn-escape:inherit;--syn-number:inherit;--syn-keyword:inherit;--syn-definition:inherit;--syn-tree:inherit;--syn-contract:inherit;--syn-invalid:inherit;--syn-match:inherit} 19 .source-panel .syntax-editor.modified{background:#273c32}.syntax-editor.disabled .syntax-viewport{opacity:.75} 20 .syntax-viewport{position:absolute;pointer-events:none;overflow:hidden;user-select:none} 21 .syntax-viewport pre{margin:0;border:0;border-radius:0;white-space:pre-wrap;overflow-wrap:break-word;word-break:normal;min-height:100%;color:var(--syntax-ink);transform-origin:top left} 22 #source-editor.syntax-input,#expression-editor.syntax-input{position:relative;color:transparent;-webkit-text-fill-color:transparent;caret-color:var(--syntax-ink);background:transparent;white-space:pre-wrap;overflow-wrap:break-word;word-break:normal;display:block} 23 .syntax-input::selection{background:#799ea066;color:transparent}.syntax-comment{color:var(--syn-comment)}.syntax-string{color:var(--syn-string)}.syntax-escape{color:var(--syn-escape)}.syntax-number{color:var(--syn-number)}.syntax-keyword,.syntax-directive{color:var(--syn-keyword)}.syntax-tree{color:var(--syn-tree)}.syntax-definition{color:var(--syn-definition)}.syntax-contract{color:var(--syn-contract)}.syntax-invalid{color:var(--syn-invalid);text-decoration:underline wavy}.bracket-match{background:var(--syn-match);box-shadow:inset 0 -2px var(--syn-definition)}.bracket-unmatched{text-decoration:underline wavy var(--syn-invalid);text-underline-offset:3px} 24 .syntax-editor.composing .syntax-viewport{visibility:hidden}.syntax-editor.composing .syntax-input{color:var(--syntax-ink)!important;-webkit-text-fill-color:var(--syntax-ink)!important} 25 @media(forced-colors:active){.syntax-viewport{display:none}#source-editor.syntax-input,#expression-editor.syntax-input{color:CanvasText;-webkit-text-fill-color:CanvasText;caret-color:CanvasText}.syntax-input::selection{background:Highlight;color:HighlightText;-webkit-text-fill-color:HighlightText}} 26 .syntax-editor{--syn-operator:#516263}.source-panel{--syn-operator:#aac6cc}.source-panel .syntax-editor{--syn-operator:inherit}.syntax-operator,.syntax-bracket{color:var(--syn-operator)}.syntax-input,.syntax-viewport pre{font-variant-ligatures:none} 27 28 /* Keep the expression, explicit action, and result in one reading column. */ 29 .expression-dock .output-toolbar{margin-bottom:18px}.evaluation-actions{display:flex;gap:8px;align-items:center;margin-top:14px}.output-panel #output-provenance{margin-top:0} 30 @media(max-width:740px){.editor-toolbar #status{flex:1 1 100px;order:3;align-self:center}.evaluation-actions #run{flex:1}.evaluation-actions button{min-height:48px}} 31 32 #local-modules code, #local-modules p { overflow-wrap: anywhere; } 33 #local-module-list { padding-left: 1.2rem; } 34 #local-module-list li { margin-bottom: 1rem; } 35 /* The import browser is modal; the source remains the authoring surface. */ 36 #import-dialog{color:var(--ink);background:var(--paper,#f5f2ea);border:1px solid var(--line,#ced4c9);border-radius:12px;width:min(42rem,calc(100vw - 2rem));max-height:calc(100dvh - 2rem);padding:1.25rem;overflow:auto;box-sizing:border-box} 37 #import-dialog::backdrop{background:#132e25a8}.import-heading,.import-actions{display:flex;align-items:center;justify-content:space-between;gap:1rem}.import-heading h2{margin:0}.import-heading{margin-bottom:1rem} 38 #import-dialog input,#import-dialog select{box-sizing:border-box;max-width:100%;width:100%}#import-results{display:grid;gap:.6rem;margin-top:1rem;max-height:55dvh;overflow:auto}#import-results button{min-width:0;overflow-wrap:anywhere;text-align:left;display:grid;gap:.3rem;white-space:normal}#import-results span,#import-results small{font-weight:normal}#import-exports{max-height:12rem;overflow:auto;white-space:pre-wrap;overflow-wrap:anywhere}#import-preview{white-space:pre-wrap;overflow-wrap:anywhere}#import-dialog h3{overflow-wrap:anywhere}#import-status{overflow-wrap:anywhere}.import-actions{justify-content:flex-end;flex-wrap:wrap} 39 @media(max-width:540px){#import-dialog{width:calc(100vw - 1rem);max-height:calc(100dvh - 1rem);padding:1rem}#import-results{max-height:50dvh}} 40 41 #import-example,#import-usage{white-space:pre-wrap;overflow-wrap:anywhere}#import-dialog details{margin:.75rem 0} 42 43 #import-dialog[open]{display:flex;flex-direction:column;overflow:hidden}.import-content{min-height:0;overflow:auto}.import-heading,.import-actions,#import-status{flex-shrink:0}#import-actions{padding-top:1rem}#import-status{max-height:8rem;overflow:auto;margin-bottom:0}#import-status:empty{display:none}