/*! tailwindcss v4.3.3 | 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)))){*,:before,:after,::backdrop{--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-outline-style:solid}}}@layer theme{:root,:host{--font-sans:Inter,"Noto Sans SC","PingFang SC","Microsoft YaHei",system-ui,sans-serif;--font-mono:"JetBrains Mono","Geist Mono","IBM Plex Mono",ui-monospace,monospace;--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono);--color-bg:#0b1020;--color-surface:#121a2e;--color-surface-2:#18223a;--color-surface-plot:#0d1426;--color-line:#26324d;--color-line-strong:#34446a;--color-ink:#e8eef8;--color-ink-2:#a9b6cc;--color-ink-3:#7c8aa5;--color-pt-a:#22d3ee;--color-pt-b:#a78bfa;--color-pt-c:#fbbf24;--color-pt-res:#f472b6;--color-pt-hist:#f472b6;--color-key:#fb923c;--color-key-bg:#fb923c1f;--color-pub:#34d399;--color-pub-bg:#34d3991f;--color-pub-ink:#bff3dd;--color-analogy:#fbbf24;--color-real:#34d399;--color-danger:#f87171;--color-focus:#7dd3fc}}@layer base{*,:after,:before,::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%;-moz-tab-size:4;tab-size:4;line-height:1.5;font-family:var(--default-font-family,-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", Arial, 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;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:where(:not(iframe)){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;-moz-appearance:button;appearance:button}::file-selector-button{-webkit-appearance:button;-moz-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{.visible{visibility:visible}.sr-only{clip-path:inset(50%);white-space:nowrap;border-width:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.fixed{position:fixed}.static{position:static}.sticky{position:sticky}.grid{display:grid}.hidden{display:none}.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)}.outline{outline-style:var(--tw-outline-style);outline-width:1px}}:root{font-family:var(--font-sans);color:var(--color-ink);background:var(--color-bg);color-scheme:dark;font-synthesis:weight;font-size:14px}*{box-sizing:border-box}body{margin:0}button,input,select{font:inherit}button,select{cursor:pointer}button,a,input,select{-webkit-tap-highlight-color:transparent}button{color:inherit}button:disabled{opacity:.45;cursor:default}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible,[tabindex]:focus-visible{outline:2px solid var(--color-focus);outline-offset:2px}h2,h3,p{margin:0}h2{font-size:17px;font-weight:600}h3{margin-bottom:12px;font-size:13px;font-weight:600}p{color:var(--color-ink-2);line-height:1.6}small{color:var(--color-ink-3);font-size:12px;font-weight:400}code,input{font-family:var(--font-mono);font-size:13px}.button{border:1px solid var(--color-line-strong);background:var(--color-surface-2);white-space:nowrap;border-radius:10px;justify-content:center;align-items:center;gap:7px;min-height:40px;padding:0 13px;display:inline-flex}.button:hover{border-color:var(--color-ink-3)}.button-primary{background:var(--color-ink);color:var(--color-bg);border-color:var(--color-ink);font-weight:600}.button-ghost{background:0 0;border-color:#0000}.button-icon{width:40px;padding:0}.button-group{flex-wrap:wrap;gap:8px;display:flex}input:not([type=checkbox]),select{border:1px solid var(--color-line-strong);background:var(--color-surface-plot);width:100%;min-width:0;color:var(--color-ink);border-radius:10px;height:40px;padding:0 12px;display:block}input[aria-invalid=true]{border-color:var(--color-danger);box-shadow:0 0 0 3px #f8717126}input[type=checkbox]{accent-color:var(--color-pub)}label,.field{color:var(--color-ink-3);font-size:12px;display:block}label input,label select{margin-top:6px}select{font-family:var(--font-sans)}main{max-width:1440px;margin:auto;padding:0 24px}.top-bar{z-index:20;border-bottom:1px solid var(--color-line);-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);background:#0b1020ed;justify-content:space-between;align-items:center;gap:16px;height:56px;padding:0 24px;display:flex;position:sticky;top:0}.brand,.top-actions{align-items:center;gap:14px;display:flex}.brand-icon{border:1px solid var(--color-line-strong);background:linear-gradient(135deg,#18354a,#34243d);border-radius:9px;place-items:center;width:28px;height:28px;display:grid}.brand strong{white-space:nowrap;font-size:17px}.app-sub{color:var(--color-ink-3);font-size:12px}.top-actions{gap:16px}.curve-select{white-space:nowrap;align-items:center;gap:8px;display:flex}.curve-select select{background:var(--color-surface-2);width:auto;height:36px;margin:0}.segmented{border:1px solid var(--color-line-strong);background:var(--color-surface-2);border-radius:10px;align-items:center;gap:3px;padding:3px;display:inline-flex}.segmented button{color:var(--color-ink-2);background:0 0;border:1px solid #0000;border-radius:7px;min-height:28px;padding:5px 10px}.segmented button[aria-pressed=true]{color:var(--color-ink);background:#2b3859;border-color:#405581}.transport-wrap{align-items:center;gap:12px;margin:16px 0;display:flex}.transport{border:1px solid var(--color-line);background:var(--color-surface);border-radius:14px;flex:1;align-items:center;gap:12px;min-width:0;height:58px;padding:8px 10px;display:flex}.playback-buttons{gap:12px;display:flex}.speed-row{color:var(--color-ink-3);align-items:center;gap:12px;font-size:12px;display:flex}.speed-row .segmented button{min-width:33px}.transport-status{color:var(--color-ink-2);white-space:nowrap;align-items:center;gap:7px;margin-left:auto;font-size:12px;display:flex}.transport-status i,.mobile-tabs i{background:var(--color-pub);border-radius:50%;flex-shrink:0;width:8px;height:8px;display:inline-block}.transport-status i.paused{background:var(--color-analogy)}.sync-note{width:220px;color:var(--color-ink-3);flex-shrink:0;font-size:12px}.views{grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:44px;display:grid;position:relative}.panel{border:1px solid var(--color-line);border-top:3px solid var(--color-analogy);background:var(--color-surface);border-radius:16px;min-width:0;overflow:hidden}.real-key-panel{border-top-color:var(--color-real)}.panel-heading{align-items:flex-start;gap:12px;min-height:66px;padding:16px 20px 0;display:flex;position:relative}.panel-heading p{margin-top:4px;font-size:12px}.number{font-family:var(--font-mono);border:1px solid var(--color-line-strong);color:var(--color-ink-3);border-radius:5px;padding:3px 6px;font-size:11px}.world-badge{color:var(--color-analogy);background:#fbbf240c;border:1px dashed #fbbf2466;border-radius:20px;flex-shrink:0;margin-left:auto;padding:5px 10px;font-size:12px;font-weight:600}.real-key-panel .world-badge{color:var(--color-pub);background:var(--color-pub-bg);border:1px solid #34d39966}.panel-heading h2{max-width:100%}.equation{font-family:var(--font-mono);padding:12px 20px;font-weight:600}.equation small{margin-left:8px}.key-equation{font:13px var(--font-mono);color:var(--color-ink-3);flex-wrap:wrap;align-items:center;gap:8px;min-height:52px;padding:12px 20px;display:flex}.key-equation>span{background:var(--color-surface-2);border:1px solid var(--color-line-strong);border-radius:7px;padding:5px 10px}.key-equation>span:first-child{color:var(--color-key);background:var(--color-key-bg);border-color:#fb923c66}.key-equation>span:nth-of-type(3){color:var(--color-pub);background:var(--color-pub-bg);border-color:#34d39966}.key-equation small{font-size:11px}.neq{color:var(--color-ink-3);flex-direction:column;align-items:center;gap:10px;width:40px;font-size:12px;display:flex;position:absolute;top:134px;left:50%;transform:translate(-50%)}.neq b{border:1px solid var(--color-line-strong);background:var(--color-bg);width:36px;height:36px;color:var(--color-ink-2);border-radius:50%;place-items:center;font-size:20px;display:grid}.neq span{writing-mode:vertical-rl;letter-spacing:2px}.plot-stage{margin:0 12px;position:relative}.plot-wrap{border:1px solid var(--color-line);background:var(--color-surface-plot);border-radius:13px;height:400px;position:relative;overflow:hidden}canvas{touch-action:none;width:100%;height:100%;display:block}.step-caption{pointer-events:none;border:1px solid var(--color-line-strong);background:#0b1020f2;border-radius:10px;flex-direction:column;gap:3px;min-width:220px;max-width:calc(100% - 26px);padding:10px 12px;font-size:12px;display:flex;position:absolute;top:13px;left:13px}.step-caption span{color:var(--color-ink-3);white-space:nowrap;text-overflow:ellipsis;max-width:100%;font-size:12px;overflow:hidden}.plot-top{align-items:center;gap:6px;font-size:11px;display:flex;position:absolute;top:78px;right:12px}.plot-top>.badge:first-child{display:none}.plot-top .button{background:var(--color-bg);min-height:32px;padding:0 8px;font-size:11px}.auto-follow{background:var(--color-bg);border:1px solid var(--color-line-strong);border-radius:7px;flex-wrap:wrap;align-items:center;max-width:130px;padding:4px;display:flex}.plot-bottom{color:var(--color-ink-3);justify-content:space-between;align-items:center;gap:8px;font-size:11px;display:flex;position:absolute;bottom:12px;left:12px;right:12px}.plot-bottom button{border:1px solid var(--color-line-strong);white-space:nowrap;background:0 0;border-radius:6px;min-height:28px;padding:2px 6px}.construction-kind{border:1px solid var(--color-line-strong);background:#0b1020e8;border-radius:7px;padding:5px 8px;font-size:12px;position:absolute;bottom:48px;right:12px}.real-history-details{background:var(--color-bg);border:1px solid var(--color-line-strong);max-width:calc(100% - 24px);font:12px var(--font-mono);z-index:3;border-radius:10px;flex-direction:column;gap:5px;padding:10px;display:flex;position:absolute;top:125px;left:12px}.real-history-details b{color:var(--color-pt-hist)}.real-history-details button{background:0 0;border:0;align-self:flex-end}.steps{color:var(--color-ink-3);grid-template-columns:repeat(5,minmax(0,1fr));gap:7px;margin:14px 20px 8px;font-size:12px;display:grid}.steps .active{color:var(--color-ink)}.step-track{background:var(--color-line);border-radius:4px;height:4px;margin-bottom:5px;overflow:hidden}.step-track i{background:#5b6b8f;height:100%;display:block}.active .step-track{background:#3b4a70}.active .step-track i{background:var(--color-ink)}.base-history{border-top:1px solid var(--color-line);grid-template-columns:1fr 1fr;display:grid}.base-settings,.history-list,.key-start,.details,.why{padding:18px 20px}.history-list{border-left:1px solid var(--color-line);min-width:0}.base-settings h3 small,.key-start h3 small,.history-list h3 small{margin-left:6px}.base-input-row{align-items:end;gap:8px;display:flex}.base-input-row>label{flex:1;min-width:0}.base-input-row>div{color:var(--color-ink-3);font-size:12px}.base-input-row .segmented{margin-top:6px;display:flex}.pending-base,.base-error{margin:8px 0;font-size:12px}.base-error{color:var(--color-danger)}.base-settings .button{min-height:32px;padding:0 10px;font-size:12px}.history-list>div{flex-wrap:wrap;gap:6px;display:flex}.history-chip{font:11px var(--font-mono);border:1px solid var(--color-line);color:var(--color-ink-2);border-radius:8px;align-items:center;gap:5px;padding:3px 5px;display:inline-flex}.history-chip b{color:var(--color-bg);background:var(--color-pt-hist);border-radius:50%;padding:2px 5px}.history-list p{color:var(--color-ink-3);margin-top:10px;font-size:12px}.why{border-top:1px solid var(--color-line)}.why>div{grid-template-columns:repeat(3,1fr);gap:12px;display:grid}.why article{font-size:12px}.why article:first-child strong{color:var(--color-analogy)}.why article:nth-child(2) strong{color:var(--color-pub)}.why p{margin-top:8px}.key-start,.details{border-top:1px solid var(--color-line)}.key-start p{margin:10px 0;font-size:12px}.key-start select{width:auto;max-width:100%}.key-start>.button,.key-start .field{margin-bottom:10px}.random-proof{color:var(--color-key);background:#fb923c0f;border:1px solid #fb923c59;border-radius:12px;flex-wrap:wrap;gap:12px;margin-top:10px;padding:12px;display:flex}.random-proof code{overflow-wrap:anywhere}.detail-title{justify-content:space-between;align-items:center;margin-bottom:16px;display:flex}.detail-title h3{margin:0}.coordinate{grid-template-columns:1fr 32px;align-items:center;gap:6px;margin-top:12px;display:grid;position:relative}.coordinate>span{grid-column:1/-1;font-size:12px}.coordinate code{overflow-wrap:anywhere;min-width:0;font-size:13px;line-height:1.7}.coordinate.private{color:var(--color-key)}.coordinate.public{color:var(--color-pub-ink)}.coordinate .button{background:0 0;width:32px;min-height:32px;padding:0}.details p{margin-top:16px;font-size:12px}footer{color:var(--color-ink-3);padding:20px 0;font-size:12px}.modal-backdrop{z-index:50;background:#0009;justify-content:flex-end;display:flex;position:fixed;top:0;right:0;bottom:0;left:0}.drawer{background:var(--color-surface);border:1px solid var(--color-line-strong);width:400px;max-width:100%;height:100%;padding:20px;overflow-y:auto;box-shadow:0 0 60px #0005}.drawer-heading{justify-content:space-between;align-items:center;margin-bottom:20px;display:flex}.drawer-heading h2{font-size:17px}.drawer-heading .button{width:40px;padding:0;font-size:24px}.drawer .curve-select{margin-bottom:20px}.drawer form .button{margin-top:16px}.settings-grid{gap:14px;display:grid}.real-settings{border-top:1px solid var(--color-line);margin:20px 0;padding-top:20px}.real-settings label{margin:12px 0}.drawer details{margin:20px 0}.drawer p{font-size:12px}.drawer .base-settings,.drawer .key-start{border:0;padding:20px 0}.drawer .speed-row{flex-wrap:wrap;margin:20px 0}.mobile-tabs,.mobile-bar,.drawer-grip{display:none}@media(min-width:1024px)and (max-width:1350px){.panel-heading{flex-wrap:wrap}.world-badge{order:3;margin-left:39px}.sync-note{width:180px}.transport-status{font-size:11px}.speed-row{gap:5px}.transport{gap:8px}.playback-buttons{gap:6px}}@media(min-width:768px)and (max-width:1023px){.views{grid-template-columns:1fr;gap:18px}.neq{flex-direction:row;justify-content:center;width:100%;position:static;transform:none}.neq span{writing-mode:horizontal-tb;letter-spacing:0}.transport-wrap{z-index:10;background:var(--color-bg);margin:0;padding:10px 0;position:sticky;top:56px}.transport{flex-wrap:wrap;height:auto}.sync-note,.app-sub{display:none}.transport-status{flex:1;justify-content:flex-end}.plot-wrap{height:400px}}@media(max-width:767px){main{padding:12px 12px 84px}.top-bar{gap:6px;height:52px;padding:0 16px}.brand{gap:10px}.brand strong{font-size:17px}.brand-icon{width:28px;height:28px}.app-sub,.desktop-only{display:none!important}.top-actions{gap:0}.top-actions .segmented button{min-height:30px;padding:3px 9px}.mobile-tabs{z-index:19;border-bottom:1px solid var(--color-line);background:var(--color-bg);gap:8px;height:56px;padding:8px 16px;display:flex;position:sticky;top:52px}.mobile-tabs button{min-width:0;color:var(--color-ink-2);background:var(--color-surface);border:1px solid var(--color-line-strong);border-radius:10px;flex:1;justify-content:center;align-items:center;gap:6px;min-height:40px;font-size:15px;font-weight:600;display:flex}.mobile-tabs button[aria-selected=true]{color:var(--color-ink);background:#1e2a47;border-color:#53688f}.mobile-tabs button:first-child i{background:var(--color-analogy)}.views{display:block}.panel{border-radius:14px}.panel-heading{flex-direction:column;gap:12px;padding:14px 14px 0;display:flex}.panel-heading .number{display:none}.world-badge{order:-1;margin:0;padding:5px 10px;font-size:12px}.panel-heading h2{font-size:16px}.panel-heading p{margin-top:4px;font-size:13px;line-height:1.5}.equation{padding:12px 14px;font-size:15px}.equation small{margin-left:5px;font-size:12px}.key-equation{padding:12px 14px}.key-equation small{width:100%}.plot-stage{margin:0 8px}.plot-wrap{border-radius:12px;height:340px}.step-caption{min-width:0;max-width:none;padding:9px 10px;font-size:13px;top:12px;left:12px;right:12px}.step-caption span{font-size:12px}.plot-top{max-width:calc(100% - 16px);top:76px;right:8px}.plot-top .button{min-height:44px}.auto-follow{min-height:44px;font-size:11px}.plot-bottom{font-size:10px;bottom:8px;left:8px;right:8px}.plot-bottom button{min-height:44px}.construction-kind{max-width:95%;font-size:11px;bottom:58px}.steps{gap:4px;margin:12px 14px 6px}.step-track{height:4px}.steps>div>span{font-size:12px}.step-name{display:none}.base-history{display:block}.base-settings,.history-list,.key-start,.details,.why{padding:14px}.base-settings h3,.key-start h3{font-size:13px}.base-settings h3 small,.key-start h3 small{font-size:12px}.base-input-row{margin-top:16px}.base-input-row .segmented button{min-height:28px}.base-settings .button{min-height:44px}.history-list{border-left:0;border-top:1px solid var(--color-line)}.why>div{grid-template-columns:1fr;gap:16px}.mobile-bar{z-index:30;height:calc(64px + env(safe-area-inset-bottom));padding:10px 12px calc(10px + env(safe-area-inset-bottom));border-top:1px solid var(--color-line-strong);-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);background:#121a2ef5;justify-content:space-between;align-items:center;gap:8px;display:flex;position:fixed;bottom:0;left:0;right:0}.mobile-bar .button{min-height:44px;padding:0 12px}.mobile-bar .playback-buttons{gap:8px}.mobile-bar .playback-buttons>.button:first-child{min-width:88px}.mobile-bar .playback-buttons>.button:not(:first-child){width:44px;padding:0}.bottom-sheet{width:100%;height:auto;max-height:82vh;padding:8px 16px calc(20px + env(safe-area-inset-bottom));border-radius:20px 20px 0 0;align-self:flex-end}.drawer-grip{touch-action:none;height:24px;display:block;position:relative}.drawer-grip:before{content:"";background:var(--color-line-strong);border-radius:4px;width:36px;height:4px;display:block;position:absolute;top:4px;left:50%;transform:translate(-50%)}.advanced-drawer{border-radius:20px 20px 0 0;align-self:flex-end;width:100%;height:auto;max-height:82vh}.drawer-heading{margin-bottom:14px}.drawer .button,.drawer .segmented button,.drawer select{min-height:44px}.drawer .segmented{flex-wrap:wrap}.drawer .speed-row{gap:8px}.drawer .speed-row .segmented button{min-width:35px}.coordinate .button{width:44px;min-height:44px}.coordinate{grid-template-columns:1fr 44px}.detail-title .segmented button{min-height:36px}.history-chip{min-height:32px}.key-start select,.button{min-height:44px}}@media(prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition:none!important;animation:none!important}}@media(max-width:767px){.top-actions .segmented{padding:0}.top-actions .segmented button{min-width:44px;min-height:44px}.mobile-tabs{padding-top:6px;padding-bottom:6px}.mobile-tabs button{min-height:44px}.base-input-row .segmented{padding:0}.base-input-row .segmented button{min-width:44px;min-height:44px}.detail-title .segmented button,.history-chip{min-height:44px}button{min-width:44px;min-height:44px}.drawer .speed-row .segmented button{min-width:44px}.real-history-details button{align-self:flex-end}}.tablet-neq{display:none}@media(min-width:768px)and (max-width:1023px){.neq .desktop-neq{display:none}.neq .tablet-neq{display:inline}}.sr-only{clip:rect(0,0,0,0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.steps{padding:0;list-style:none}.steps>li{min-width:0}.steps>li>span{font-size:12px}.step-caption{z-index:2;max-width:calc(100% - 77px);right:64px}.step-caption strong{white-space:nowrap;text-overflow:ellipsis;overflow:hidden}.step-caption span{display:block}.plot-top{z-index:3;top:12px;right:12px}.plot-top>.auto-follow.badge:first-child{display:flex}.plot-top .button{width:32px;padding:0}.plot-top .auto-follow{justify-content:center;min-width:110px;max-width:150px;position:absolute;top:48px;right:0}.plot-labels{pointer-events:none;position:absolute;top:0;right:0;bottom:0;left:0}.point-label{font:600 12px var(--font-mono);white-space:nowrap;background:#0b1020ed;border:1px solid;border-radius:6px;padding:2px 6px;position:absolute}.preview-label{color:var(--color-analogy);border-color:var(--color-analogy)}.history-number{background:var(--color-pt-hist);color:#2a0a1c;min-width:22px;height:18px;font:700 11px var(--font-mono);border-radius:10px;place-items:center;padding:0 5px;display:grid;position:absolute}.plot-legend{border:1px solid var(--color-line);max-width:calc(100% - 24px);color:var(--color-ink-2);background:#0b1020f2;border-radius:10px;flex-wrap:wrap;align-items:center;gap:12px;padding:8px 10px;font-size:12px;display:flex;position:absolute;bottom:11px;left:12px;right:auto}.plot-legend>span{white-space:nowrap;align-items:center;gap:5px;display:flex}.plot-legend i{background:var(--color-pt-a);border-radius:50%;flex-shrink:0;width:10px;height:10px;display:inline-block}.plot-legend .legend-1{background:var(--color-pt-b)}.plot-legend .legend-2{border:2px solid var(--color-pt-c);background:0 0}.plot-legend .legend-3,.plot-legend .legend-4{background:var(--color-pt-res)}.plot-legend .legend-4{opacity:.65}.plot-legend .legend-public{background:var(--color-pub)}.plot-bottom{pointer-events:none;bottom:49px;left:12px;right:12px}.plot-bottom button{pointer-events:auto;background:#0b1020ed}.construction-kind{pointer-events:none;max-width:calc(100% - 24px);bottom:90px}.infinity-marker{color:var(--color-analogy);font:700 24px var(--font-mono);pointer-events:none;position:absolute}.real-history-details{z-index:5;pointer-events:auto;gap:5px;width:210px;max-width:calc(100% - 16px);padding:10px 28px 10px 10px}.real-history-details button{width:24px;min-width:24px;height:24px;min-height:24px;position:absolute;top:2px;right:2px}.real-history-details b{font:600 12px var(--font-sans)}.real-history-details span{white-space:nowrap}.history-chip{background:var(--color-surface-2);cursor:pointer;min-height:28px;font-size:11px}.history-chip.newest{border-color:#f472b680}.history-chip:hover,.history-chip[aria-pressed=true]{border-color:var(--color-pt-hist);background:#f472b614}.history-overflow{color:var(--color-ink-3);font:12px var(--font-mono);padding:6px}.why article{border:1px solid var(--color-line);background:var(--color-surface-plot);border-radius:10px;padding:12px}.base-error svg{vertical-align:middle;flex-shrink:0;display:inline}.random-base-proof{color:var(--color-key)}.range-hint{font:12px var(--font-mono);color:var(--color-ink-3);margin-top:8px}.base-settings .pending-base,.base-settings .base-error{min-height:20px}.base-settings h3 small{display:inline}@media(max-width:767px){.steps>li>span{font-size:12px}.step-caption{max-width:none;left:12px;right:60px}.plot-top .button{width:44px;min-height:44px}.plot-top .auto-follow{min-width:105px;top:50px}.plot-legend{flex-wrap:nowrap;justify-content:space-between;gap:8px;max-width:none;padding:7px;font-size:11px;bottom:9px;left:8px;right:8px}.plot-legend i{width:10px;height:10px}.plot-legend>span{gap:3px}.plot-bottom{bottom:45px;left:8px;right:8px}.plot-bottom>span{display:none}.plot-bottom{justify-content:flex-end}.construction-kind{font-size:11px;bottom:92px}.history-chip{min-height:44px;font-size:12px}.real-history-details{padding-right:46px}.real-history-details button{width:44px;min-width:44px;height:44px;min-height:44px;top:0;right:0}.real-history-details{width:240px}.base-settings h3{line-height:1.6}.why article{padding:12px}.base-settings .segmented button{min-width:44px}}@media(max-width:359px){.plot-legend{gap:4px;padding:7px 4px;font-size:10px}.plot-legend i{width:8px;height:8px}.step-caption{font-size:12px}}.field-hover{color:var(--color-ink-3);font:11px var(--font-mono);pointer-events:none;background:#0b1020e8;border-radius:5px;padding:3px 6px;position:absolute;bottom:49px;right:12px}@media(max-width:767px){.drawer summary{align-items:center;min-height:44px;display:flex}}.plot-empty{border:1px solid var(--color-line-strong);color:var(--color-ink-2);text-align:center;pointer-events:none;background:#0b1020ee;border-radius:10px;padding:14px;font-size:13px;position:absolute;top:45%;left:35px;right:35px}.real-key-panel .world-badge{align-items:center;gap:4px;display:inline-flex}.key-modes{flex-wrap:wrap;gap:3px;max-width:100%}.key-modes button{white-space:normal;font-size:12px}.manual-key-form{align-items:flex-end;gap:10px;margin-top:14px;display:flex}.manual-key-form .field{flex:1;min-width:0}.manual-key-form .button{flex-shrink:0}.manual-key-form input{color:var(--color-key)}.random-proof{color:var(--color-ink-2);background:#fb923c0f;border:1px solid #fb923c59;margin-top:12px;padding:12px;display:block}.key-start .random-proof p{margin:8px 0;font-size:12px}.proof-source{flex-wrap:wrap;align-items:center;gap:6px;display:flex}.proof-source b{color:var(--color-key)}.proof-source code{border:1px solid var(--color-line);background:var(--color-surface-plot);color:var(--color-ink);border-radius:6px;padding:3px 7px;font-size:12px}.byte-grid{grid-template-columns:repeat(16,minmax(0,1fr));gap:4px;margin:10px 0;display:grid}.byte-grid span{background:var(--color-surface-plot);color:#ffbd86;font:10px var(--font-mono);border:1px solid #fb923c1c;border-radius:5px;place-items:center;padding:4px 0;animation:.6s ease-out byte-flash;display:grid}.proof-meta{color:var(--color-ink-3);flex-wrap:wrap;align-items:center;gap:6px 12px;margin:10px 0;font-size:12px;display:flex}.proof-meta>span:first-child{color:var(--color-pub)}.proof-previous{overflow-wrap:anywhere}.random-proof details{margin:10px 0;font-size:12px}.random-proof summary{cursor:pointer;color:var(--color-ink-2)}.random-proof>.button{min-height:32px;font-size:12px}.coordinate{border-bottom:1px dashed var(--color-line);padding-bottom:12px}.coordinate>span{font-weight:600}.coordinate>span small{margin-left:8px}.coordinate.public>span{color:var(--color-pub)}.coordinate.private .button:hover{color:var(--color-key);border-color:var(--color-key)}.coordinate.public .button:hover,.coordinate .button.copied{color:var(--color-pub);border-color:var(--color-pub)}.coordinate code{word-break:normal;overflow-wrap:anywhere}.compressed-prefix{background:var(--color-pub);color:var(--color-bg);border-radius:4px;align-items:center;margin-right:6px;padding:0 4px;font-weight:600;display:inline-flex}.pinned-key{color:var(--color-pub);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:8px;font-size:12px;display:flex}.pinned-key .button{font-size:12px}.app-notice{background:var(--color-key-bg);color:var(--color-ink);border:1px solid #fb923c66;border-radius:10px;justify-content:space-between;align-items:center;gap:10px;margin:12px 0;padding:10px 14px;font-size:13px;display:flex}.app-notice .button{flex-shrink:0;width:32px;min-height:32px;padding:0;font-size:20px}@keyframes byte-flash{0%{color:#fff;background:#fb923c55}to{background:var(--color-surface-plot);color:#ffbd86}}@media(max-width:767px){.key-modes{width:100%;padding:3px;display:flex}.key-modes button{flex:1;min-height:44px;padding:4px 6px;font-size:12px}.byte-grid{grid-template-columns:repeat(8,minmax(0,1fr));gap:5px}.byte-grid span{padding:5px 0;font-size:11px}.random-proof>.button{min-height:44px}.manual-key-form{flex-wrap:wrap}.manual-key-form .field{flex-basis:100%}.app-notice .button{width:44px;min-height:44px}.random-proof summary{align-items:center;min-height:44px;display:flex}.real-key-panel .detail-title{flex-wrap:wrap;gap:8px}.coordinate code{font-size:13px}.proof-source code{font-size:11px}.random-proof{padding:12px}}.field-current-label{color:var(--color-pub);border-color:var(--color-pub);pointer-events:none}.field-tip{border:1px solid var(--color-line-strong);width:240px;max-width:calc(100% - 16px);font:12px var(--font-mono);pointer-events:none;z-index:4;background:#0b1020f5;border-radius:10px;flex-direction:column;gap:5px;padding:10px 12px;display:flex;position:absolute}.field-tip strong{color:var(--color-key);overflow-wrap:anywhere}.field-tip span{color:var(--color-pub-ink)}.real-key-panel .plot-legend{gap:8px}.jump-legend{color:var(--color-ink-3);font-size:11px}.real-key-panel .plot-legend>span:nth-child(2) i{opacity:.5}@media(max-width:767px){.real-key-panel .plot-legend{flex-wrap:wrap;justify-content:flex-start;gap:4px 12px;padding:6px 8px}.real-key-panel .jump-legend{flex-basis:100%;font-size:10px}}.transport{height:56px;padding:7px 10px}@media(min-width:768px)and (max-width:900px){.transport .playback-buttons{gap:8px}.transport .playback-buttons .button:not(:first-child){width:40px;padding:0}.transport .playback-buttons .button:not(:first-child) span{display:none}.transport .speed-row{gap:8px}}.drawer summary,.random-proof summary{cursor:pointer;align-items:center;list-style:none;display:flex}.drawer summary::-webkit-details-marker{display:none}.random-proof summary::-webkit-details-marker{display:none}.drawer summary:before,.random-proof summary:before{content:"▸";margin-right:6px}.drawer details[open]>summary:before,.random-proof details[open]>summary:before{content:"▾"}.step-caption{width:max-content}.proof-actions{grid-template-columns:minmax(0,1fr) auto;align-items:start;gap:8px;margin-top:8px;display:grid}.random-proof .proof-actions details{margin:0}.proof-actions details[open]{grid-column:1/-1}.proof-actions .button{min-height:32px;font-size:12px}@media(max-width:767px){.proof-actions .button{min-height:44px}.proof-actions summary{font-size:11px}.byte-grid span{padding:3px 0}.bottom-sheet>.speed-full{border-top:1px solid var(--color-line);margin:16px 0;padding-top:16px;display:block}.bottom-sheet .speed-full>.segmented{width:100%;margin-top:10px;display:flex}.bottom-sheet .speed-full>.segmented button{flex:1}.bottom-sheet .speed-full>span:last-child{display:none}.bottom-sheet>.curve-select{border-top:1px solid var(--color-line);padding-top:16px;display:block}.bottom-sheet>.curve-select select{width:100%;margin-top:8px}.step-caption{width:auto;max-width:calc(100% - 72px)}}button,a,select,summary{touch-action:manipulation}.restart-toast{z-index:100;border:1px solid var(--color-line-strong);background:var(--color-surface-2);border-radius:14px;align-items:center;gap:16px;width:max-content;max-width:calc(100% - 24px);padding:10px 12px 10px 18px;font-size:13px;display:flex;position:fixed;bottom:24px;left:50%;transform:translate(-50%);box-shadow:0 8px 32px #0008}.restart-toast .button{color:var(--color-focus);flex-shrink:0}.toolbar-clear{border:1px solid var(--color-line);background:var(--color-surface-plot);border-radius:8px;padding:5px 8px;font-size:11px;position:absolute;top:48px;right:0}@media(max-width:767px){.restart-toast{bottom:calc(76px + env(safe-area-inset-bottom));gap:8px;padding:8px 10px;font-size:12px}.analogy-panel .plot-stage{margin-bottom:48px}.real-toolbar.plot-top{justify-content:flex-end;align-items:center;gap:6px;height:44px;display:flex;inset:auto 0 -48px}.real-toolbar.plot-top .auto-follow{background:0 0;border:0;align-items:center;min-width:0;height:44px;padding:0 8px;font-size:11px;display:flex;position:static}.real-toolbar .toolbar-clear{background:0 0;border:0;min-width:44px;min-height:44px;padding:0 8px;font-size:11px;position:static}.real-toolbar.plot-top .button{background:0 0;border:0;min-width:44px}.analogy-panel .construction-kind{pointer-events:none;background:#0d1426d9;max-width:calc(100% - 20px);padding:2px 6px;font-size:10px;bottom:40px;left:10px}.analogy-panel .plot-bottom{display:none}}@media(min-width:768px){.toolbar-clear{white-space:nowrap;min-width:100px;top:84px}}@media(max-width:767px){.analogy-panel .plot-wrap{overflow:visible}.analogy-panel .plot-stage>.step-caption{max-width:calc(100% - 76px)}.real-toolbar.plot-top{max-width:none}.real-toolbar.plot-top .auto-follow input{margin:0 5px 0 0}.analogy-panel .construction-kind{width:max-content;max-width:calc(100% - 20px);right:auto}}.transport-status{gap:4px;min-width:0;overflow:hidden}.transport-status [data-testid=status-current-k]{text-overflow:ellipsis;min-width:0;max-width:156px;overflow:hidden}.sync-note{overflow-wrap:anywhere}@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}@property --tw-outline-style{syntax:"*";inherits:false;initial-value:solid}