*{box-sizing:border-box}:root{color-scheme:light;--bg: #eef3f8;--paper: #ffffff;--paper-edge: #cfd8e3;--card: #ffffff;--dock: #e6edf5;--ink: #1a2c3c;--ink-soft: #47607a;--accent: #3b73c4;--hot-bg: #eef4fc;--strand-a: #0072b2;--strand-b: #d55e00;--node-x: #009e73;--node-n: #d55e00;--node-m: #0072b2;--node-o: #f0e442;--pin: #9aa8b8;--font: "Avenir Next", "Trebuchet MS", "Segoe UI", system-ui, sans-serif;--radius: 14px;--radius-sm: 10px;--gap: 14px}html,body{margin:0;width:100%;height:100%;overflow:hidden;overscroll-behavior:none;background:var(--bg);color:var(--ink);font-family:var(--font);touch-action:manipulation;user-select:none;-webkit-touch-callout:none;-webkit-user-select:none}button{font-family:inherit;-webkit-tap-highlight-color:transparent;-webkit-user-select:none;user-select:none}#app{width:100%;max-width:100vw;min-width:0;height:100%;display:grid;grid-template-columns:minmax(0,1fr);grid-template-rows:52px minmax(0,1fr) auto;overflow-x:hidden}.topbar{display:flex;justify-content:space-between;align-items:center;gap:10px;min-width:0;width:100%;max-width:100vw;padding:7px 20px}.tb-left,.tb-right,.seg{display:flex;align-items:center;gap:8px}.tb-left,.tb-right{min-width:0}.tb-status{display:flex;align-items:center;gap:10px;min-width:0;max-width:min(620px,52vw);min-height:38px;padding:7px 13px;border:1px solid var(--paper-edge);border-radius:999px;background:var(--card);color:var(--ink-soft);font:600 13px/1.25 var(--font)}.tb-status .dot{flex:0 0 auto;width:8px;height:8px;border-radius:50%;background:var(--accent)}.tb-status span:last-child{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.seg{gap:0}.seg .btn{border-radius:0;margin-left:-1px;background:var(--card)}.seg .btn:first-child{margin-left:0;border-radius:var(--radius-sm) 0 0 var(--radius-sm)}.seg .btn:last-child{border-radius:0 var(--radius-sm) var(--radius-sm) 0}.lang-pick{position:relative;display:flex;align-items:center;min-height:38px;padding:0 10px;border:1px solid var(--paper-edge);border-radius:var(--radius-sm);background:var(--card);color:var(--ink-soft)}.globe{flex:0 0 auto;width:17px;height:17px;margin-right:7px;fill:none;stroke:currentColor;stroke-width:1.8;stroke-linecap:round;stroke-linejoin:round}.lang-pick select,.more-select select{-webkit-appearance:none;-moz-appearance:none;appearance:none;border:0;background:transparent;color:var(--ink);font:800 13px/1 var(--font);outline:none;cursor:pointer}.lang-pick select{max-width:110px;padding:0 18px 0 0}.lang-pick:after,.more-select:after{content:"⌄";position:absolute;right:9px;top:50%;transform:translateY(-50%);color:var(--accent);pointer-events:none;font:900 15px/1 var(--font)}.more{position:relative}.more-trigger{display:grid;place-items:center;width:38px;height:38px;border:1px solid var(--paper-edge);border-radius:var(--radius-sm);background:var(--card);color:var(--ink);cursor:pointer;list-style:none}.more-trigger::-webkit-details-marker{display:none}.more-trigger svg{width:21px;height:21px;fill:currentColor}.more-pop{position:absolute;z-index:20;top:calc(100% + 8px);right:0;width:min(320px,calc(100vw - 24px));padding:12px;border:1px solid var(--paper-edge);border-radius:var(--radius);background:var(--card);box-shadow:0 18px 44px #141e2d2e,0 2px 6px #141e2d14}.more:not([open]) .more-pop{display:none}.more-section{display:grid;gap:7px}.more-cap{color:var(--ink-soft);font:800 10.5px/1 var(--font);letter-spacing:.1em;text-transform:uppercase}.more-select{position:relative;display:flex;align-items:center;min-height:38px;padding:0 30px 0 11px;border:1px solid var(--paper-edge);border-radius:var(--radius-sm);background:#f7fbff}.more-select select{width:100%}.more-toggle{-webkit-appearance:none;-moz-appearance:none;appearance:none;display:flex;align-items:center;justify-content:space-between;gap:16px;width:100%;margin-top:10px;padding:11px;border:1px solid transparent;border-radius:var(--radius-sm);background:transparent;color:var(--ink);cursor:pointer;text-align:left}.more-toggle:hover{background:#f7fbff;border-color:var(--paper-edge)}.more-toggle-main{display:grid;gap:4px}.more-toggle-title{font:800 13px/1 var(--font)}.more-toggle-sub{color:var(--ink-soft);font:600 12px/1.25 var(--font)}.switch{position:relative;flex:0 0 auto;width:40px;height:24px;border-radius:999px;background:#47607a38;transition:background .18s ease}.knob{position:absolute;left:3px;top:3px;width:18px;height:18px;border-radius:50%;background:#fff;box-shadow:0 1px 3px #141e2d38;transition:transform .18s ease}.expert-toggle[data-active=true] .switch{background:var(--accent)}.expert-toggle[data-active=true] .knob{transform:translate(16px)}.more-sep{height:1px;margin:10px -12px 8px;background:var(--paper-edge)}.more-link{-webkit-appearance:none;-moz-appearance:none;appearance:none;width:100%;min-height:34px;padding:0 4px;border:0;border-radius:8px;background:transparent;color:var(--ink-soft);font:800 12px/1 var(--font);text-align:left;cursor:pointer}.more-link:hover{color:var(--accent);background:#f7fbff}.stages{position:relative;display:flex;align-items:stretch;min-height:0;min-width:0;width:100%;max-width:100vw;padding:0 20px}.stage{position:relative;flex:1;min-width:0;height:100%;overflow:hidden;border:1px solid var(--paper-edge);border-radius:var(--radius);background:var(--paper);box-shadow:0 1px #ffffffb3 inset,0 1px 2px #281e140a;touch-action:none}#stage{display:block;width:100%;height:100%;-webkit-user-select:none;user-select:none}.btn{-webkit-appearance:none;-moz-appearance:none;appearance:none;min-height:38px;padding:0 14px;border:1px solid var(--paper-edge);border-radius:var(--radius-sm);background:transparent;color:var(--ink);font:700 13px/1 var(--font);cursor:pointer}.btn:hover{border-color:var(--accent);background:#ffffff8a}.btn:disabled{opacity:.45;cursor:default}.btn--primary{border-color:var(--accent);background:var(--accent);color:#fff}.btn--primary:hover{border-color:#2f65b0;background:#2f65b0;color:#fff}.icon-btn,.help-btn{width:38px;padding:0;font-size:18px}.icon-btn{display:grid;place-items:center}.icon-btn svg{width:21px;height:21px;fill:none;stroke:currentColor;stroke-width:1.8;stroke-linecap:round;stroke-linejoin:round}.help-btn{border-radius:999px}.tut-caption{position:absolute;z-index:30;top:70px;left:50%;transform:translate(-50%) translateY(-10px);padding:13px 20px;border-radius:999px;background:var(--ink);color:#fff;box-shadow:0 8px 32px #141e2d42;font:800 17px/1 var(--font);opacity:0;pointer-events:none;transition:opacity .28s,transform .28s;white-space:nowrap}.selection-feedback{position:absolute;z-index:30;top:78px;left:50%;max-width:min(520px,calc(100vw - 36px));transform:translate(-50%) translateY(-10px);padding:13px 18px;border-radius:999px;background:var(--ink);color:#fff;box-shadow:0 8px 32px #141e2d42;font:800 15px/1.2 var(--font);text-align:center;opacity:0;pointer-events:none;transition:opacity .24s,transform .24s}.selection-feedback[data-show=true]{opacity:1;transform:translate(-50%) translateY(0)}.tut-finger{position:absolute;z-index:31;left:0;top:0;width:56px;height:56px;margin-left:-18px;margin-top:-10px;pointer-events:none;opacity:0;transform:translate(-120px,-120px);transition:opacity .25s,transform .75s cubic-bezier(.45,.05,.2,1);will-change:transform}.tut-finger svg{display:block;width:100%;height:100%;filter:drop-shadow(0 4px 10px rgba(20,30,45,.28))}.tut-ripple{position:absolute;z-index:30;left:0;top:0;width:18px;height:18px;margin-left:-9px;margin-top:-9px;border-radius:50%;background:#3b73c494;opacity:0;pointer-events:none}.tut-ripple.tut-firing{animation:tut-ripple .5s ease-out forwards}.tut-root{position:fixed;top:0;right:0;bottom:0;left:0;z-index:100;opacity:0;pointer-events:none;transition:opacity .24s ease}.tut-root[data-active=true]{opacity:1;pointer-events:auto}.tut-veil,.tut-demo{position:absolute;top:0;right:0;bottom:0;left:0;display:block;width:100%;height:100%}.tut-veil .veil-fill{fill:#141e2d6b}.tut-veil .veil-ring{fill:none;stroke:#ffffffdb;stroke-width:1.5;animation:tut-spot-pulse 2.4s ease-in-out infinite}.tut-demo{pointer-events:none}.tut-demo-lasso{fill:#3b73c41f;fill-opacity:0;stroke:var(--accent);stroke-width:2.4;stroke-linecap:round;stroke-linejoin:round;opacity:0;stroke-dasharray:1;stroke-dashoffset:1;transform-box:fill-box;transform-origin:center}.tut-demo-lasso.tut-on{animation:tut-lasso-draw 4.8s ease-in-out infinite}.tut-card{position:absolute;width:min(320px,calc(100vw - 24px));padding:18px 20px 16px;border:1px solid var(--paper-edge);border-radius:var(--radius);background:var(--card);box-shadow:0 24px 60px #141e2d47,0 2px 6px #141e2d14;transition:left .32s cubic-bezier(.2,.7,.3,1),top .32s cubic-bezier(.2,.7,.3,1)}.tut-card-kicker{margin-bottom:6px;color:var(--accent);font:800 10.5px/1 var(--font);letter-spacing:.12em;text-transform:uppercase}.tut-card-title{margin:0 0 6px;color:var(--ink);font:800 18px/1.25 var(--font)}.tut-card-body{margin:0 0 14px;color:var(--ink-soft);font:500 14px/1.45 var(--font)}.tut-card-foot{display:flex;align-items:center;justify-content:space-between;gap:12px}.tut-dots,.tut-actions{display:flex;gap:8px}.tut-dot{width:7px;height:7px;border-radius:50%;background:#141e2d2e;transition:background .2s,transform .2s}.tut-dot[data-current]{background:var(--accent);transform:scale(1.15)}.tut-btn{-webkit-appearance:none;-moz-appearance:none;appearance:none;height:32px;padding:0 12px;border:1px solid transparent;border-radius:8px;font:800 12.5px/1 var(--font);cursor:pointer}.tut-btn--ghost{background:transparent;color:var(--ink-soft)}.tut-btn--ghost:hover{color:var(--ink)}.tut-btn--primary{background:var(--accent);color:#fff}.tut-tail{position:absolute;width:16px;height:16px;border:1px solid var(--paper-edge);background:var(--card);transform:rotate(45deg)}.tut-card[data-placement=top] .tut-tail{bottom:-9px;left:50%;margin-left:-8px;border-top:0;border-left:0}.tut-card[data-placement=bottom] .tut-tail{top:-9px;left:50%;margin-left:-8px;border-right:0;border-bottom:0}.tut-card[data-placement=left] .tut-tail{right:-9px;top:50%;margin-top:-8px;border-bottom:0;border-left:0}.tut-card[data-placement=right] .tut-tail{left:-9px;top:50%;margin-top:-8px;border-top:0;border-right:0}@keyframes tut-spot-pulse{0%,to{stroke-opacity:.85}50%{stroke-opacity:.35}}@keyframes tut-lasso-draw{0%{opacity:0;fill-opacity:0;stroke-dashoffset:1;transform:scale(.98)}12%{opacity:1;fill-opacity:0;stroke-dashoffset:1}46%{opacity:1;fill-opacity:0;stroke-dashoffset:0;transform:scale(1)}68%{opacity:1;fill-opacity:1;stroke-dashoffset:0}to{opacity:0;fill-opacity:0;stroke-dashoffset:0;transform:scale(1.04)}}@keyframes tut-ripple{0%{opacity:.9;transform:scale(.4)}to{opacity:0;transform:scale(4.2)}}@keyframes assist-rule-flash{0%,to{background:var(--hot-bg);box-shadow:0 4px 18px #3b73c433}50%{background:#d9ecff;border-color:#3b91dd;box-shadow:0 0 0 4px #56a9f23d,0 10px 30px #3b91dd52}}@keyframes rules-cue-slide{0%,to{opacity:0;transform:translate(6px)}18%,72%{opacity:1}45%{opacity:1;transform:translate(-18px)}}body.tut-on .tut-caption{opacity:1;transform:translate(-50%) translateY(0)}body.tut-on .tut-finger{opacity:1}body.assist-on .tut-finger.assist-finger{transition:none}body.tut-on .stage:after{content:"";position:absolute;top:0;right:0;bottom:0;left:0;z-index:3;pointer-events:none;background:#141e2d14;box-shadow:inset 0 0 0 9999px #ffffff05}.rule.tut-hot{border-color:var(--accent);background:var(--hot-bg);box-shadow:0 4px 18px #3b73c433}.rule.assist-rule-pulse{animation:assist-rule-flash 1.05s ease-in-out infinite}.rule.tut-hot .rule-badge{background:var(--accent)}.rule.tut-pressed{transform:translateY(2px) scale(.985)}.perf-panel{position:fixed;z-index:40;right:14px;bottom:14px;width:min(560px,calc(100vw - 28px));max-height:min(360px,calc(100vh - 28px));display:flex;flex-direction:column;border:1px solid rgba(36,57,73,.24);border-radius:14px;background:#f7fbfff0;box-shadow:0 12px 38px #141e2d33;backdrop-filter:blur(8px);-webkit-backdrop-filter:blur(8px);overflow:hidden}.perf-panel[hidden]{display:none}.perf-head{display:flex;align-items:center;gap:8px;padding:8px 10px;border-bottom:1px solid var(--paper-edge);color:var(--ink);font:800 12px/1 var(--font)}.perf-head strong{margin-right:auto}.perf-head button{min-height:28px;padding:0 8px;border:1px solid var(--paper-edge);border-radius:8px;background:#fff;color:var(--ink-soft);font:800 11px/1 var(--font)}#perf-output{max-height:none;overflow:auto;border:0;border-radius:0;background:transparent;padding:10px;font-size:11px;line-height:1.35}.dock{display:flex;align-items:center;gap:12px;min-width:0;width:100%;max-width:100vw;padding:16px 20px 18px;border-top:1px solid var(--paper-edge);background:var(--dock)}.dock-label{width:86px;flex:0 0 auto;color:var(--ink-soft);font:700 11px/1 var(--font);letter-spacing:.1em;text-transform:uppercase}.rules-shell{position:relative;flex:1;min-width:0;--rule-card-height: 138px}.rules-shell:before,.rules-shell:after{content:"";position:absolute;z-index:3;top:0;bottom:2px;width:42px;pointer-events:none;opacity:0;transition:opacity .18s ease}.rules-shell:before{left:0;background:linear-gradient(90deg,var(--dock) 8%,rgba(238,243,248,0))}.rules-shell:after{right:0;background:linear-gradient(270deg,var(--dock) 8%,rgba(238,243,248,0))}.rules-shell[data-overflow=true][data-at-start=false]:before,.rules-shell[data-overflow=true][data-at-end=false]:after{opacity:1}.rules-scroll-cue{position:absolute;z-index:4;right:16px;bottom:10px;padding:6px 9px;border:1px solid rgba(59,115,196,.24);border-radius:999px;background:#fbfdffeb;color:var(--accent);box-shadow:0 8px 24px #141e2d1f;font:800 10px/1 var(--font);letter-spacing:.04em;text-transform:uppercase;pointer-events:none;opacity:0;transform:translate(6px)}.rules-shell[data-overflow=true][data-at-start=true]:not([data-scrolled=true]) .rules-scroll-cue{animation:rules-cue-slide 2.6s ease-in-out .5s 3}.rules{display:flex;align-items:stretch;gap:10px;width:100%;min-height:var(--rule-card-height);overflow-x:auto;overscroll-behavior-x:contain;padding-bottom:2px;-webkit-overflow-scrolling:touch}.rule{-webkit-appearance:none;-moz-appearance:none;appearance:none;position:relative;display:flex;flex-direction:column;flex:0 0 220px;height:var(--rule-card-height);min-width:0;padding:8px;border:1px solid var(--paper-edge);border-radius:12px;background:var(--card);box-shadow:0 1px 1px #281e140a;cursor:pointer;text-align:left;transition:box-shadow .15s,border-color .15s,transform .08s,background .15s}.rule:hover:not([disabled]){border-color:var(--accent);background:var(--hot-bg);box-shadow:0 4px 18px #3b73c424}.rule[data-active=true]{border-color:var(--accent);background:var(--hot-bg);box-shadow:0 0 0 2px #3b73c429}.rule[data-active=true] .rule-badge{background:var(--accent)}.rule:active:not([disabled]){transform:translateY(1px)}.rule[disabled]{cursor:default}.rule[data-dimmed=true]{opacity:.54;background:#f6f9fcdb;filter:grayscale(.2)}.rule[data-dimmed=true] .rule-badge{background:#263a50b8}.rules[data-mode=expert][data-selection=true] .rule[data-dimmed=true]{flex-basis:54px;padding:8px 7px;overflow:hidden}.rules[data-mode=expert][data-selection=true] .rule[data-dimmed=true] .rule-meta{inset-inline:7px;justify-content:center}.rules[data-mode=expert][data-selection=true] .rule[data-dimmed=true] .rule-name,.rules[data-mode=expert][data-selection=true] .rule[data-dimmed=true] .rule-preview{display:none}.rule-meta{position:absolute;inset:8px 9px auto 9px;z-index:1;display:flex;justify-content:space-between;align-items:center;gap:8px;pointer-events:none}.rule-badge{padding:2px 8px;border-radius:999px;background:var(--ink);color:#fff;font-size:10.5px;font-weight:800;letter-spacing:.04em}.rule:hover:not([disabled]) .rule-badge{background:var(--accent)}.rule-name{color:var(--ink-soft);font:700 11px/1 ui-monospace,Menlo,Consolas,monospace}.rule-preview{display:block;width:100%;height:120px;border:1px solid var(--paper-edge);border-radius:8px;background:var(--paper);overflow:hidden}.rule-preview-svg{display:block;width:100%;height:100%}.rules[data-mode=easy] .rule-meta{display:none}.rules[data-mode=easy] .rule{padding:7px}.rules[data-mode=easy] .rule-preview{height:100%;border-color:transparent;background:transparent}.move-counter{min-width:64px;visibility:hidden;color:var(--ink-soft);font:500 12px/1.4 ui-monospace,Menlo,Consolas,monospace;text-align:right}.move-counter[data-shown=true]{visibility:visible}.move-counter b{color:var(--ink);font-weight:800}.move-counter span{opacity:.6}.reset-demo-trigger{-webkit-appearance:none;-moz-appearance:none;appearance:none;align-self:flex-end;margin-left:-6px;padding:3px 0;border:0;background:transparent;color:#47607a7a;font:800 10px/1 var(--font);letter-spacing:.08em;text-transform:uppercase;cursor:pointer}.reset-demo-trigger:hover{color:var(--accent)}#success-modal,#proof-panel,#help-panel,#tutorial-panel,#assist-welcome-panel,#reset-demo-panel,#credits-panel{position:fixed;top:0;right:0;bottom:0;left:0;z-index:10;display:none;place-items:center;background:#141e2d2e;backdrop-filter:blur(2px);-webkit-backdrop-filter:blur(2px)}#success-modal[data-open=true],#proof-panel[data-open=true],#help-panel[data-open=true],#tutorial-panel[data-open=true],#assist-welcome-panel[data-open=true],#reset-demo-panel[data-open=true],#credits-panel[data-open=true]{display:grid}#success-modal{backdrop-filter:none;-webkit-backdrop-filter:none}.modal,.proof-card,.help-card,.tutorial-card,.assist-welcome-card{position:relative;z-index:1;width:min(480px,calc(100vw - 40px));padding:32px 36px 28px;border:1px solid var(--paper-edge);border-radius:20px;background:var(--card);box-shadow:0 24px 72px #281e142e,0 2px 6px #281e140f;text-align:center;animation:modal-in .35s cubic-bezier(.2,.7,.3,1) both}@keyframes modal-in{0%{transform:translateY(8px) scale(.97);opacity:0}to{transform:none;opacity:1}}.modal-check{display:grid;place-items:center;width:56px;height:56px;margin:0 auto 14px;border-radius:50%;background:var(--accent);color:#fff;font:700 28px/1 var(--font)}.modal-title{font:700 28px/1.2 var(--font);letter-spacing:-.01em}.modal-body{margin:10px 0 22px;color:var(--ink-soft);font:400 14.5px/1.5 var(--font)}.modal-body a{color:var(--accent);font-weight:700;text-decoration:none}.modal-body a:hover{text-decoration:underline}.assist-welcome-card{box-sizing:border-box;width:min(900px,calc(100vw - 40px));min-width:min(50vw,calc(100vw - 40px));padding:38px 44px 34px}.assist-welcome-image{display:block;width:min(720px,100%);max-width:100%;max-height:min(420px,42vh);object-fit:contain;margin:2px auto 20px;border-radius:var(--radius)}.welcome-controls{display:grid;grid-template-columns:minmax(0,1fr) auto;align-items:end;gap:14px;margin:0 0 22px;text-align:left}.welcome-control{display:grid;gap:7px}.welcome-label{color:var(--ink-soft);font:800 11px/1 var(--font);text-transform:uppercase}.mode-choice{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px}.mode-choice-btn{min-height:78px;padding:12px 14px;border:1px solid var(--paper-edge);border-radius:8px;background:#f8fbfe;color:var(--ink);text-align:left;cursor:pointer}.mode-choice-btn[data-active=true]{border-color:var(--accent);background:var(--hot-bg);box-shadow:inset 0 0 0 1px var(--accent)}.mode-choice-btn span{display:block;margin-bottom:5px;font:800 15px/1.1 var(--font)}.mode-choice-btn small{display:block;color:var(--ink-soft);font:600 12px/1.25 var(--font)}.welcome-language{min-width:150px}.welcome-select{position:relative;display:block;min-height:42px;border:1px solid var(--paper-edge);border-radius:8px;background:#f8fbfe}.welcome-select select{width:100%;min-height:40px;padding:0 34px 0 12px;-webkit-appearance:none;-moz-appearance:none;appearance:none;border:0;background:transparent;color:var(--ink);font:800 13px/1 var(--font);cursor:pointer;outline:none}.welcome-select:after{content:"⌄";position:absolute;right:12px;top:50%;transform:translateY(-50%);color:var(--accent);pointer-events:none;font:900 15px/1 var(--font)}@media (max-width: 720px){.welcome-controls,.mode-choice{grid-template-columns:1fr}}.reset-demo-card{width:min(460px,calc(100vw - 40px))}.modal-actions{display:flex;justify-content:center;gap:10px}.modal--end,#success-modal[data-final] .modal--success{display:none}#success-modal[data-final] .modal--end{display:block}#confetti-canvas{position:fixed;top:0;right:0;bottom:0;left:0;width:100vw;height:100vh;z-index:3;pointer-events:none}.proof-card{width:min(1040px,calc(100vw - 40px));max-height:min(760px,calc(100vh - 64px));padding:28px;text-align:left}.help-card{width:min(520px,calc(100vw - 40px));padding:24px;text-align:left}.tutorial-card{width:min(920px,calc(100vw - 36px));padding:22px;text-align:left}.tutorial-copy{margin:-4px 0 14px;color:var(--ink-soft);font:600 14px/1.45 var(--font)}.tutorial-stage-wrap{height:min(430px,52vh);min-height:300px;border:1px solid var(--paper-edge);border-radius:var(--radius);overflow:hidden;background:var(--paper)}#tutorial-stage{display:block;width:100%;height:100%}.tutorial-rule{width:min(300px,100%);margin:14px auto 0;min-height:120px}.tutorial-rule-preview{display:block;width:100%;height:96px;margin-top:16px;border:1px solid var(--paper-edge);border-radius:8px;background:var(--paper)}.help-card p{margin:10px 0 0;color:var(--ink-soft);font:500 15px/1.5 var(--font)}.proof-head{display:flex;align-items:flex-start;justify-content:space-between;gap:16px;margin-bottom:10px}.proof-kicker{color:var(--ink-soft);font:700 11px/1 var(--font);letter-spacing:.1em;text-transform:uppercase}.proof-head h2{margin:6px 0 0;color:var(--ink);font:700 26px/1.1 var(--font)}pre{margin:0;max-height:360px;overflow:auto;padding:14px;border:1px solid var(--paper-edge);border-radius:12px;background:#f7fbff;color:#263a50;font:500 13px/1.45 ui-monospace,Menlo,Consolas,monospace;white-space:pre-wrap;user-select:text;-webkit-user-select:text;-webkit-touch-callout:default}.proof-explainer{margin:0 0 16px;max-width:620px;color:var(--ink-soft);font:600 14.5px/1.45 var(--font)}.rocq-proof{max-height:min(520px,calc(100vh - 270px));padding:18px 20px;background:#111c28;color:#d7e5f2;border-color:#93b2d238;box-shadow:inset 0 1px #ffffff0a;font-size:14px;line-height:1.55}.rocq-keyword{color:#82cfff;font-weight:800}.rocq-comment{color:#8fb99b;font-style:italic}.rocq-rule{color:#ffd37a;font-weight:800}.proof-actions{display:flex;align-items:center;justify-content:flex-end;gap:10px;margin-top:16px}.proof-share-status{min-height:18px;margin-top:10px;color:var(--ink-soft);font:700 12px/1.3 var(--font);opacity:0;transition:opacity .2s ease}.proof-share-status[data-show]{opacity:1}@media (max-width: 980px){.tb-status,.dock-label{display:none}.rules{gap:8px}.rules-shell{--rule-card-height: 130px}.rule{flex-basis:180px;padding:8px}.rule-preview{height:112px}}@media (max-width: 720px){html,body{overflow:auto}#app{min-height:100%;height:auto;grid-template-rows:auto 62vh auto}.topbar,.dock{padding-left:12px;padding-right:12px}.topbar{align-items:flex-start}.tb-left,.tb-right{gap:6px}.lang-pick select{max-width:82px}.stages{padding:0 12px}.rules{gap:8px}.rule{flex-basis:168px}}