.app-footer{width:100vw;margin-left:calc(50% - 50vw);margin-right:calc(50% - 50vw);margin-top:28px;padding:18px 0;border-top:1px solid rgba(0,0,0,.12);background:#fffffff2}.app-footer-inner{width:min(1100px,calc(100% - 24px));margin:0 auto;display:flex;align-items:center;justify-content:space-between;gap:12px;font-size:13px;opacity:.85}.app-footer-links{display:flex;align-items:center;gap:10px}.app-footer a{text-decoration:none}.app-footer a:hover{text-decoration:underline}.app-footer-sep{opacity:.6}@media (max-width: 640px){.app-footer-inner{flex-direction:column;align-items:flex-start;font-size:12px}.app-footer{margin-top:20px;padding:12px 0}}.frontend-captcha{display:flex;flex-direction:column;gap:10px;width:100%}.frontend-captcha-widget{display:flex;justify-content:flex-start;min-height:78px}.frontend-captcha-note{display:inline-flex;align-items:center;gap:8px;max-width:min(100%,640px);padding:10px 12px;border-radius:12px;font-size:.9rem;line-height:1.5}.frontend-captcha-note.is-info{background:#eef3ff;color:#2f4f8f;border:1px solid #d4ddf4}.frontend-captcha-note.is-warning{background:#fff4e7;color:#8b5a15;border:1px solid #f1d1a5}.frontend-captcha-note.is-success{background:#edf9f0;color:#1f6b3a;border:1px solid #c8e8d2}@media (max-width: 639px){.frontend-captcha-widget{transform-origin:left top;transform:scale(.92);min-height:72px}}.about-feedback-card{grid-column:1 / -1}.about-feedback-copy{margin:0 0 14px;color:#51627f;line-height:1.6}.about-feedback-field{display:flex;flex-direction:column;gap:8px}.about-feedback-field span{color:#435576;font-weight:600}.about-feedback-field textarea{width:100%;min-height:120px;resize:vertical;padding:12px 14px;border:1px solid #cfd9ea;border-radius:14px;background:#fffffff5;color:#21324f;font:inherit;line-height:1.55;box-sizing:border-box}.about-feedback-field textarea:focus{outline:none;border-color:#6f86ff;box-shadow:0 0 0 3px #6f86ff24}.about-feedback-guard{display:flex;flex-direction:column;gap:10px;margin-top:14px}.about-feedback-guard-cooldown{max-width:min(100%,640px);padding:10px 12px;border:1px solid #d4ddf4;border-radius:12px;background:#eef3ff;color:#2f4f8f;font-size:.9rem;line-height:1.5}.about-feedback-actions{display:flex;margin-top:14px}.about-feedback-actions .reset-inputs-btn:disabled{opacity:.6;cursor:not-allowed;transform:none}body.modal-shell-open{overflow:hidden}.modal-shell-layer{position:fixed;top:0;right:0;bottom:0;left:0;z-index:1260;display:flex;align-items:center;justify-content:center;padding:24px 16px}.modal-shell-backdrop{position:fixed;top:0;right:0;bottom:0;left:0;border:none;background:#09101f4d;-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);cursor:pointer}.modal-shell-scroll{position:relative;z-index:1;width:min(var(--modal-shell-width, 900px),calc(100vw - 32px));max-height:calc(100vh - 32px);overflow-y:auto}.modal-shell{position:relative;width:100%;box-sizing:border-box}.modal-shell-dismiss{position:absolute;top:14px;right:14px;width:34px;height:34px;border:none;border-radius:999px;background:#151f3c14;color:#334165;cursor:pointer;display:inline-flex;align-items:center;justify-content:center;transition:background-color .2s ease,transform .2s ease}.modal-shell-dismiss:hover,.modal-shell-dismiss:focus-visible{background:#151f3c24;outline:none;transform:translateY(-1px)}@media (max-width: 900px){.modal-shell-layer{padding:16px 12px}.modal-shell-scroll{width:min(100%,calc(100vw - 24px))}}.sticky-toolbar select{-webkit-appearance:none;-moz-appearance:none;appearance:none;padding-right:24px;background-image:url("data:image/svg+xml;charset=UTF-8,%3csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='currentColor' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3e%3cpolyline points='6 9 12 15 18 9'%3e%3c/polyline%3e%3c/svg%3e");background-repeat:no-repeat;background-position:right 6px center;background-size:18px}body.welcome-guide-open{overflow:hidden}.welcome-guide-modal-layer{position:fixed;top:0;right:0;bottom:0;left:0;z-index:1250;display:flex;align-items:center;justify-content:center;padding:24px 16px}.welcome-guide-modal-backdrop{position:fixed;top:0;right:0;bottom:0;left:0;border:none;background:#09101f47;-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);cursor:pointer}.welcome-guide-modal{position:relative;z-index:1;width:min(520px,calc(100vw - 32px));padding:28px 24px 24px;border-radius:28px;border:1px solid rgba(255,255,255,.72);background:radial-gradient(circle at top right,rgba(110,137,255,.2),transparent 46%),linear-gradient(160deg,#fffffffa,#f2f7fff2);box-shadow:0 28px 76px #070b1866;color:#182033}.welcome-guide-modal h2{margin:16px 0 10px;font-size:1.75rem;line-height:1.1}.welcome-guide-modal p{margin:0;font-size:1rem;line-height:1.7;color:#34425f}.welcome-guide-modal-actions{display:flex;flex-wrap:wrap;gap:12px;margin-top:22px}.welcome-guide-layer{position:fixed;top:0;right:0;bottom:0;left:0;z-index:1200;pointer-events:auto}.welcome-guide-blocker{position:fixed;top:0;right:0;bottom:0;left:0;pointer-events:auto;background:transparent}.welcome-guide-overlay-panel,.welcome-guide-overlay-corner{position:fixed;pointer-events:none;background:#09101f3d;-webkit-backdrop-filter:blur(6px);backdrop-filter:blur(6px)}.welcome-guide-overlay-corner{-webkit-mask-repeat:no-repeat;mask-repeat:no-repeat}.welcome-guide-overlay-corner.top-left{-webkit-mask-image:radial-gradient(circle farthest-side at 100% 100%,transparent 99%,#000 100%);mask-image:radial-gradient(circle farthest-side at 100% 100%,transparent 99%,#000 100%)}.welcome-guide-overlay-corner.top-right{-webkit-mask-image:radial-gradient(circle farthest-side at 0% 100%,transparent 99%,#000 100%);mask-image:radial-gradient(circle farthest-side at 0% 100%,transparent 99%,#000 100%)}.welcome-guide-overlay-corner.bottom-left{-webkit-mask-image:radial-gradient(circle farthest-side at 100% 0%,transparent 99%,#000 100%);mask-image:radial-gradient(circle farthest-side at 100% 0%,transparent 99%,#000 100%)}.welcome-guide-overlay-corner.bottom-right{-webkit-mask-image:radial-gradient(circle farthest-side at 0% 0%,transparent 99%,#000 100%);mask-image:radial-gradient(circle farthest-side at 0% 0%,transparent 99%,#000 100%)}.welcome-guide-focus-ring{position:fixed;z-index:1;border-radius:20px;box-shadow:0 0 0 2px #ffffffeb,0 0 0 6px #708bff7a,0 0 32px #708bff6b;background:#ffffff0a;pointer-events:none}.welcome-guide-card{position:fixed;z-index:2;width:min(420px,calc(100vw - 32px));padding:24px 22px 20px;border-radius:24px;border:1px solid rgba(255,255,255,.68);background:radial-gradient(circle at top right,rgba(110,137,255,.18),transparent 48%),linear-gradient(160deg,#fffffffa,#f2f7fff2);box-shadow:0 24px 70px #070b1861;-webkit-backdrop-filter:blur(18px);backdrop-filter:blur(18px);pointer-events:auto;color:#182033}.welcome-guide-card:after{content:"";position:absolute;left:var(--guide-arrow-left, 72px);width:18px;height:18px;border-radius:4px;background:#fafcfff5;border-left:1px solid rgba(255,255,255,.68);border-top:1px solid rgba(255,255,255,.68);transform:translate(-50%) rotate(45deg)}.welcome-guide-card.placement-bottom:after{top:-10px}.welcome-guide-card.placement-top:after{bottom:-10px;transform:translate(-50%) rotate(225deg)}.welcome-guide-close{position:absolute;top:14px;right:14px;width:34px;height:34px;border:none;border-radius:999px;background:#151f3c14;color:#334165;cursor:pointer;display:inline-flex;align-items:center;justify-content:center;transition:background-color .2s ease,transform .2s ease}.welcome-guide-close:hover{background:#151f3c24;transform:translateY(-1px)}.welcome-guide-kicker{display:inline-flex;align-items:center;gap:8px;padding:6px 12px;border-radius:999px;background:#617bff1f;color:#4b5fcc;font-size:.82rem;font-weight:700;letter-spacing:.03em;text-transform:uppercase}.welcome-guide-progress{display:flex;align-items:center;gap:12px;margin-top:14px;font-size:.84rem;font-weight:700;color:#5f6f96}.welcome-guide-progress-bar{flex:1;height:8px;border-radius:999px;background:#4052911f;overflow:hidden}.welcome-guide-progress-fill{height:100%;border-radius:inherit;background:linear-gradient(90deg,#5c74ff,#84d7c7)}.welcome-guide-card h2{margin:14px 0 10px;font-size:1.5rem;line-height:1.15}.welcome-guide-card p{margin:0;font-size:.98rem;line-height:1.65;color:#34425f}.welcome-guide-pill{display:inline-flex;align-items:center;gap:10px;margin-top:16px;padding:12px 14px;border-radius:16px;background:#131e400f;color:#213154;font-size:.92rem;font-weight:500}.welcome-guide-actions{display:flex;align-items:center;justify-content:space-between;gap:10px;margin-top:20px}.welcome-guide-nav-actions{display:flex;flex-wrap:wrap;gap:10px}.welcome-guide-primary,.welcome-guide-secondary{display:inline-flex;align-items:center;justify-content:center;border:none;border-radius:999px;padding:11px 16px;font-size:.94rem;font-weight:600;cursor:pointer;transition:transform .2s ease,box-shadow .2s ease,background-color .2s ease}.welcome-guide-secondary:disabled{opacity:.45;cursor:default;transform:none}.welcome-guide-primary{background:linear-gradient(135deg,#5c74ff,#8092ff);color:#fff;box-shadow:0 12px 26px #5c74ff47}.welcome-guide-primary:hover{transform:translateY(-1px);box-shadow:0 16px 32px #5c74ff57}.welcome-guide-secondary{background:#121d3e14;color:#243352}.welcome-guide-secondary:not(:disabled):hover{transform:translateY(-1px);background:#121d3e21}.welcome-guide-skip{border:none;background:transparent;color:#55668e;font-size:.92rem;font-weight:600;cursor:pointer;padding:8px 4px}.welcome-guide-skip:hover{color:#2f426f}@media (max-width: 640px){.welcome-guide-modal{padding:24px 18px 18px;border-radius:24px}.welcome-guide-modal h2{font-size:1.42rem}.welcome-guide-modal p{font-size:.94rem}.welcome-guide-modal-actions{flex-direction:column}.welcome-guide-card{padding:22px 18px 18px;border-radius:22px}.welcome-guide-card h2{font-size:1.3rem}.welcome-guide-card p,.welcome-guide-pill{font-size:.9rem}.welcome-guide-actions{flex-direction:column;align-items:stretch}.welcome-guide-nav-actions{flex-direction:column}.welcome-guide-primary,.welcome-guide-secondary{width:100%;justify-content:center}.welcome-guide-skip{width:100%;text-align:center}}@media (prefers-reduced-motion: reduce){.welcome-guide-close,.welcome-guide-primary,.welcome-guide-secondary{transition:none}}.table-container{width:100%;display:flex;justify-content:center}.table-container>div{display:inline-block}.table-container table{width:auto;border-collapse:collapse;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica,Arial,sans-serif;font-size:1rem;border:1px solid #ddd;margin:0 auto}.table-container th,.table-container td{border:1px solid #ddd;padding:4px 6px;text-align:center;font-size:.65rem;word-break:break-word}@media (min-width: 480px){.table-container th,.table-container td{padding:6px 8px;font-size:.75rem}}@media (min-width: 640px){.table-container th,.table-container td{padding:10px 15px;font-size:1rem}}.table-container th{background-color:#f8f9fa;color:#333;font-weight:600;white-space:nowrap;font-size:.6rem}@media (min-width: 480px){.table-container th{font-size:.7rem}}@media (min-width: 640px){.table-container th{font-size:1rem}}.table-container .interactive-column-header{background-color:#e8f4f1;border-color:#8bbdaf;border-bottom:2px solid #2f8b78;color:#1f5d51}.table-container .click-hint{display:block;width:max-content;max-width:100%;margin:3px auto 0;padding:1px 5px;border-radius:8px;background-color:#2f8b78;color:#fff;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica,Arial,sans-serif;font-size:.52rem;font-weight:700;line-height:1.3;text-transform:uppercase}@media (min-width: 640px){.table-container .click-hint{font-size:.62rem;padding:2px 6px}}.table-container .row-number{background-color:#f8f9fa;color:#777;font-family:monospace;font-size:.6rem;border-right:2px solid #ddd}@media (min-width: 640px){.table-container .row-number{font-size:.9rem}}.table-container th .katex{font-size:.7rem}@media (min-width: 640px){.table-container th .katex{font-size:1.1rem}}.table-container .value-cell{cursor:pointer;font-weight:700;position:relative;border:2px solid #8bbdaf;box-shadow:inset 0 -2px #141f2f1f,0 1px 2px #141f2f1f;transition:background-color .2s,border-color .2s,box-shadow .2s,transform .2s;-webkit-user-select:none;user-select:none;font-family:monospace;font-size:.65rem;min-width:26px;touch-action:manipulation}@media (min-width: 480px){.table-container .value-cell{font-size:.8rem}}@media (min-width: 640px){.table-container .value-cell{font-size:1.1rem}}.table-container .value-cell:hover{border-color:#2f8b78;box-shadow:inset 0 -2px #141f2f29,0 3px 8px #141f2f2e;transform:translateY(-1px)}.table-container .value-cell:focus-visible{outline:3px solid #2f8b78;outline-offset:2px}.table-container .value-cell:active{box-shadow:inset 0 2px 4px #141f2f2e;transform:translateY(0)}.table-container .value-cell-0{color:#d93025;background-color:#fce8e6;border-color:#f1a59e}.table-container .value-cell-1{color:#188038;background-color:#e6f4ea;border-color:#91c9a2}.table-container .value-cell-X{color:#765600;background-color:#fff7d6;border-color:#e6c558}.table-container .instruction{font-size:.75rem;color:#666;font-style:italic;margin-top:8px;text-align:center}@media (min-width: 640px){.table-container .instruction{font-size:.85rem;margin-top:10px}}.kvmap-panel{width:100%;max-width:100%;overflow:hidden;box-sizing:border-box}.kvmap-status{padding:8px;border-radius:8px;background:#1a1a1a;border:1px solid #2a2a2a;font-size:11px}@media (min-width: 640px){.kvmap-status{padding:10px;font-size:12px}}.kvmap-error{padding:8px;border-radius:8px;background:#2a1212;border:1px solid #7a2a2a}@media (min-width: 640px){.kvmap-error{padding:10px}}.kvmap-error-title{font-weight:600;margin-bottom:6px}.kvmap-error-body{white-space:pre-wrap;margin:0;font-size:11px}@media (min-width: 640px){.kvmap-error-body{font-size:12px}}.kvmap-svg{background:#fff;border-radius:10px;padding:6px;overflow:auto;max-width:100%;box-sizing:border-box;width:100%;-webkit-overflow-scrolling:touch}.kvmap-svg svg{max-width:100%;height:auto;display:block;width:100%}.kvmap-placeholder{padding:8px;border-radius:8px;background:#1a1a1a;border:1px dashed #2a2a2a;opacity:.85;font-size:11px}@media (min-width: 640px){.kvmap-placeholder{padding:10px;font-size:13px}}.kvmap-details{margin-top:12px;opacity:.9}.kvmap-latex{white-space:pre-wrap;margin:8px 0 0;font-size:11px;background:#1a1a1a;border:1px solid #2a2a2a;border-radius:8px;padding:8px}@media (min-width: 640px){.kvmap-latex{font-size:12px;padding:10px}}.solver-review-launch{display:flex;flex-direction:column;align-items:center;gap:10px;margin-top:14px;width:100%}.solver-review-trigger{min-width:240px}.solver-review-trigger-row{display:flex;flex-wrap:wrap;justify-content:center;gap:10px;width:100%}.solver-review-trigger-secondary{background:#fff7f7;border-color:#f0c3c3;color:#8f2f2f}.solver-review-trigger-secondary:hover{background:#fff0f0;border-color:#e4aaaa}body.solver-review-open{overflow:hidden}.solver-review-modal-layer{position:fixed;top:0;right:0;bottom:0;left:0;z-index:1260;display:flex;align-items:center;justify-content:center;padding:24px 16px}.solver-review-modal-backdrop{position:fixed;top:0;right:0;bottom:0;left:0;border:none;background:#09101f4d;-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);cursor:pointer}.solver-review-modal-shell{position:relative;z-index:1;width:min(1180px,calc(100vw - 32px));max-height:calc(100vh - 32px);overflow-y:auto}.solver-review-dismiss{position:absolute;top:14px;right:14px;width:34px;height:34px;border:none;border-radius:999px;background:#151f3c14;color:#334165;cursor:pointer;display:inline-flex;align-items:center;justify-content:center;transition:background-color .2s ease,transform .2s ease}.solver-review-dismiss:hover{background:#151f3c24;transform:translateY(-1px)}.solver-review-box{position:relative;width:100%;padding:16px;border-radius:18px;border:1px solid #dfe7f4;background:radial-gradient(circle at top right,rgba(101,132,255,.08),transparent 38%),linear-gradient(180deg,#fbfdff,#f5f8ff);box-shadow:0 18px 40px #1f376614;box-sizing:border-box}.solver-review-box-header{display:flex;flex-direction:column;gap:14px}.solver-review-box-header h3{margin:0;font-size:1.1rem;color:#1c2740}.solver-review-box-header p{margin:8px 0 0;color:#51627f;line-height:1.6}.solver-review-box-actions{display:flex;flex-wrap:wrap;gap:10px}.solver-review-secondary{background:#eef3ff;border-color:#cfd9f0}.solver-review-close{background:#fff}.solver-review-grid{display:grid;grid-template-columns:1fr;gap:16px;margin-top:16px}.solver-review-grid-single{grid-template-columns:1fr}.solver-review-pane{display:flex;flex-direction:column;gap:14px;padding:14px;border-radius:16px;background:#ffffffeb;border:1px solid #e3e8f3;box-shadow:inset 0 1px #ffffffb3}.solver-review-pane-header{display:flex;flex-direction:column;gap:10px}.solver-review-pane-title{font-size:1rem;font-weight:700;color:#20304f}.solver-review-pane-formula{display:flex;flex-direction:column;gap:6px;align-items:flex-start}.solver-review-pane-formula span{font-size:.8rem;font-weight:700;text-transform:uppercase;letter-spacing:.04em;color:#70809f}.solver-review-pane-formula code{display:block;width:100%;padding:10px 12px;border-radius:12px;background:#f4f7fd;color:#233251;font-size:.92rem;white-space:pre-wrap;word-break:break-word;box-sizing:border-box}.solver-review-pane-map{display:flex;justify-content:center;overflow-x:auto}.solver-review-judgement{display:flex;flex-direction:column;gap:10px}.solver-review-judgement span{color:#435576;font-weight:600}.solver-review-judgement-actions{display:flex;flex-wrap:wrap;gap:10px}.solver-review-choice{display:inline-flex;align-items:center;justify-content:center;padding:9px 14px;border-radius:999px;border:1px solid #cbd6ea;background:#fff;color:#304362;font-weight:600;cursor:pointer;transition:background-color .18s ease,border-color .18s ease,transform .18s ease}.solver-review-choice:hover{transform:translateY(-1px);background:#f7f9fe}.solver-review-choice.is-active.is-correct{background:#edf9f0;border-color:#bfe1c9;color:#1f6b3a}.solver-review-choice.is-active.is-error{background:#fff1f1;border-color:#efc0c0;color:#992e2e}.solver-review-footer{display:flex;flex-direction:column;gap:12px;margin-top:16px;padding-top:14px;border-top:1px solid #dfe6f3}.solver-review-footer-copy{color:#5b6c88;line-height:1.55}.solver-review-guard{display:flex;flex-direction:column;gap:10px}.solver-review-guard-cooldown{max-width:min(100%,640px);padding:10px 12px;border-radius:12px;font-size:.9rem;line-height:1.5}.solver-review-guard-cooldown{background:#eef3ff;border:1px solid #d4ddf4;color:#2f4f8f}.solver-review-message{display:flex;flex-direction:column;gap:8px}.solver-review-message span{color:#435576;font-weight:600}.solver-review-message textarea{width:100%;min-height:96px;resize:vertical;padding:12px 14px;border:1px solid #cfd9ea;border-radius:14px;background:#fffffff5;color:#21324f;font:inherit;line-height:1.55;box-sizing:border-box}.solver-review-message textarea:focus{outline:none;border-color:#6f86ff;box-shadow:0 0 0 3px #6f86ff24}.solver-review-footer-actions{display:flex;justify-content:flex-start}.solver-review-footer-actions .reset-inputs-btn:disabled,.solver-review-trigger:disabled{opacity:.6;cursor:not-allowed;transform:none}@media (min-width: 960px){.solver-review-grid{grid-template-columns:1fr 1fr}.solver-review-pane-header{min-height:110px}}@media (max-width: 639px){.solver-review-modal-layer{padding:16px 12px}.solver-review-modal-shell{width:calc(100vw - 24px);max-height:calc(100vh - 24px)}.solver-review-box{padding:14px;border-radius:16px}.solver-review-trigger{width:100%;min-width:0}.solver-review-trigger-row{flex-direction:column}.solver-review-choice{flex:1 1 120px;justify-content:center}}.fi-wrap{display:flex;flex-direction:column;gap:8px;padding:10px;border:1px solid #ddd;background:#fafbfc;border-radius:8px}@media (min-width: 640px){.fi-wrap{gap:10px;padding:12px;border-radius:10px}}.fi-header{display:flex;flex-direction:column;gap:4px}.fi-title{font-weight:700;font-size:.95rem;color:#222}@media (min-width: 640px){.fi-title{font-size:1rem}}.fi-hint{font-size:.75rem;color:#555;line-height:1.3}@media (min-width: 640px){.fi-hint{font-size:.85rem}}.fi-hint code{background:#f0f0f0;border:1px solid #e0e0e0;padding:0 6px;border-radius:6px;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace}.fi-subhint{margin-left:8px;opacity:.8}.fi-input{padding:8px 10px;border-radius:6px;border:1px solid #ccc;outline:none;font-size:.9rem}@media (min-width: 640px){.fi-input{padding:10px 12px;border-radius:8px;font-size:.95rem}}.fi-input:focus{border-color:#667eea;box-shadow:0 0 0 3px #667eea2e}.fi-preview{padding:10px 12px;border-radius:8px;border:1px solid #e3e3e3;background:#fff}.fi-preview-label{font-size:.8rem;color:#666;margin-bottom:6px}.fi-math{font-size:1.1rem}.fi-errors{margin-top:8px;display:flex;flex-direction:column;gap:4px}.fi-error{font-size:.85rem;color:#c62828}.qmc-container{margin-top:16px;font-family:Segoe UI,Tahoma,Geneva,Verdana,sans-serif}@media (min-width: 640px){.qmc-container{margin-top:20px}}.qmc-collapsible{border:1px solid #ddd;border-radius:8px;background-color:#f9f9f9;padding:10px}.qmc-collapsible summary{cursor:pointer;font-weight:700;padding:5px;outline:none}.iteration-nav-bar{display:flex;justify-content:space-between;align-items:center;background-color:#fff;padding:10px 12px;border-radius:8px;margin:12px 0;border:1px solid #e0e0e0;box-shadow:0 2px 4px #0000000d;flex-wrap:wrap;gap:8px}@media (min-width: 640px){.iteration-nav-bar{padding:12px 20px;margin:15px 0;gap:12px}}.nav-btn{padding:6px 12px;cursor:pointer;background-color:#f0f0f0;color:#333;border:1px solid #ccc;border-radius:6px;font-weight:600;transition:all .2s ease;min-width:90px;font-size:.85rem}@media (min-width: 640px){.nav-btn{padding:8px 18px;min-width:110px;font-size:1rem}}.nav-btn:hover:not(:disabled){background-color:#e0e0e0;border-color:#aaa}.nav-btn:disabled{background-color:#f9f9f9;color:#aaa;border-color:#eee;cursor:not-allowed}.iteration-indicator{font-weight:700;font-size:.95em;color:#007bff;letter-spacing:.5px}@media (min-width: 640px){.iteration-indicator{font-size:1.1em}}.iterations-wrapper{display:flex;flex-direction:column;gap:15px;padding-top:10px}.iteration-step{border:1px solid #eee;border-radius:6px;padding:15px;background-color:#fff}.iteration-step h4{margin:0 0 10px;font-size:1.1em}.groups-container{display:flex;flex-wrap:wrap;gap:15px}.group-box{flex:1;min-width:150px;background-color:#fff;border:1px solid #eee;border-radius:4px;padding:10px;box-sizing:border-box}@media (min-width: 640px){.group-box{min-width:200px;padding:12px}}.group-box h5{margin:0 0 8px;font-size:.9em;color:#555;border-bottom:1px solid #eee;padding-bottom:4px}.table-wrapper{width:100%;overflow-x:auto}.implicant-table{width:100%;table-layout:fixed;border-collapse:collapse;font-size:.75em}@media (min-width: 640px){.implicant-table{width:90%;font-size:.8em}}.implicant-table th,.implicant-table td{border:1px solid #eee;padding:4px 6px;text-align:left;word-wrap:break-word;white-space:normal}@media (min-width: 640px){.implicant-table th,.implicant-table td{padding:6px 8px}}.implicant-table th{background-color:#f2f2f2}.col-pattern{width:35%}.col-prime{width:15%;text-align:center}.col-covered{width:50%}.pattern-cell{font-family:Courier New,Courier,monospace;font-weight:700;word-break:break-all}.prime-row{background-color:#e8f5e9}.covered-cell{font-size:.85em;color:#555;word-break:break-all}.qmc-empty{color:#888;font-style:italic;padding:20px}.pi-container{margin-top:16px;font-family:Segoe UI,Tahoma,Geneva,Verdana,sans-serif}@media (min-width: 640px){.pi-container{margin-top:20px}}.pi-collapsible{border:1px solid #ddd;border-radius:8px;background-color:#f9f9f9;padding:10px}.pi-collapsible summary{cursor:pointer;font-weight:700;padding:5px;outline:none}.pi-empty{color:#888;font-style:italic;padding:20px}.pi-nav-bar{display:flex;justify-content:space-between;align-items:center;background-color:#fff;padding:10px 12px;border-radius:8px;margin:12px 0;border:1px solid #e0e0e0;box-shadow:0 2px 4px #0000000d;flex-wrap:wrap;gap:8px}@media (min-width: 640px){.pi-nav-bar{padding:12px 20px;margin:15px 0;gap:12px}}.pi-nav-btn{padding:6px 12px;cursor:pointer;background-color:#f0f0f0;color:#333;border:1px solid #ccc;border-radius:6px;font-weight:600;transition:all .2s ease;min-width:90px;font-size:.85rem}@media (min-width: 640px){.pi-nav-btn{padding:8px 18px;min-width:110px;font-size:1rem}}.pi-nav-btn:hover:not(:disabled){background-color:#e0e0e0;border-color:#aaa}.pi-nav-btn:disabled{background-color:#f9f9f9;color:#aaa;border-color:#eee;cursor:not-allowed}.pi-indicator{font-weight:700;font-size:.95em;color:#007bff;letter-spacing:.5px}@media (min-width: 640px){.pi-indicator{font-size:1.1em}}.pi-step-select-row{display:flex;align-items:center;gap:8px;background:#fff;border:1px solid #eee;border-radius:8px;padding:8px 10px;margin-bottom:10px;flex-wrap:wrap}@media (min-width: 640px){.pi-step-select-row{gap:10px;padding:10px 12px;margin-bottom:12px}}.pi-step-select-label{font-weight:600;color:#444}.pi-step-select{border:1px solid #ccc;background:#fff;border-radius:6px;padding:6px 10px;font-weight:600;outline:none}.pi-meta{margin-left:auto;font-size:.9em;color:#666}.pi-step-info{border:1px solid #eee;border-radius:8px;padding:12px;background-color:#fff;margin-bottom:12px}.pi-badge-row{display:flex;align-items:baseline;gap:10px;margin-bottom:6px;flex-wrap:wrap}.pi-badge{display:inline-flex;align-items:center;justify-content:center;font-size:.78rem;padding:4px 10px;border-radius:999px;border:1px solid #ddd;background:#f6f6f6}.pi-stepnum{font-size:.9rem;color:#666}.pi-description{font-size:.95rem;line-height:1.25rem;margin-bottom:10px;color:#333}.pi-change-grid{display:grid;grid-template-columns:1fr 1fr;gap:10px}@media (max-width: 780px){.pi-change-grid{grid-template-columns:1fr}}.pi-change-box{border:1px solid #eee;background:#fafafa;border-radius:8px;padding:10px}.pi-change-title{font-size:.9rem;color:#666;margin-bottom:6px}.pi-change-list{display:flex;flex-wrap:wrap;gap:6px}.pi-chip{display:inline-flex;align-items:center;border-radius:999px;padding:4px 8px;font-size:.82rem;border:1px solid #ddd;background:#f6f6f6}.pi-chip-danger{border-color:#ff505073;background:#ff50501f}.pi-muted{opacity:.6}.pi-matrix-wrap{border-radius:8px;border:1px solid #eee;background:#fff;width:100%;max-width:100%;overflow:hidden}.pi-matrix-wrap:not(.pi-matrix-wrap-empty){overflow-x:auto}.pi-matrix-wrap-empty{min-height:160px;display:flex;align-items:center;justify-content:center;padding:18px}.pi-matrix-empty-block{font-size:.95rem;color:#444;background:#fafafa;border:1px dashed #ddd;border-radius:10px;padding:14px 16px;text-align:center;max-width:520px}.pi-matrix{width:97%;border-collapse:collapse;table-layout:auto;font-size:.85em}.pi-matrix th,.pi-matrix td{border:1px solid #e6e6e6}.pi-corner{position:sticky;left:0;top:0;z-index:4;background:#f2f2f2;width:180px;min-width:180px}.pi-col-header{position:sticky;top:0;z-index:3;background:#f2f2f2;padding:10px 8px;text-align:center;white-space:nowrap}.pi-row-header{position:sticky;left:0;z-index:2;background:#fafafa;padding:10px;text-align:left;white-space:nowrap;width:180px;min-width:180px}.pi-header-text{display:inline-block;max-width:240px;overflow:hidden;text-overflow:ellipsis;vertical-align:bottom;font-family:Courier New,Courier,monospace;font-weight:700}.pi-cell{text-align:center;padding:10px 8px;font-weight:700;letter-spacing:.4px;min-width:44px;font-family:Courier New,Courier,monospace}.pi-cell-off{color:#64646459}.pi-cell-on{opacity:1}.pi-added{outline:2px solid rgba(60,180,120,.55);outline-offset:-2px}.pi-timeline{display:flex;gap:8px;overflow-x:auto;padding-top:10px;margin-top:10px}.pi-timeline-item{flex:0 0 auto;border:1px solid #ddd;background:#fff;color:inherit;border-radius:8px;padding:8px 10px;cursor:pointer;min-width:92px;text-align:left;transition:transform .05s ease,border-color .2s ease}.pi-timeline-item:hover{transform:translateY(-1px)}.pi-timeline-active{border-color:#3cb478a6;background:#3cb4781a}.pi-timeline-top{display:flex;align-items:baseline;justify-content:space-between;gap:8px}.pi-timeline-step{font-weight:800}.pi-timeline-rule{font-size:.85rem;color:#555}.pi-timeline-bottom{margin-top:4px;font-size:.82rem;color:#777}.pi-timeline-meta{font-family:Courier New,Courier,monospace}.pi-preview-hint{margin-top:10px;padding:8px 10px;border-radius:8px;background:#f7f7ff;border:1px solid #e6e6ff;color:#444;font-size:.9rem}.pi-will-delete-row{background-image:linear-gradient(to bottom,transparent 47%,rgba(220,50,50,.9) 48%,rgba(220,50,50,.9) 52%,transparent 53%);background-repeat:no-repeat;background-size:100% 100%}.pi-will-delete-col{background-image:linear-gradient(to right,transparent 49.7%,rgba(220,50,50,.9) 49.7%,rgba(220,50,50,.9) 50.3%,transparent 50.3%);background-repeat:no-repeat;background-size:100% 100%}.pi-will-delete-row.pi-will-delete-col{background-image:linear-gradient(to bottom,transparent 47%,rgba(220,50,50,.9) 48%,rgba(220,50,50,.9) 52%,transparent 53%),linear-gradient(to right,transparent 49.7%,rgba(220,50,50,.9) 49.7%,rgba(220,50,50,.9) 50.3%,transparent 50.3%);background-repeat:no-repeat,no-repeat;background-size:100% 100%,100% 100%}.pi-row-header.pi-will-delete-row,.pi-col-header.pi-will-delete-col,.pi-corner.pi-will-delete-row,.pi-corner.pi-will-delete-col{background-clip:padding-box}.hypercube-container{display:flex;gap:16px;width:100%;box-sizing:border-box}.hypercube-canvas{flex:1;height:700px;width:100%;min-width:0;border:1px solid #e1e1e1;border-radius:8px;background:#f9f9f9;position:relative;overflow:hidden}.hypercube-canvas>*{width:100%;height:100%}.hypercube-tooltip{background:#000000e6;color:#fff;padding:12px;border-radius:6px;font-size:.85rem;box-shadow:0 2px 8px #0000004d;max-width:250px}.tooltip-content h4{margin:0 0 8px;font-size:.95rem;color:#fff;font-family:monospace}.tooltip-content ul{list-style:none;padding:0;margin:0}.tooltip-content li{padding:4px 0;margin:0;color:#e0e0e0;font-size:.8rem;font-family:monospace}.hypercube-placeholder{padding:30px;text-align:center;background:#f8f9fa;border:2px dashed #ddd;border-radius:8px;color:#666}.hypercube-placeholder p{margin:0 0 10px;font-size:.9rem}.hypercube-placeholder p:last-child{margin:0}.hypercube-info-panel{width:280px;background:#fff;border:1px solid #e1e1e1;border-radius:8px;padding:20px;box-sizing:border-box;height:fit-content;max-height:700px;overflow-y:auto}.hypercube-info-panel h3{margin:0 0 16px;font-size:1.1rem;color:#333;display:flex;align-items:center;gap:8px}.dimension-description{margin:0 0 16px;font-size:.85rem;color:#666;line-height:1.4;font-style:italic;padding-bottom:12px;border-bottom:1px solid #f0f0f0}.info-section{margin-bottom:16px;padding-bottom:16px;border-bottom:1px solid #f0f0f0}.info-section:last-child{margin-bottom:0;padding-bottom:0;border-bottom:none}.hypercube-info-panel h4{margin:0 0 10px;font-size:.95rem;color:#555;display:flex;align-items:center;gap:6px}.hypercube-info-panel ul{list-style:none;padding:0;margin:0}.hypercube-info-panel li{margin:6px 0;font-size:.85rem;color:#666;line-height:1.4}.hypercube-info-panel strong{color:#333;font-weight:600}@media (max-width: 1024px){.hypercube-container{flex-direction:column}.hypercube-canvas{height:550px}.hypercube-info-panel{width:100%;max-height:200px}}@media (max-width: 640px){.hypercube-container{gap:12px}.hypercube-canvas{height:400px}.hypercube-info-panel{max-height:150px;width:100%;padding:12px}.hypercube-tooltip{font-size:.75rem;padding:8px}.tooltip-content h4{font-size:.85rem;margin-bottom:6px}}.circuit-section{border-left:5px solid #1f7a8c}.circuit-section-embedded{border-left:0}.circuit-header{display:grid;grid-template-columns:1fr;gap:14px}.circuit-title{margin:0;display:flex;align-items:center;gap:8px;color:#16425b}.circuit-copy{margin:8px 0 0;color:#56717f;max-width:72ch;line-height:1.5}.circuit-actions{display:flex;gap:8px;flex-wrap:wrap;align-items:center;width:100%}.circuit-action-group{display:flex;gap:8px;flex-wrap:wrap}.circuit-export-btn{box-sizing:border-box;justify-content:center;min-width:190px;white-space:nowrap}.circuit-export-btn-short{min-width:128px}.circuit-symbol-toggle{display:inline-flex;align-items:center;gap:6px;min-height:36px;padding:4px;border:1px solid #cfd9e2;border-radius:8px;background:#f7fafc}.circuit-symbol-toggle span{padding:0 6px;color:#53677b;font-size:.85rem;font-weight:600;white-space:nowrap}.circuit-symbol-toggle button{border:1px solid transparent;border-radius:6px;background:transparent;color:#26374d;cursor:pointer;font:inherit;font-size:.85rem;padding:6px 9px;transition:background-color .2s,border-color .2s}.circuit-symbol-toggle button:hover{background:#edf3f8;border-color:#cfdae5}.circuit-symbol-toggle button.is-active{background:#16425b;border-color:#16425b;color:#fff}.circuit-summary{display:flex;flex-wrap:wrap;gap:8px;margin-top:14px}.circuit-chip{display:inline-flex;align-items:center;padding:6px 10px;border-radius:999px;background:#eef7fa;border:1px solid #d0e7ef;color:#16425b;font-size:.82rem}.circuit-board{margin-top:16px;border-radius:16px;border:1px solid #dbe6eb;overflow:auto;background:#f5f8fa;box-shadow:inset 0 1px #ffffffe6}.circuit-empty{padding:28px;text-align:center;color:#6c7d86}.circuit-svg{display:block;height:auto}.circuit-grid-bg{fill:url(#circuit-grid)}.circuit-grid-line{stroke:#334f5c14;stroke-width:1}.circuit-wire{fill:none;stroke:#314d5d;stroke-width:3.2;stroke-linecap:round;stroke-linejoin:round}.circuit-junction,.circuit-terminal{fill:#314d5d}.circuit-gate{fill:#fffffff7;stroke:#12313f;stroke-width:2.6;stroke-linejoin:round}.circuit-gate-bubble{fill:#fff;stroke:#12313f;stroke-width:2.2}.circuit-constant{fill:#fffffffa;stroke:#12313f;stroke-width:2.4}.circuit-label,.circuit-net-label,.circuit-gate-text,.circuit-term-note{font-family:Segoe UI,Tahoma,Geneva,Verdana,sans-serif}.circuit-label{font-size:18px;font-weight:600;fill:#16313d}.circuit-net-label{font-size:13px;fill:#426170;letter-spacing:.02em}.circuit-net-label.is-inverted{fill:#8a4f1c}.circuit-gate-text{font-size:15px;font-weight:700;letter-spacing:.08em;fill:#12313f}.circuit-term-note{font-size:12px;fill:#6d7d86}.circuit-hitbox{fill:transparent;stroke:none}@media (max-width: 768px){.circuit-copy{max-width:none}.circuit-chip{font-size:.78rem}}table{border-collapse:collapse;margin:10px}td,th{border:1px solid #ccc;padding:8px;text-align:center}.out-btn{width:30px;height:30px;cursor:pointer;border:none;font-weight:700}.out-0{background-color:#fcc}.out-1{background-color:#cfc}.out-X{background-color:#ffc}.calc-btn{margin-top:10px;padding:10px 20px;cursor:pointer;background-color:#007bff;color:#fff;border:none;border-radius:4px}.results{margin-top:20px;padding:10px;border:1px solid #ddd;width:80%}.formula{font-size:1.2em;font-weight:700;color:#007bff}pre{background:#f4f4f4;padding:10px;overflow-x:auto;font-family:monospace}.App{width:100%;font-family:sans-serif;display:flex;flex-direction:column;align-items:center;padding-bottom:0}.section{background:#fff;padding:16px;border-radius:12px;border:1px solid #e1e1e1;box-shadow:0 4px 15px #0000000d;margin-bottom:16px;width:100%;box-sizing:border-box}.result-box{border-left:5px solid #4caf50}.result-box h2{color:#2e7d32;margin-top:0}@media (min-width: 640px){.section{padding:24px;margin-bottom:20px}}@media (min-width: 1024px){.section{padding:30px;margin-bottom:25px}}.reset-inputs-btn,.copy-button,.icon-btn{border:1px solid #ccc;background:#fff;color:#233044;cursor:pointer;transition:background-color .2s,border-color .2s,box-shadow .2s,transform .2s;appearance:none;-webkit-appearance:none;-moz-appearance:none;background-image:none!important}.reset-inputs-btn,.copy-button{display:inline-flex;align-items:center;justify-content:center;gap:8px;border-radius:4px;font:inherit;font-weight:700;text-decoration:none}.reset-inputs-btn{padding:6px 10px;font-size:.85rem}.copy-button{padding:6px 12px;font-size:.8rem}.reset-inputs-btn:hover:not(:disabled),.copy-button:hover:not(:disabled),.icon-btn:hover:not(:disabled){background-color:#e0e0e0;border-color:#999}.reset-inputs-btn:active:not(:disabled),.copy-button:active:not(:disabled),.icon-btn:active:not(:disabled){transform:translateY(1px)}.reset-inputs-btn:disabled,.copy-button:disabled,.icon-btn:disabled{cursor:not-allowed;opacity:.6;transform:none}.icon-btn{width:32px;height:32px;padding:0;border-radius:6px;display:inline-flex;align-items:center;justify-content:center;min-width:32px}.icon-btn svg{width:16px;height:16px}@media (min-width: 640px){.reset-inputs-btn{padding:8px 12px;font-size:.9rem}.icon-btn{width:36px;height:36px}.icon-btn svg{width:18px;height:18px}}select{transition:border-color .2s ease-in-out,box-shadow .2s ease-in-out,background-color .2s ease-in-out}select:hover{box-shadow:0 2px 8px #0000001a}.form-field{display:flex;flex-direction:column;gap:7px;color:#354758;font-weight:700;text-align:left}.form-field>span,.form-field-label{display:inline-flex;align-items:center;gap:8px;line-height:1.2}.form-field small,.form-field-hint{color:#6a7786;font-size:.82rem;font-weight:500;overflow-wrap:anywhere}.form-field input[type=password],.form-field input[type=text],.form-field input[type=email],.form-field input[type=number],.form-field input[type=search],.form-field input[type=url],.form-field textarea{width:100%;min-height:40px;box-sizing:border-box;padding:8px 10px;border:1px solid #ccc;border-radius:4px;background:#fff;color:#233044;font:inherit;font-weight:500}.form-field textarea{min-height:96px;resize:vertical;line-height:1.5}.form-field input:focus,.form-field select:focus,.form-field textarea:focus{outline:none;border-color:#2f8b78;box-shadow:0 0 0 3px #2f8b7829}.form-file-input{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.form-file-picker{min-height:42px;width:100%;display:inline-flex;align-items:center;justify-content:center;gap:8px;box-sizing:border-box;padding:10px 14px;border:1px solid #cbd8dd;border-radius:8px;background:#f8fafc;color:#26374d;cursor:pointer;font-size:.92rem;font-weight:800;transition:background-color .2s,border-color .2s,box-shadow .2s,transform .2s}.form-file-picker:hover:not(:disabled),.form-file-picker:focus-visible,.form-file-picker:focus-within{background:#eef5fb;border-color:#55a995;box-shadow:0 3px 10px #1c2e3a1f;outline:none}.form-file-picker:active:not(:disabled){transform:translateY(1px)}.form-file-picker:disabled{cursor:not-allowed;opacity:.65;transform:none}.form-picker-actions{display:grid;grid-template-columns:1fr;gap:8px}.variable-selector-button{min-height:38px;min-width:76px;box-sizing:border-box;padding:8px 34px 8px 12px;border:1px solid #ccc;border-radius:6px;color:#233044;cursor:pointer;font:inherit;font-size:.9rem;font-weight:600;line-height:1.2;transition:border-color .2s,box-shadow .2s,background-color .2s;appearance:none;-webkit-appearance:none;-moz-appearance:none;background-color:#fff;background-image:url('data:image/svg+xml;utf8,<svg fill="%23233044" height="20" viewBox="0 0 24 24" width="20" xmlns="http://www.w3.org/2000/svg"><path d="M7 10l5 5 5-5z"/></svg>');background-repeat:no-repeat;background-position:right 8px center;box-shadow:0 1px 2px #141f2f0a}.variable-selector-button:hover:not(:disabled){border-color:#999;background-color:#fdfdfd}.variable-selector-button:focus-visible{border-color:#2f8b78;box-shadow:0 0 0 3px #2f8b7829;outline:none}.variable-selector-button:disabled{cursor:not-allowed;opacity:.65;background-color:#f4f6f8;box-shadow:none}.card-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(var(--card-grid-min, 280px),1fr));gap:var(--card-grid-gap, 16px);width:100%;margin:0}.card-shell{width:100%;box-sizing:border-box;padding:16px;border:1px solid #e1e1e1;border-radius:12px;background:#fff;box-shadow:0 4px 15px #0000000d}.card-shell.is-disabled{opacity:.72}.card-link{display:flex;color:#333;text-decoration:none;transition:transform .2s,box-shadow .2s,border-color .2s}.card-link:hover,.card-link:focus-visible{border-color:#ccc;box-shadow:0 6px 20px #0000001a;outline:none;transform:translateY(-1px)}.card-badge{display:flex;flex-direction:column;gap:6px;padding:12px;border-radius:6px}.card-status{flex:0 0 auto;padding:6px 10px;border-radius:4px;font-size:.76rem;font-weight:800;text-transform:uppercase}.card-status.is-ready{background:#e8f4f1;color:#17604d}.card-status.is-blocked,.card-status.is-error{background:#fff1f1;color:#992e2e}@media (min-width: 640px){.card-shell{padding:24px}}@media (min-width: 1024px){.card-shell{padding:30px}}.toolbar{display:flex;justify-content:flex-start;align-items:center;gap:8px;flex-wrap:wrap;margin-bottom:12px}.notation-toggle{display:flex;gap:6px;flex-wrap:wrap;align-items:center}.variable-selector-wrapper,.variable-names-wrapper{display:flex;align-items:center;gap:6px;flex-wrap:wrap}.variable-selector-wrapper{font-size:.75rem}.toolbar button{display:inline-flex;align-items:center;gap:8px}@media (min-width: 640px){.toolbar{gap:10px;margin-bottom:15px}.notation-toggle{gap:10px}.variable-selector-wrapper{font-size:.9rem}.variable-names-wrapper{gap:8px}}.feature-tabs-section{display:flex;flex-direction:column;gap:14px}.feature-tabs-header{display:flex;justify-content:space-between;gap:12px;align-items:flex-start;flex-wrap:wrap}.feature-tabs-title{margin:0;color:#233044;font-size:1.25rem}.feature-tabs-summary{margin:6px 0 0;color:#58677c;font-size:.9rem;line-height:1.45}.feature-tabs{display:grid;grid-template-columns:1fr;gap:8px;border-bottom:1px solid #dfe5ec;padding-bottom:8px}.feature-tab{display:flex;flex-direction:column;align-items:flex-start;gap:4px;min-height:64px;padding:10px 12px;border:1px solid #d5dde7;border-radius:8px;background:#f8fafc;color:#26374d;cursor:pointer;text-align:left;transition:background-color .2s,border-color .2s,box-shadow .2s}.feature-tab:hover{background:#eef5fb;border-color:#b9c8d8}.feature-tab:disabled,.feature-tab.is-disabled{border-color:#d6dce4;background:#eef1f5;color:#8793a3;cursor:not-allowed;opacity:.7;box-shadow:none}.feature-tab:disabled:hover,.feature-tab.is-disabled:hover{border-color:#d6dce4;background:#eef1f5;color:#8793a3;box-shadow:none}.feature-tab.is-active{background:#e8f4f1;border-color:#55a995;box-shadow:inset 0 -3px #2f8b78}.feature-tab-label,.feature-tab span:not(.feature-tab-label):not(.feature-tab-status){font-size:.95rem;font-weight:700}.feature-tab-label{display:inline-flex;align-items:center;gap:8px}.feature-tab-status{display:inline-flex;align-items:center;min-height:20px;padding:2px 7px;border:1px solid #c7d0da;border-radius:999px;background:#e4e8ee;color:#657286;font-size:.68rem;font-weight:700;line-height:1;text-transform:uppercase}.feature-tab small{color:#5b6b7f;font-size:.78rem;line-height:1.35}.feature-tab.is-disabled small{color:#8793a3}.feature-tab-panel{min-height:360px}.tab-content-heading{margin-bottom:14px}.tab-content-heading h2{margin:0;color:#233044}.tab-content-heading p{margin:6px 0 0;color:#666;font-size:.9rem}.feature-empty-state{width:100%;box-sizing:border-box;padding:28px 16px;border:1px dashed #c9d2dc;border-radius:8px;background:#f8fafc;color:#5a6a7d;text-align:center}@media (min-width: 720px){.feature-tabs--2{grid-template-columns:repeat(2,minmax(0,1fr))}.feature-tabs--3{grid-template-columns:repeat(3,minmax(0,1fr))}.feature-tabs--4{grid-template-columns:repeat(4,minmax(0,1fr))}}@media (min-width: 1024px){.feature-tabs-title{font-size:1.4rem}}.input-split{display:grid;grid-template-columns:1fr;gap:12px;align-items:start;margin-top:12px;margin-bottom:12px}.input-panel-card{width:100%;box-sizing:border-box;overflow:hidden;padding:12px;border:1px solid #e1e1e1;border-radius:12px;background:#fff;box-shadow:0 4px 15px #0000000d}.input-panel-header{display:flex;flex-direction:column;align-items:center;justify-content:flex-start;gap:6px;margin-bottom:10px;text-align:center}.input-panel-header h2,.input-panel-header h3{margin:0;line-height:1.15;font-size:1.1rem}.input-panel-copy{margin:8px 0 0;color:#58677c;font-size:.9rem;line-height:1.45}.input-panel-center{display:flex;justify-content:center;align-items:flex-start;width:100%;max-width:100%;overflow:hidden;box-sizing:border-box}.input-panel-button-row,.kv-buttons,.truth-buttons{display:flex;justify-content:center;align-items:center;gap:6px;flex-wrap:wrap}.input-panel-button-row,.kv-buttons{margin:0}.truth-buttons{margin-top:8px}@media (min-width: 640px){.input-panel-card{padding:16px}.input-panel-header{gap:8px;margin-bottom:12px}.input-panel-header h2,.input-panel-header h3{font-size:1.3rem}.input-panel-button-row,.kv-buttons,.truth-buttons{gap:10px}}@media (min-width: 768px){.input-split{gap:14px;margin-top:16px;margin-bottom:16px}}@media (min-width: 1024px){.input-panel-card{padding:18px}}@media (min-width: 1100px){.input-split{grid-template-columns:1fr 1fr;gap:16px;margin-top:18px;margin-bottom:18px}}.status-message,.about-feedback-note,.solver-review-note,.image-encrypt-message{display:inline-flex;align-items:center;justify-content:center;max-width:min(100%,560px);gap:8px;padding:10px 14px;border-radius:12px;font-size:.92rem;line-height:1.45;text-align:center}.status-message.is-success,.about-feedback-note.is-success,.solver-review-note.is-success,.solver-review-note.is-same,.image-encrypt-message.is-success{background:#edf9f0;color:#1f6b3a;border:1px solid #c8e8d2}.status-message.is-error,.about-feedback-note.is-error,.solver-review-note.is-error,.image-encrypt-message.is-error{background:#fff1f1;color:#992e2e;border:1px solid #f0c3c3}.status-message.is-loading,.status-message.is-neutral,.status-message.is-info,.solver-review-note.is-loading,.solver-review-note.is-different,.solver-review-note.is-skipped{background:#eef3ff;color:#2f4f8f;border:1px solid #d4ddf4}.status-message.is-warning{background:#fff7e8;color:#8a5a10;border:1px solid #f0d3a3}.about-feedback-note{margin-top:14px}.solver-review-note{max-width:min(100%,520px)}.image-encrypt-message{font-weight:700}.solver-message{margin:8px 0 0;color:#58677c}.solver-message-error{color:#b3261e;font-weight:700}.solver-message-ok{color:#17604d;font-weight:700}.status-spin,.about-feedback-spin,.solver-review-spin{animation:status-spin .9s linear infinite}@keyframes status-spin{0%{transform:rotate(0)}to{transform:rotate(360deg)}}.about-wrap{width:100%;display:flex;flex-direction:column;align-items:center;padding-bottom:0;font-family:sans-serif}.about-content{position:relative;overflow:hidden;padding:30px 20px}.about-hero{margin-bottom:20px;padding:24px;border:1px solid rgba(102,126,234,.2);border-radius:16px;background:linear-gradient(135deg,#f0f3ff99,#ebe6ff99)}.about-hero h2{margin:0;display:flex;align-items:center;gap:10px;color:#3f51b5;font-weight:700}.about-hero p{margin:8px 0 0;color:#4a4a4a;font-size:1.1rem;line-height:1.5}.about-grid{display:grid;grid-template-columns:1fr 1fr;gap:20px}.about-card{padding:20px;border:1px solid #eef2f5;border-radius:16px;background:#fff;box-shadow:0 4px 6px #00000005,0 1px 3px #0000000d;transition:transform .2s ease,box-shadow .2s ease}.about-card:hover{transform:translateY(-2px);box-shadow:0 8px 15px #0000000d}.about-card h3{display:flex;align-items:center;gap:8px;margin:0 0 12px;color:#2c3e50;font-size:1.2rem}.about-card ul{margin:0;padding-left:20px;color:#4a4a4a;line-height:1.6}.about-card li{margin-bottom:6px}.about-card p{margin:0;color:#4a4a4a;line-height:1.6}.about-card code{color:#3f51b5}.about-card-accent{border-color:#667eea4d;background:linear-gradient(145deg,#f0f3ff,#fff)}.about-linkbox{margin:12px 0;padding:12px 16px;overflow-x:auto;border:1px solid #e0e0e0;border-radius:12px;background:#f9f9f9;color:#3f51b5;font-family:monospace;font-size:.85rem}.about-linkbox a{display:flex;align-items:center;gap:6px}.about-footerline{display:flex;flex-wrap:wrap;gap:12px;margin-top:24px;padding:16px;border:1px solid #eee;border-radius:12px;background:#f8f9fa}.about-badge{display:inline-flex;align-items:center;gap:8px;padding:8px 14px;border:1px solid #e0e0e0;border-radius:999px;background:#fff;color:#333;font-size:14px;font-weight:500}.about-badge-dot{display:inline-block;width:9px;height:9px;border-radius:50%;background:#3f51b5}.about-link-badge{text-decoration:none;transition:border-color .2s,box-shadow .2s,transform .2s}.about-link-badge:hover,.about-link-badge:focus-visible{border-color:#55a995;box-shadow:0 4px 14px #1c2e3a1f;outline:none;transform:translateY(-1px)}@media (max-width: 1100px){.about-grid{grid-template-columns:1fr}}.instructions-wrap{width:100%;display:flex;flex-direction:column;align-items:center;padding-bottom:0;font-family:sans-serif}.instructions-content{position:relative;overflow:hidden;padding:30px 20px}.instructions-hero{margin-bottom:20px;padding:24px;border:1px solid rgba(102,126,234,.2);border-radius:16px;background:linear-gradient(135deg,#f0f3ff99,#ebe6ff99);box-shadow:inset 0 0 10px #667eea0d}.instructions-hero h2{margin:0;display:flex;align-items:center;gap:10px;color:#3f51b5;font-weight:700}.instructions-hero p{margin:8px 0 0;color:#4a4a4a;font-size:1.1rem;line-height:1.5}.instructions-hero-badges{display:flex;flex-wrap:wrap;gap:12px;margin-top:16px}.instructions-grid{display:grid;grid-template-columns:1fr 1fr;gap:20px}.instructions-card{padding:20px;border:1px solid #eef2f5;border-radius:16px;background:#fff;box-shadow:0 4px 6px #00000005,0 1px 3px #0000000d;transition:transform .2s ease,box-shadow .2s ease}.instructions-card:hover{transform:translateY(-2px);box-shadow:0 8px 15px #0000000d}.instructions-card h3{display:flex;align-items:center;gap:8px;margin:0 0 12px;color:#2c3e50;font-size:1.2rem}.instructions-card ul{margin:0;padding-left:20px;color:#4a4a4a;line-height:1.6}.instructions-card li{margin-bottom:6px}.instructions-card p{margin:0;color:#4a4a4a;line-height:1.6}.instructions-card code{color:#3f51b5}.instructions-card-accent{border-color:#667eea4d;background:linear-gradient(145deg,#f0f3ff,#fff)}.instructions-callout{margin-top:16px;padding:12px 16px;border:1px solid rgba(76,175,80,.2);border-radius:12px;background:#4caf500d;color:#2e7d32;font-size:.95rem}.instructions-note{margin-top:16px;padding:12px 16px;border:1px solid rgba(255,152,0,.2);border-radius:12px;background:#ff98000d;color:#ef6c00;font-size:.95rem}.instructions-linkbox{margin-top:16px;padding:12px 16px;overflow-x:auto;border:1px solid #e0e0e0;border-radius:12px;background:#f9f9f9;color:#555;font-family:monospace;font-size:.9rem}.instructions-footerline{display:flex;flex-wrap:wrap;gap:12px;margin-top:24px;padding:16px;border:1px solid #eee;border-radius:12px;background:#f8f9fa}.instructions-badge{display:inline-flex;align-items:center;gap:8px;padding:8px 14px;border:1px solid #e0e0e0;border-radius:999px;background:#fff;color:#333;font-size:14px;font-weight:500}.instructions-dot{display:inline-block;width:9px;height:9px;border-radius:50%;background:#3f51b5}@media (max-width: 1100px){.instructions-grid{grid-template-columns:1fr}}.changelog-wrap{width:100%;display:flex;flex-direction:column;align-items:center;padding-bottom:0;font-family:sans-serif}.changelog-content{padding:30px 20px}.changelog-hero{margin-bottom:22px;padding:24px;border:1px solid rgba(85,169,149,.28);border-radius:12px;background:linear-gradient(135deg,#e8f4f1e6,#f8fafcf2)}.changelog-hero h2,.changelog-roadmap h2{margin:0;color:#233044}.changelog-hero h2{display:flex;align-items:center;gap:10px}.changelog-hero p{margin:8px 0 0;color:#435576;font-size:1.05rem;line-height:1.55}.changelog-hero-badges{display:flex;flex-wrap:wrap;gap:10px;margin-top:16px}.changelog-badge{display:inline-flex;align-items:center;gap:8px;padding:8px 12px;border:1px solid #d5dde7;border-radius:999px;background:#fff;color:#26374d;font-size:.88rem;font-weight:700}.changelog-timeline{position:relative;display:flex;flex-direction:column;gap:14px}.changelog-timeline:before{content:"";position:absolute;top:12px;bottom:12px;left:18px;width:2px;background:#dbe5ef}.changelog-release{position:relative;display:grid;grid-template-columns:38px minmax(0,1fr);gap:12px}.changelog-release-marker{position:relative;z-index:1;display:inline-flex;align-items:center;justify-content:center;width:38px;height:38px;border:1px solid #b8cddf;border-radius:50%;background:#fff;color:#2f8b78;box-shadow:0 4px 12px #141f2f14}.changelog-release-body{padding:18px;border:1px solid #e4eaf1;border-radius:8px;background:#fff;box-shadow:0 4px 12px #141f2f0a}.changelog-release-header{display:flex;justify-content:space-between;gap:12px;align-items:flex-start}.changelog-release-meta{display:flex;flex-wrap:wrap;gap:8px;margin-bottom:8px}.changelog-release-meta span{display:inline-flex;align-items:center;min-height:24px;padding:3px 9px;border-radius:999px;background:#eef5fb;color:#365575;font-size:.78rem;font-weight:700}.changelog-release-meta span:first-child{background:#e8f4f1;color:#226f61}.changelog-release-body h3{margin:0;color:#233044;font-size:1.15rem}.changelog-release-body ul{margin:12px 0 0;padding-left:20px;color:#4a5870;line-height:1.58}.changelog-release-body li{margin-bottom:5px}.changelog-roadmap{margin-top:24px;padding-top:22px;border-top:1px solid #e4eaf1}.changelog-roadmap-grid{display:grid;grid-template-columns:1fr;gap:14px;margin-top:14px}.changelog-note{padding:16px;border:1px solid #e4eaf1;border-radius:8px;background:#f8fafc}.changelog-note h3{display:flex;align-items:center;gap:8px;margin:0 0 8px;color:#233044;font-size:1rem}.changelog-note p{margin:0;color:#58677c;line-height:1.5}@media (min-width: 800px){.changelog-roadmap-grid{grid-template-columns:repeat(3,minmax(0,1fr))}}@media (max-width: 520px){.changelog-content{padding:20px 14px}.changelog-hero{padding:18px}.changelog-release-body{padding:15px}}.title-box,.section.title-box{text-align:left;background:linear-gradient(135deg,#667eea,#764ba2);color:#fff;border:none}.title-box h1{margin:0;font-size:1.75rem;color:#fff}.title-box p{margin:0;color:#fff;opacity:.85;font-size:.9rem;font-weight:300;max-width:100%;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.title-box-row{display:flex;align-items:center;justify-content:space-between;gap:14px;flex-wrap:wrap}.title-box-copy{min-width:0}.title-box-actions{display:flex;align-items:center;justify-content:flex-end;gap:8px;flex-wrap:wrap}.title-about-btn{display:inline-flex;align-items:center;text-decoration:none}.title-nav-group{display:inline-flex;align-items:center;gap:2px;padding:3px;border:1px solid rgba(255,255,255,.24);border-radius:8px;background:#ffffff1f}.title-nav-button{min-height:34px;border:1px solid rgba(255,255,255,.22);border-radius:6px;background:#ffffff21;color:#fff;cursor:pointer;display:inline-flex;align-items:center;justify-content:center;gap:7px;padding:7px 10px;font:inherit;font-size:.86rem;font-weight:700;line-height:1;text-decoration:none;white-space:nowrap;transition:background-color .18s ease,border-color .18s ease,transform .18s ease}.title-nav-button:hover,.title-nav-button:focus-visible{background:#ffffff38;border-color:#ffffff6b;color:#fff;outline:none}.title-nav-button:active{transform:translateY(1px)}.title-nav-button.is-active{background:#fff;border-color:#fff;color:#5b4bb0}.title-nav-button-back,.title-nav-button-tour{background:#ffffff2e}.title-nav-button-tour{border-color:#ffffff5c}@media (min-width: 640px){.title-box h1{font-size:2rem}.title-box p{font-size:1rem;max-width:70ch}.title-box-row{gap:18px}}@media (min-width: 1024px){.title-box h1{font-size:2.5rem}}@media (max-width: 760px){.title-box-row{align-items:flex-start}.title-box-actions{justify-content:flex-start;width:100%}.title-nav-button{min-width:36px;padding:8px 9px}.title-nav-group .title-nav-button span,.title-nav-button-tour span{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}}*{box-sizing:border-box}body{margin:0;padding-top:12px;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica,Arial,sans-serif;background-color:#f4f7f6}#root{width:100%;max-width:1400px;margin:0 auto;padding:0 12px;box-sizing:border-box}.container{width:100%;box-sizing:border-box}button,input,select,textarea{font:inherit}@media (min-width: 640px){#root{padding:0 20px}body{padding-top:20px}}.sticky-toolbar{position:fixed;top:0;left:0;right:0;width:100%;box-sizing:border-box;background:#e8f4f1;border-bottom:2px solid #2f8b78;padding:12px 16px;z-index:99;box-shadow:0 8px 24px #141f2f2e;opacity:0;pointer-events:none;transform:translateY(-10px);transition:opacity .2s ease,transform .2s ease}.sticky-toolbar.is-visible{opacity:1;pointer-events:auto;transform:translateY(0)}.sticky-toolbar .toolbar{display:flex;gap:10px;flex-wrap:nowrap;align-items:center;justify-content:center;width:100%;max-width:none;margin:0 auto;overflow-x:auto;overflow-y:hidden;-webkit-overflow-scrolling:touch}.sticky-toolbar .notation-toggle{display:flex;gap:6px;align-items:center;flex-wrap:nowrap;flex:0 0 auto}.sticky-toolbar button{padding:6px 10px;font-size:.85em;border:1px solid #b7c8c5;border-radius:4px;background:#fff;color:#26374d;cursor:pointer;display:flex;align-items:center;gap:4px;white-space:nowrap;transition:all .2s ease}.sticky-toolbar button:hover{background:#f5f5f5;border-color:#aaa}.sticky-toolbar button.active{background:var(--mn-sticky-active-bg, #667eea);color:#fff;border-color:var(--mn-sticky-active-border, var(--mn-sticky-active-bg, #667eea))}.sticky-toolbar .variable-selector-wrapper,.sticky-toolbar .variable-names-wrapper{display:flex;gap:6px;align-items:center;flex:0 0 auto}.sticky-toolbar label{font-size:.85em;white-space:nowrap}.sticky-toolbar select,.sticky-toolbar input{padding:6px 8px;border:1px solid #b7c8c5;border-radius:4px;background-color:#fff;font-size:.85em;line-height:1.4;vertical-align:middle}.sticky-toolbar select{-webkit-appearance:none;-moz-appearance:none;appearance:none;padding-right:24px;background-image:url("data:image/svg+xml;charset=UTF-8,%3csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='currentColor' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3e%3cpolyline points='6 9 12 15 18 9'%3e%3c/polyline%3e%3c/svg%3e");background-repeat:no-repeat;background-position:right 6px center;background-size:18px}.sticky-toolbar input{width:100px}.sticky-toolbar .variable-selector-button{width:auto}.sticky-toolbar .variable-custom-editor{display:flex;gap:8px;flex-wrap:nowrap;flex:0 0 auto;margin-top:0}.sticky-toolbar .sticky-hide-btn,.sticky-formula-bar .sticky-formula-hide-btn{flex:0 0 auto;background:#fff7f7;border-color:#f0c3c3;color:#8f2f2f}.sticky-toolbar .sticky-hide-btn:hover,.sticky-formula-bar .sticky-formula-hide-btn:hover{background:#fff0f0;border-color:#e4aaaa}.sticky-restore-tab{position:fixed;z-index:1002;border:1px solid #cfd9e2;background:#fffffffa;color:#26374d;cursor:pointer;font:inherit;font-size:.85rem;font-weight:700;padding:7px 12px;transition:transform .18s ease,background-color .18s ease,border-color .18s ease}.sticky-restore-tab:hover,.sticky-restore-tab:focus-visible{background:#f7fafc;border-color:#b8c6d5}.sticky-restore-toolbar{top:-1px;right:18px;border-top:none;border-radius:0 0 8px 8px;box-shadow:0 4px 14px #141f2f1f;transform:translateY(-7px)}.sticky-restore-formula{bottom:-1px;right:18px;border-bottom:none;border-radius:8px 8px 0 0;box-shadow:0 -4px 14px #141f2f1f;transform:translateY(7px)}.sticky-restore-toolbar:hover,.sticky-restore-toolbar:focus-visible,.sticky-restore-formula:hover,.sticky-restore-formula:focus-visible{transform:translateY(0)}.sticky-formula-bar{position:fixed;left:50%;bottom:12px;transform:translate(-50%);z-index:1000;width:min(calc(100vw - 32px),500px);max-width:100%;display:flex;align-items:center;justify-content:space-between;gap:6px;padding:6px 8px;background:#fffffffa;border:1px solid rgba(0,0,0,.15);border-radius:10px;box-shadow:0 10px 24px #0000001f;-webkit-backdrop-filter:blur(6px);backdrop-filter:blur(6px);opacity:0;pointer-events:none;transition:bottom .18s ease-out,opacity .18s ease-out,box-shadow .18s ease-out,transform .18s ease-out;will-change:bottom,opacity}.sticky-formula-bar.is-visible{opacity:1;pointer-events:auto}.sticky-formula-math{flex:1;overflow-x:auto;white-space:nowrap;-webkit-overflow-scrolling:touch;min-width:0}.sticky-formula-math .katex{font-size:.8em}@media (min-width: 480px){.sticky-formula-bar{width:min(calc(100vw - 32px),650px);gap:8px;padding:8px 10px}.sticky-formula-math .katex{font-size:.95em}}@media (min-width: 640px){.sticky-formula-bar{bottom:16px;width:min(920px,calc(100vw - 40px));gap:12px;padding:10px 14px;border-radius:14px}.sticky-formula-math .katex{font-size:1.05em}}@media (max-width: 520px){.sticky-restore-tab{font-size:.78rem;padding:6px 9px 7px}.sticky-restore-toolbar,.sticky-restore-formula{right:8px}}.notation-toggle button,.dontcare-toggle{border:1px solid #ccc;background:#fff;cursor:pointer;transition:all .2s;appearance:none;-webkit-appearance:none;-moz-appearance:none;background-image:none!important}.notation-toggle button,.dontcare-toggle{padding:6px 10px;border-radius:4px;font-size:.85rem}@media (min-width: 640px){.notation-toggle button,.dontcare-toggle{padding:8px 12px;font-size:.9rem}}.notation-toggle button:hover,.dontcare-toggle:hover{background-color:#e0e0e0;border-color:#999}.notation-toggle button.active,.dontcare-toggle.active{background-color:#667eea;color:#fff;border-color:#667eea}.notation-toggle button:active,.dontcare-toggle:active{transform:translateY(1px)}.workspace-formula-input{width:100%}.visualization-tab-content,.main-input-area,.circuit-section-embedded{width:100%;box-sizing:border-box}.formula-container.left-align{display:flex;flex-direction:column;align-items:flex-start;gap:10px;background:#f8f9fa;padding:12px;border-radius:6px;border:1px solid #ddd;margin-bottom:12px;overflow-x:auto}@media (min-width: 640px){.formula-container.left-align{padding:15px;margin-bottom:15px}}.formula-container.left-align .katex-display{text-align:left;margin:0}.view-toggle{margin-bottom:20px;display:flex;gap:10px;justify-content:flex-start;align-items:center}.view-toggle h2{margin:0 15px 0 0}.view-toggle button{padding:8px 16px;border:1px solid #ccc;border-radius:4px;background:#fff;cursor:pointer;transition:all .2s}.view-toggle button:hover{background-color:#e0e0e0;border-color:#999}.view-toggle button.active{background-color:#007bff;color:#fff;border-color:#007bff}