/*! tailwindcss v4.2.1 | MIT License | https://tailwindcss.com */
@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){:root,:host{--shimmer-angle:20deg}*,:before,:after{--tw-rotate-x:initial;--tw-rotate-y:initial;--tw-rotate-z:initial;--tw-skew-x:initial;--tw-skew-y:initial;--tw-shadow:0 0 #0000;--tw-shadow-color:initial;--tw-shadow-alpha:100%;--tw-inset-shadow:0 0 #0000;--tw-inset-shadow-color:initial;--tw-inset-shadow-alpha:100%;--tw-ring-color:initial;--tw-ring-shadow:0 0 #0000;--tw-inset-ring-color:initial;--tw-inset-ring-shadow:0 0 #0000;--tw-ring-inset:initial;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-offset-shadow:0 0 #0000;--tw-animation-delay:0s;--tw-animation-direction:normal;--tw-animation-duration:initial;--tw-animation-fill-mode:none;--tw-animation-iteration-count:1;--tw-enter-blur:0;--tw-enter-opacity:1;--tw-enter-rotate:0;--tw-enter-scale:1;--tw-enter-translate-x:0;--tw-enter-translate-y:0;--tw-exit-blur:0;--tw-exit-opacity:1;--tw-exit-rotate:0;--tw-exit-scale:1;--tw-exit-translate-x:0;--tw-exit-translate-y:0;--scroll-fade-t:0px;--scroll-fade-b:0px;--scroll-fade-s:0px;--scroll-fade-e:0px;--scroll-fade-mask:initial;--shimmer-image:initial;--shimmer-text-fill:initial}::backdrop{--tw-rotate-x:initial;--tw-rotate-y:initial;--tw-rotate-z:initial;--tw-skew-x:initial;--tw-skew-y:initial;--tw-shadow:0 0 #0000;--tw-shadow-color:initial;--tw-shadow-alpha:100%;--tw-inset-shadow:0 0 #0000;--tw-inset-shadow-color:initial;--tw-inset-shadow-alpha:100%;--tw-ring-color:initial;--tw-ring-shadow:0 0 #0000;--tw-inset-ring-color:initial;--tw-inset-ring-shadow:0 0 #0000;--tw-ring-inset:initial;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-offset-shadow:0 0 #0000;--tw-animation-delay:0s;--tw-animation-direction:normal;--tw-animation-duration:initial;--tw-animation-fill-mode:none;--tw-animation-iteration-count:1;--tw-enter-blur:0;--tw-enter-opacity:1;--tw-enter-rotate:0;--tw-enter-scale:1;--tw-enter-translate-x:0;--tw-enter-translate-y:0;--tw-exit-blur:0;--tw-exit-opacity:1;--tw-exit-rotate:0;--tw-exit-scale:1;--tw-exit-translate-x:0;--tw-exit-translate-y:0;--scroll-fade-t:0px;--scroll-fade-b:0px;--scroll-fade-s:0px;--scroll-fade-e:0px;--scroll-fade-mask:initial;--shimmer-image:initial;--shimmer-text-fill:initial}}}@layer theme{:root,:host{--font-serif:ui-serif, Georgia, Cambria, "Times New Roman", Times, serif;--font-mono:var(--font-mono);--spacing:.25rem;--default-font-family:var(--font-ui);--default-mono-font-family:var(--font-mono)}}@layer base{*,:after,:before{box-sizing:border-box;border:0 solid;margin:0;padding:0}::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring{outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab, red, red)){::placeholder{color:color-mix(in oklab, currentcolor 50%, transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){-webkit-appearance:button;appearance:button}::file-selector-button{-webkit-appearance:button;appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.fixed{position:fixed}.static{position:static}.start{inset-inline-start:var(--spacing)}.end{inset-inline-end:var(--spacing)}.block{display:block}.grid{display:grid}.hidden{display:none}.inline{display:inline}.transform{transform:var(--tw-rotate-x,) var(--tw-rotate-y,) var(--tw-rotate-z,) var(--tw-skew-x,) var(--tw-skew-y,)}.resize{resize:both}.italic{font-style:italic}.ring{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(1px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow)}.paused{animation-play-state:paused}.running{animation-play-state:running}}@property --tw-animation-delay{syntax:"*";inherits:false;initial-value:0s}@property --tw-animation-direction{syntax:"*";inherits:false;initial-value:normal}@property --tw-animation-duration{syntax:"*";inherits:false}@property --tw-animation-fill-mode{syntax:"*";inherits:false;initial-value:none}@property --tw-animation-iteration-count{syntax:"*";inherits:false;initial-value:1}@property --tw-enter-blur{syntax:"*";inherits:false;initial-value:0}@property --tw-enter-opacity{syntax:"*";inherits:false;initial-value:1}@property --tw-enter-rotate{syntax:"*";inherits:false;initial-value:0}@property --tw-enter-scale{syntax:"*";inherits:false;initial-value:1}@property --tw-enter-translate-x{syntax:"*";inherits:false;initial-value:0}@property --tw-enter-translate-y{syntax:"*";inherits:false;initial-value:0}@property --tw-exit-blur{syntax:"*";inherits:false;initial-value:0}@property --tw-exit-opacity{syntax:"*";inherits:false;initial-value:1}@property --tw-exit-rotate{syntax:"*";inherits:false;initial-value:0}@property --tw-exit-scale{syntax:"*";inherits:false;initial-value:1}@property --tw-exit-translate-x{syntax:"*";inherits:false;initial-value:0}@property --tw-exit-translate-y{syntax:"*";inherits:false;initial-value:0}@property --scroll-fade-t{syntax:"<length-percentage>";inherits:false;initial-value:0}@property --scroll-fade-b{syntax:"<length-percentage>";inherits:false;initial-value:0}@property --scroll-fade-s{syntax:"<length-percentage>";inherits:false;initial-value:0}@property --scroll-fade-e{syntax:"<length-percentage>";inherits:false;initial-value:0}@property --scroll-fade-mask{syntax:"*";inherits:false}@property --shimmer-angle{syntax:"<angle>";inherits:true;initial-value:20deg}@property --shimmer-image{syntax:"*";inherits:false}@property --shimmer-text-fill{syntax:"*";inherits:false}@media (prefers-reduced-motion:reduce){.shimmer{-webkit-text-fill-color:currentColor;background-image:none;animation:none}}:root,html[data-theme=robinhood]{--paper:#e6efe8;--ink:#00a33a;--ink-deep:#0a6b2e;--face:#f2f7f3;--face-hi:#fff;--face-lo:#cfdccf;--line:#a9bfae;--text:#0f2416;--muted:#4f6b57;--ok:#0a6b2e;--warn:#a8451f;--dark:#07130b;--dark-line:#1f3d2a;--dark-text:#d6f0dc;--dark-muted:#8fb39a;--dark-link:#5df07a}html[data-theme=terminal]{--paper:#04110a;--ink:#00c805;--ink-deep:#0b8f16;--face:#0a1a10;--face-hi:#1a3a26;--face-lo:#061209;--line:#1f3d2a;--text:#d6f0dc;--muted:#7fa38a;--ok:#5df07a;--warn:#ff9f7a;--dark:#020806;--dark-line:#1f3d2a;--dark-text:#d6f0dc;--dark-muted:#8fb39a;--dark-link:#72ff63}html[data-theme=ink]{--paper:#e9e7e8;--ink:#2b26f2;--ink-deep:#1a12a8;--face:#f3f2f3;--face-hi:#fff;--face-lo:#d6d4dc;--line:#b4b2c6;--text:#16143a;--muted:#5b5878;--ok:#1f7a4d;--warn:#a8451f;--dark:#14123a;--dark-line:#3a3670;--dark-text:#dcdaf6;--dark-muted:#a5a1cc;--dark-link:#9d99ff}html[data-theme=amber]{--paper:#f1e9d6;--ink:#c2620c;--ink-deep:#7a3a05;--face:#f8f2e3;--face-hi:#fff;--face-lo:#dfd2b8;--line:#c4b28f;--text:#2b1d0a;--muted:#6f5a3a;--ok:#4f7a1f;--warn:#a8221f;--dark:#1c1206;--dark-line:#4a3418;--dark-text:#f3e6cc;--dark-muted:#bfa77c;--dark-link:#ffb347}html[data-theme=mono]{--paper:#e8e8e8;--ink:#333;--ink-deep:#000;--face:#f4f4f4;--face-hi:#fff;--face-lo:#cfcfcf;--line:#aaa;--text:#111;--muted:#555;--ok:#222;--warn:#7a1f1f;--dark:#111;--dark-line:#444;--dark-text:#eee;--dark-muted:#aaa;--dark-link:#fff}:root{--font-ui:"Inter", Tahoma, Verdana, "Segoe UI", sans-serif;--font-mono:"IBM Plex Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;--font-pixel:"VT323", "IBM Plex Mono", Consolas, monospace;--font-serif:"Times New Roman", Times, serif;--task-h:36px;--ink-10:var(--ink)}@supports (color:color-mix(in lab, red, red)){:root{--ink-10:color-mix(in srgb, var(--ink) 10%, transparent)}}:root{--ink-25:var(--ink)}@supports (color:color-mix(in lab, red, red)){:root{--ink-25:color-mix(in srgb, var(--ink) 25%, transparent)}}:root{--deep-20:var(--ink-deep)}@supports (color:color-mix(in lab, red, red)){:root{--deep-20:color-mix(in srgb, var(--ink-deep) 20%, transparent)}}:root{--deep-55:var(--ink-deep)}@supports (color:color-mix(in lab, red, red)){:root{--deep-55:color-mix(in srgb, var(--ink-deep) 55%, transparent)}}:root{--bevel-out:inset 1px 1px 0 var(--face-hi), inset -1px -1px 0 var(--face-lo);--bevel-in:inset 1px 1px 0 var(--face-lo), inset -1px -1px 0 var(--face-hi);--dither:repeating-conic-gradient(var(--ink-deep) 0 25%, transparent 0 50%) 0 0 / 4px 4px;--background:var(--paper);--foreground:var(--text);--card:var(--face);--card-foreground:var(--text);--popover:var(--face);--popover-foreground:var(--text);--primary:var(--ink);--primary-foreground:#fff;--secondary:var(--face-lo);--secondary-foreground:var(--text);--muted-foreground:var(--muted);--accent:var(--ink);--accent-foreground:#fff;--destructive:var(--warn);--border:var(--line);--input:var(--line);--ring:var(--ink);--radius:0}*{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{min-height:100vh;font-family:var(--font-ui);color:var(--text);background:var(--paper);-webkit-font-smoothing:antialiased;margin:0;font-size:12.5px;line-height:1.5;overflow:hidden}a{color:var(--ink-deep)}code,pre,kbd{font-family:var(--font-mono);font-size:.95em}button,input,select,textarea{font:inherit}.mono{font-family:var(--font-mono)}.muted{color:var(--muted)}::selection{background:var(--ink);color:#fff}:focus-visible{outline:2px solid var(--ink);outline-offset:2px}.wallpaper{z-index:0;pointer-events:none;width:100%;height:100%;display:block;position:fixed;inset:0}.wallpaper[hidden]{display:none}.desktop{z-index:1;height:calc(100vh - var(--task-h));position:relative;overflow:hidden}.topright{z-index:5;align-items:center;gap:8px;display:flex;position:absolute;top:16px;right:18px}.mute-btn{align-items:center;padding:3px 6px;line-height:0;display:inline-flex}.mute-btn svg{width:16px;height:16px}.mute-btn[aria-pressed=true]{color:var(--muted);background:var(--face-lo);box-shadow:var(--bevel-in)}.desk-icons{z-index:3;grid-template-columns:repeat(2,96px);gap:6px 4px;display:grid;position:absolute;top:20px;left:22px}.icon{text-align:center;cursor:default;-webkit-user-select:none;user-select:none;width:96px;color:var(--text);animation:.45s both icon-in;animation-delay:calc(var(--i,0) * 45ms);background:0 0;border:1px solid #0000;padding:8px 4px 6px;text-decoration:none;transition:background .16s,border-color .16s;display:block}@keyframes icon-in{0%{opacity:0;transform:translateY(7px)}to{opacity:1;transform:none}}.icon .ico{height:56px;margin:0 auto 5px;display:block}.icon .ico svg{shape-rendering:crispedges;width:52px;height:52px;color:var(--ink);filter:drop-shadow(2px 2px 0 var(--deep-20));margin:0 auto;transition:transform .2s cubic-bezier(.34,1.5,.64,1);display:block}.icon .lbl{font:15px/1.2 var(--font-pixel);background:var(--paper);box-shadow:0 0 0 1px var(--paper);padding:1px 6px;display:inline-block}.icon:hover{background:var(--ink-10);border-color:var(--ink-25)}.icon:hover .ico svg{transform:scale(1.1)rotate(-2deg)}.windows{z-index:4;pointer-events:none;position:absolute;inset:0}.win{pointer-events:auto;background:var(--face);border:1px solid var(--ink-deep);min-width:0;box-shadow:var(--bevel-out), 4px 4px 0 var(--deep-55);flex-direction:column;padding:2px;transition:box-shadow .18s;animation:.16s both win-in;display:flex;position:absolute}@keyframes win-in{0%{opacity:0;transform:translateY(-6px)scale(.995)}to{opacity:1;transform:none}}.win.is-active{box-shadow:var(--bevel-out), 4px 4px 0 var(--ink-deep)}.win-bar{background:var(--face-lo);height:24px;color:var(--muted);font:18px/1 var(--font-pixel);cursor:grab;touch-action:none;-webkit-user-select:none;user-select:none;flex:0 0 24px;align-items:center;gap:8px;margin:1px 1px 0;padding:0 3px 0 8px;transition:background .16s,color .16s;display:flex}.win.is-active>.win-bar,.win.is-dragging>.win-bar{background:var(--ink);color:#fff}.win.is-dragging{box-shadow:var(--bevel-out), 6px 6px 0 var(--ink-deep);transition:none}.win.is-dragging>.win-bar{cursor:grabbing}.win-bar>span:first-child{white-space:nowrap;padding-bottom:2px}.win-bar .stripes{opacity:.55;background:repeating-conic-gradient(var(--line) 0 25%, transparent 0 50%) 0 0 / 4px 4px;flex:1;align-self:stretch;margin:3px 4px}.win.is-active>.win-bar .stripes,.win.is-dragging>.win-bar .stripes{background:var(--dither)}.wb{border:1px solid var(--ink-deep);background:var(--face);width:18px;height:16px;color:var(--ink-deep);box-shadow:var(--bevel-out);font:15px/1 var(--font-pixel);cursor:pointer;padding:0 0 2px}.wb:hover{background:var(--face-hi)}.wb:active{box-shadow:var(--bevel-in)}.win-body{scrollbar-width:thin;scrollbar-color:var(--ink-25) transparent;max-height:min(66vh,560px);padding:14px 16px;overflow:auto}.win.dark{background:var(--dark);color:var(--dark-text);box-shadow:inset 1px 1px 0 var(--dark-line), inset -1px -1px 0 #000, 4px 4px 0 var(--deep-55);border-color:#000}.win.dark.is-active{box-shadow:inset 1px 1px 0 var(--dark-line), inset -1px -1px 0 #000, 4px 4px 0 var(--ink-deep)}.win.dark a,.win.dark code{color:var(--dark-link)}.win.dark .muted,.win.dark dl.kv dt{color:var(--dark-muted)}.win.dark .eyebrow{color:var(--dark-link)}.win.dark .note,.win.dark .tbl td{border-color:var(--dark-line)}.win.dark .tbl th{color:var(--dark-muted);border-bottom-color:var(--dark-line)}.win.dark .bar{border-color:var(--dark-line);background:#ffffff14}.win.dark .bar i{background:var(--dark-link)}.win.dark .hr{border-top-color:var(--dark-line)}.eyebrow{font-family:var(--font-mono);letter-spacing:.22em;text-transform:uppercase;color:var(--ink);margin:0 0 8px;font-size:10px}.h1{letter-spacing:-.02em;margin:0 0 10px;font-size:25px;font-weight:700;line-height:1.15}.small{margin:0 0 9px;font-size:12px}.big{letter-spacing:-.02em;font-size:30px;font-weight:700}.num{font-family:var(--font-mono);font-variant-numeric:tabular-nums}.math{font-family:var(--font-serif);color:var(--ink-deep);margin:0 0 10px;font-size:17px;font-style:italic}.quote{font-family:var(--font-serif);color:var(--ink-deep);margin:0 0 12px;font-size:19px;font-style:italic;line-height:1.35}.thm{border-left:2px solid var(--ink);margin:0 0 12px;padding:0 0 0 11px}.qed{font-family:var(--font-serif)}.hr{border:0;border-top:1px solid var(--line);margin:12px 0}.row{flex-wrap:wrap;align-items:center;gap:8px;display:flex}.two-col{grid-template-columns:1fr 250px;gap:18px;display:grid}.tip{background:var(--ink-10);border:1px solid var(--ink-25);margin:0 0 12px;padding:9px 11px;font-size:12px}.note{border:1px solid var(--line);margin-top:10px;padding:9px 11px;font-size:12px}.note.ok{border-color:var(--ok)}@supports (color:color-mix(in lab, red, red)){.note.ok{border-color:color-mix(in srgb, var(--ok) 50%, transparent)}}.note.ok{background:var(--ok)}@supports (color:color-mix(in lab, red, red)){.note.ok{background:color-mix(in srgb, var(--ok) 8%, transparent)}}.note.warn{border-color:var(--warn)}@supports (color:color-mix(in lab, red, red)){.note.warn{border-color:color-mix(in srgb, var(--warn) 50%, transparent)}}.note.warn{background:var(--warn)}@supports (color:color-mix(in lab, red, red)){.note.warn{background:color-mix(in srgb, var(--warn) 8%, transparent)}}.tag{font-family:var(--font-mono);letter-spacing:.1em;text-transform:uppercase;border:1px solid;padding:2px 6px;font-size:10px;display:inline-block}.tag.ok{color:var(--ok)}.tag.warn{color:var(--warn)}.tag.live{color:var(--ink)}dl.kv{grid-template-columns:auto 1fr;gap:4px 14px;margin:0;font-size:12px;display:grid}dl.kv dt{color:var(--muted)}dl.kv dd{font-family:var(--font-mono);word-break:break-word;margin:0}.btn{font-family:var(--font-ui);cursor:pointer;background:var(--face);color:var(--ink-deep);border:1px solid var(--ink-deep);box-shadow:var(--bevel-out), 2px 2px 0 var(--deep-55);padding:6px 13px;font-size:12px;font-weight:600;text-decoration:none;transition:transform .1s,box-shadow .1s}.btn:hover{background:var(--face-hi)}.btn:active{box-shadow:var(--bevel-in);transform:translate(2px,2px)}.btn:disabled{opacity:.45;cursor:not-allowed;box-shadow:none;transform:none}.btn-primary{background:var(--ink);color:#fff;border-color:var(--ink-deep);box-shadow:inset 1px 1px 0 #ffffff59, inset -1px -1px 0 var(--ink-deep), 2px 2px 0 var(--deep-55)}.btn-primary:hover{background:var(--ink-deep)}.btn-sm{padding:4px 9px;font-size:11px}.win.dark a.btn{color:var(--ink-deep)}.win.dark a.btn-primary{color:#fff}.bar{border:1px solid var(--ink-deep);background:var(--face-hi);height:12px;box-shadow:var(--bevel-in);overflow:hidden}.bar i{background:var(--ink);height:100%;display:block}.lamp{background:var(--dark-line);vertical-align:middle;border-radius:50%;width:7px;height:7px;margin-right:6px;display:inline-block}.lamp.on{background:var(--dark-link);box-shadow:0 0 8px var(--dark-link)}.tabs{background:var(--face-lo);border-bottom:1px solid var(--line);gap:2px;padding:6px 8px 0;display:flex}.tab{font:600 11.5px var(--font-ui);color:var(--muted);background:0 0;border:1px solid #0000;border-bottom:0;padding:5px 12px}.tab.is-on{background:var(--face);border-color:var(--line);color:var(--ink-deep)}.win.dark .tabs{border-bottom-color:var(--dark-line);background:#000}.win.dark .tab.is-on{background:var(--dark);border-color:var(--dark-line);color:var(--dark-link)}.tbl{border-collapse:collapse;width:100%;font-family:var(--font-mono);font-size:11.5px}.tbl th{text-align:left;font-family:var(--font-ui);letter-spacing:.1em;text-transform:uppercase;color:var(--muted);border-bottom:1px solid var(--line);padding:8px 10px;font-size:10px}.tbl td{border-bottom:1px solid var(--line);padding:6px 10px}@supports (color:color-mix(in lab, red, red)){.tbl td{border-bottom:1px solid color-mix(in srgb, var(--line) 40%, transparent)}}.tbl td:last-child,.tbl th:last-child{text-align:right}.split{border:1px solid var(--ink-deep);box-shadow:var(--bevel-out), 2px 2px 0 var(--deep-55);grid-template-columns:repeat(4,1fr);margin:0 0 14px;display:grid}.split>div{border-right:1px solid var(--ink-deep);background:var(--ink);padding:12px 13px}@supports (color:color-mix(in lab, red, red)){.split>div{background:color-mix(in srgb, var(--ink) 7%, transparent)}}.split>div:last-child{border-right:0}.split>div:nth-child(3){background:var(--ink)}@supports (color:color-mix(in lab, red, red)){.split>div:nth-child(3){background:color-mix(in srgb, var(--ink) 16%, transparent)}}.split>div:nth-child(4){background:var(--ink-deep)}@supports (color:color-mix(in lab, red, red)){.split>div:nth-child(4){background:color-mix(in srgb, var(--ink-deep) 12%, transparent)}}.split b{letter-spacing:-.02em;color:var(--ink-deep);font-size:27px;font-weight:700;line-height:1;display:block}.split>div>span{font-family:var(--font-mono);letter-spacing:.2em;text-transform:uppercase;color:var(--muted);margin-top:3px;font-size:10px;display:block}.split small{color:var(--muted);margin-top:8px;font-size:11px;line-height:1.55;display:block}.win-body.prover{grid-template-columns:300px minmax(0,1fr);align-items:start;gap:24px;padding:20px 22px 22px;display:grid}.plate-fig{margin:0}.plate{width:300px;height:374px;color:var(--ink-deep);border:1px solid var(--ink-deep);box-shadow:3px 3px 0 var(--deep-20);display:block}.plate-fig figcaption{max-width:300px;color:var(--muted);margin-top:9px;font-size:11px;line-height:1.55}.prover-text .quote{margin-bottom:6px;font-size:23px;line-height:1.28}.prover-text .math{margin-bottom:12px;font-size:18px}.letterhead{width:auto;height:30px;color:var(--ink);margin:0 0 14px;display:block}.docs .h1{margin:16px 0 6px;font-size:16px}.docs .h1:first-of-type{margin-top:4px}.docs .steps{margin:0 0 9px;padding-left:18px;list-style:outside}.docs ol.steps{list-style:decimal}.docs .steps li{margin-bottom:3px}.docs .tbl{margin:4px 0 8px}.docs .tbl td{vertical-align:top}.link{font:inherit;color:var(--ink-deep);cursor:pointer;background:0 0;border:0;padding:0;text-decoration:underline}.stat-grid{grid-template-columns:repeat(auto-fit,minmax(120px,1fr));gap:8px;margin:10px 0;display:grid}.stat-grid div{background:var(--ink-10);border:1px solid var(--line);box-shadow:var(--bevel-in);padding:8px 10px}.stat-grid b{color:var(--ink-deep);font-size:19px;line-height:1.1;display:block}.stat-grid span{font-family:var(--font-mono);letter-spacing:.12em;text-transform:uppercase;color:var(--muted);margin-top:3px;font-size:10px;display:block}.tag .lamp{margin-right:5px}.song-display{font:17px/1 var(--font-pixel);color:var(--ink-deep);background:var(--face-hi);border:1px solid var(--line);box-shadow:var(--bevel-in);align-items:center;gap:8px;padding:6px 9px;display:flex}.song-title{white-space:nowrap;text-overflow:ellipsis;flex:1;min-width:0;overflow:hidden}.song-time{color:var(--muted);font-size:14px}.song-seek{margin:8px 0}.song input[type=range]{width:100%;height:14px;accent-color:var(--ink);cursor:pointer;margin:0;display:block}.song input[type=range]:disabled{opacity:.45;cursor:default}.song-transport{gap:4px}.song-transport .btn{min-width:34px;font-family:var(--font-mono)}.song-play{min-width:46px}.song-volume{min-width:110px;font-family:var(--font-mono);flex:1;align-items:center;gap:6px;margin-left:auto;font-size:10px;display:flex}.song-list{border:1px solid var(--line);background:var(--face-hi);box-shadow:var(--bevel-in);margin:10px 0 0;padding:0;list-style:none}.song-list button{text-align:left;width:100%;color:var(--text);border:0;border-bottom:1px solid var(--line);background:0 0;gap:8px;padding:5px 9px;font-size:12px;display:flex}@supports (color:color-mix(in lab, red, red)){.song-list button{border-bottom:1px solid color-mix(in srgb, var(--line) 50%, transparent)}}.song-list button{cursor:pointer}.song-list li:last-child button{border-bottom:0}.song-list button:hover{background:var(--ink-10)}.song-list button.is-on{background:var(--ink);color:#fff}.song-list button.is-on .muted{color:#ffffffbf}.swatches{grid-template-columns:repeat(auto-fill,minmax(150px,1fr));gap:8px;display:grid}.swatch{text-align:left;cursor:pointer;background:var(--face);color:var(--text);border:1px solid var(--line);box-shadow:var(--bevel-out);grid-template-columns:auto 1fr;align-items:center;gap:2px 10px;padding:8px 10px;display:grid}.swatch:hover{border-color:var(--ink)}.swatch.is-on{border-color:var(--ink-deep);background:var(--ink-10);box-shadow:var(--bevel-in)}.swatch-chip{border:1px solid var(--ink-deep);grid-row:1/3;grid-template-columns:repeat(3,10px);display:grid}.swatch-chip i{height:26px;display:block}.swatch b{font-size:12px}.swatch small{color:var(--muted);font-size:10.5px}.taskbar{z-index:20;height:var(--task-h);background:var(--face-lo);border-top:1px solid var(--face-hi);box-shadow:0 -1px 0 var(--line);color:var(--text);align-items:center;gap:5px;padding:0 6px 0 4px;display:flex;position:fixed;bottom:0;left:0;right:0}.start{height:26px;font:700 12px var(--font-ui);color:var(--text);cursor:pointer;background:var(--face);border:1px solid var(--ink-deep);box-shadow:var(--bevel-out);align-items:center;gap:6px;padding:0 10px 2px 7px;display:flex}.start svg{width:16px;height:16px;color:var(--ink);shape-rendering:crispedges}.start:hover{background:var(--face-hi)}.start.is-on{box-shadow:var(--bevel-in);background:var(--ink-10)}.task-list{border-left:1px solid var(--line);box-shadow:-1px 0 0 var(--face-hi);flex:1;gap:4px;padding-left:4px;display:flex;overflow:hidden}.task{text-overflow:ellipsis;white-space:nowrap;max-width:165px;height:26px;font:17px/24px var(--font-pixel);color:var(--text);cursor:pointer;background:var(--face);border:1px solid var(--ink-deep);box-shadow:var(--bevel-out);padding:0 10px;overflow:hidden}.task.is-active{box-shadow:var(--bevel-in);background:var(--ink-10) var(--dither);background-blend-mode:normal;color:var(--ink-deep);background:var(--ink)}@supports (color:color-mix(in lab, red, red)){.task.is-active{background:color-mix(in srgb, var(--ink) 14%, var(--face))}}.tray{height:26px;font:16px/1 var(--font-pixel);color:var(--text);background:var(--face-lo);border:1px solid var(--line);box-shadow:var(--bevel-in);align-items:center;gap:10px;padding:0 8px;display:flex}.tray-btn,.crt-toggle{font:16px/1 var(--font-pixel);cursor:pointer;color:var(--ink-deep);background:var(--face);border:1px solid var(--ink-deep);box-shadow:var(--bevel-out);padding:1px 6px 2px}.tray-btn:hover,.crt-toggle:hover{background:var(--face-hi)}.crt-toggle[aria-pressed=false]{color:var(--muted);box-shadow:var(--bevel-in);background:var(--face-lo)}.start-menu{z-index:30;left:4px;bottom:calc(var(--task-h) + 2px);background:var(--face);border:1px solid var(--ink-deep);width:268px;box-shadow:var(--bevel-out), 4px 4px 0 var(--deep-55);grid-template-columns:34px 1fr;padding:2px;display:grid;position:fixed}.start-menu .side{background:var(--ink);background-image:var(--dither);position:relative}.start-menu .side svg{color:#fff;transform-origin:0 100%;width:auto;height:20px;position:absolute;bottom:10px;left:50%;transform:translate(-50%)rotate(-90deg)}.start-menu .list{padding:4px}.start-menu .list a,.start-menu .list button{text-align:left;width:100%;color:var(--text);cursor:pointer;background:0 0;border:0;align-items:center;gap:9px;padding:6px 9px;font-size:12px;text-decoration:none;display:flex}.start-menu .list a:hover,.start-menu .list button:hover{background:var(--ink);color:#fff}.start-menu .list svg{shape-rendering:crispedges;flex:0 0 16px;width:16px;height:16px}.start-menu hr{border:0;border-top:1px solid var(--line);box-shadow:0 1px 0 var(--face-hi);margin:5px 8px}.cold{--phos:#4dff7a;--phos-dim:#1f8f45;--phos-bright:#d9ffe3;z-index:9992;cursor:pointer;font-family:var(--font-pixel);background:radial-gradient(92% 74% at 50% 44%,#073d1b 0%,#04200f 46%,#010a05 100%);transition:opacity .45s;position:fixed;inset:0;overflow:hidden}.cold.is-off{opacity:0;pointer-events:none}.cold:after{content:"";z-index:4;pointer-events:none;background:repeating-linear-gradient(0deg,#0014066b 0 1px,#0000 1px 3px),radial-gradient(118% 114% at 50% 46%,#0000 50%,#010c0473 84%,#000602cc 100%);position:absolute;inset:0}.cold-field{z-index:0;width:100%;height:100%;position:absolute;inset:0}.cold-screen{z-index:1;color:var(--phos);text-shadow:0 0 6px #4dff7a8c,0 0 1px #c8ffd7e6;padding:4vh 5vw;position:absolute;inset:0;overflow:hidden}.cold-title{white-space:pre;font-family:var(--font-pixel);color:var(--phos-bright);text-shadow:0 0 10px #4dff7ae6,0 0 32px #00c8058c;margin:0;font-size:clamp(9px,1.9vw,21px);line-height:1;animation:4s step-end infinite cold-flicker;overflow:hidden}@keyframes cold-flicker{0%,96%,to{opacity:1}97%{opacity:.82}98%{opacity:1}99%{opacity:.9}}.cold-tag{letter-spacing:.3em;text-transform:uppercase;color:var(--phos-dim);margin:8px 0 3vh;font-size:clamp(13px,1.6vmin,18px)}.cold-log{white-space:pre-wrap;margin:0;font-family:inherit;font-size:clamp(15px,2.2vmin,21px);line-height:1.25}.cold-log .dim{color:var(--phos-dim);text-shadow:0 0 5px #1f8f4580}.cold-log .bright{color:var(--phos-bright);text-shadow:0 0 8px #d9ffe380}.cold-log .ok{color:#9dffb7}.cold-cursor{vertical-align:-.1em;background:var(--phos);width:.55em;height:1em;animation:.8s step-end infinite cold-blink;display:inline-block;box-shadow:0 0 9px #4dff7ad9}@keyframes cold-blink{50%{opacity:0}}.cold-enter{text-align:center;letter-spacing:.25em;text-transform:uppercase;color:var(--phos-bright);text-shadow:0 0 10px #4dff7abf;opacity:0;font-size:clamp(14px,2vmin,20px);transition:opacity .4s;position:absolute;bottom:7vh;left:0;right:0}.cold-enter.is-in{opacity:1;animation:1.5s step-end infinite cold-blink}.cold-warm{z-index:3;pointer-events:none;background:radial-gradient(92% 74% at 50% 44%,#073d1b 0%,#04200f 46%,#010a05 100%);animation:10ms .62s forwards warm-clear;position:absolute;inset:0}.cold-warm i{background:#d9ffe3;height:100vh;animation:.62s cubic-bezier(.2,.7,.3,1) forwards warm-open;position:absolute;top:50%;left:0;right:0;transform:translateY(-50%);box-shadow:0 0 50px #4dff7a,0 0 120px #00c805b3}@keyframes warm-open{0%,55%{opacity:1;height:2px}to{opacity:0;height:100vh}}@keyframes warm-clear{to{opacity:0;visibility:hidden}}.crt{z-index:9990;pointer-events:none;position:fixed;inset:0}body.crt-off .crt{display:none}.crt-lines{mix-blend-mode:multiply;background:repeating-linear-gradient(0deg, var(--ink-deep) 0 1px, transparent 1px 3px), repeating-linear-gradient(90deg, #ff003c04 0 1px, #00ff5003 1px 2px, #0050ff04 2px 3px);position:absolute;inset:0}@supports (color:color-mix(in lab, red, red)){.crt-lines{background:repeating-linear-gradient(0deg, color-mix(in srgb, var(--ink-deep) 8%, transparent) 0 1px, transparent 1px 3px), repeating-linear-gradient(90deg, #ff003c04 0 1px, #00ff5003 1px 2px, #0050ff04 2px 3px)}}html[data-theme=terminal] .crt-lines{mix-blend-mode:normal;background:repeating-linear-gradient(0deg,#00000047 0 1px,#0000 1px 3px)}.crt-lines:after{content:"";mix-blend-mode:screen;background:linear-gradient(115deg,#0000 0 34%,#ffffff0d 42%,#ffffff14 47%,#ffffff08 51%,#0000 58%);position:absolute;inset:0}.crt-glass{box-shadow:inset 0 0 105px var(--ink-deep), inset 0 0 30px var(--ink-deep);border-radius:2.6vmin;position:absolute;inset:0}@supports (color:color-mix(in lab, red, red)){.crt-glass{box-shadow:inset 0 0 105px color-mix(in srgb, var(--ink-deep) 26%, transparent), inset 0 0 30px color-mix(in srgb, var(--ink-deep) 15%, transparent)}}.crt-glass{background:radial-gradient(ellipse 120% 114% at 50% 48%, transparent 54%, var(--ink-deep) 78%, var(--ink-deep) 95%, var(--ink-deep) 100%)}@supports (color:color-mix(in lab, red, red)){.crt-glass{background:radial-gradient(ellipse 120% 114% at 50% 48%, transparent 54%, color-mix(in srgb, var(--ink-deep) 12%, transparent) 78%, color-mix(in srgb, var(--ink-deep) 34%, transparent) 95%, color-mix(in srgb, var(--ink-deep) 50%, transparent) 100%)}}.crt-glass:after{content:"";border-radius:inherit;background:radial-gradient(44% 26% at 22% 8%,#ffffff1f,#0000 72%);position:absolute;inset:0}.crt-grain{opacity:.065;background-image:url("data:image/svg+xml;utf8,<svg xmlns='http://www.w3.org/2000/svg' width='140' height='140'><filter id='n'><feTurbulence type='fractalNoise' baseFrequency='.9' numOctaves='2'/><feColorMatrix type='matrix' values='0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 .6 .6 .6 0 0'/></filter><rect width='140' height='140' filter='url(%23n)'/></svg>");animation:.9s steps(4,end) infinite crt-grain;position:absolute;inset:-60px}@keyframes crt-grain{0%{transform:translate(0)}25%{transform:translate(-24px,14px)}50%{transform:translate(18px,-20px)}75%{transform:translate(-10px,-12px)}to{transform:translate(0)}}.crt-grain:after{content:"";opacity:0;background:linear-gradient(180deg, transparent, var(--ink-deep) 45%, #ffffff1a 56%, transparent);height:24px;position:absolute;top:-40px;left:0;right:0;transform:skew(-14deg)}@supports (color:color-mix(in lab, red, red)){.crt-grain:after{background:linear-gradient(180deg, transparent, color-mix(in srgb, var(--ink-deep) 5%, transparent) 45%, #ffffff1a 56%, transparent)}}.crt-grain:after{animation:31s linear infinite crt-track}@keyframes crt-track{0%,82%{opacity:0;top:-40px}83%{opacity:1;top:3%}89%{opacity:.7;top:44%}95%,to{opacity:0;top:104%}}body:not(.crt-off) .desktop{animation:26s step-end infinite crt-slip}@keyframes crt-slip{0%,46.9%,to{transform:translate(0)}46.96%{transform:translate(1.4px)skew(.25deg)}47.02%{transform:translate(-1px)}47.08%{transform:translate(0)skew(0deg)}}@media (max-width:760px){body{overflow:auto}.desktop{height:auto;min-height:calc(100vh - var(--task-h));padding-bottom:20px;overflow:auto}.windows{position:static}.win{margin:10px;animation:none;width:auto!important;position:relative!important;top:auto!important;left:auto!important}.win-body{max-height:none}.win-body.prover{grid-template-columns:1fr}.plate{aspect-ratio:300/374;width:100%;max-width:300px;height:auto}.desk-icons{grid-template-columns:repeat(3,90px);margin:14px 0 0 14px;position:static}.two-col{grid-template-columns:1fr}.split{grid-template-columns:1fr 1fr}.split>div:nth-child(2){border-right:0}.split>div:nth-child(-n+2){border-bottom:1px solid var(--ink-deep)}.topright{justify-content:flex-end;padding:12px 14px 0;position:static}.tray{gap:6px;padding:0 5px}.tray>span:first-child{display:none}.cold-screen{padding:3vh 3vw}.cold-title{font-size:2.6vw}.cold-log{font-size:13px}.crt-lines{background:repeating-linear-gradient(0deg, var(--ink-deep) 0 1px, transparent 1px 3px)}@supports (color:color-mix(in lab, red, red)){.crt-lines{background:repeating-linear-gradient(0deg, color-mix(in srgb, var(--ink-deep) 4%, transparent) 0 1px, transparent 1px 3px)}}.crt-lines:after,.crt-glass:after,.crt-grain:after{display:none}.crt-glass{box-shadow:inset 0 0 50px var(--ink-deep);border-radius:0}@supports (color:color-mix(in lab, red, red)){.crt-glass{box-shadow:inset 0 0 50px color-mix(in srgb, var(--ink-deep) 14%, transparent)}}body:not(.crt-off) .desktop{animation:none}}@media (prefers-reduced-motion:reduce){*,:before,:after{transition-duration:.01ms!important;animation-duration:.01ms!important}.crt-grain,.crt-grain:after,.desktop,.cold-title{animation:none!important}}@property --tw-rotate-x{syntax:"*";inherits:false}@property --tw-rotate-y{syntax:"*";inherits:false}@property --tw-rotate-z{syntax:"*";inherits:false}@property --tw-skew-x{syntax:"*";inherits:false}@property --tw-skew-y{syntax:"*";inherits:false}@property --tw-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-shadow-color{syntax:"*";inherits:false}@property --tw-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-inset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-shadow-color{syntax:"*";inherits:false}@property --tw-inset-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-ring-color{syntax:"*";inherits:false}@property --tw-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-ring-color{syntax:"*";inherits:false}@property --tw-inset-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-ring-inset{syntax:"*";inherits:false}@property --tw-ring-offset-width{syntax:"<length>";inherits:false;initial-value:0}@property --tw-ring-offset-color{syntax:"*";inherits:false;initial-value:#fff}@property --tw-ring-offset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}