:root{font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;color:#1b2c43;background:#f3f6fa;font-synthesis:none;--ink:#16243c;--blue:#3758d1;--line:#dce3ed;--muted:#65758b}*{box-sizing:border-box}body{margin:0;font-size:16px}button,input,textarea,select{font:inherit}button,select,summary{cursor:pointer}button{border:1px solid var(--line);border-radius:7px;background:white;color:var(--ink);padding:8px 12px;font-size:.875rem;transition:background .15s}button:hover{background:#edf2fa}button:disabled{opacity:.45;cursor:default}button:focus-visible,a:focus-visible,summary:focus-visible{outline:3px solid #829bef;outline-offset:3px}header{height:78px;background:var(--ink);padding:0 36px;display:flex;align-items:center;justify-content:space-between;gap:15px;color:white}.brand{display:flex;align-items:center;gap:12px;color:white;text-decoration:none}.brand svg{height:30px;width:30px;stroke:#6fe0dd;fill:var(--ink);stroke-width:2}.brand b{font-size:1.75rem;letter-spacing:-1.3px;font-weight:650}.brand span{border-left:1px solid #45516a;margin-left:10px;padding-left:22px;font-size:.9rem;color:#c1cedf}.quiet{background:transparent;color:#e3eaf3;border-color:#4a576c}.quiet:hover{background:#283a55}main{max-width:1800px;margin:auto;display:grid;grid-template-columns:360px minmax(0,1fr);min-height:calc(100vh - 78px)}.input-panel{padding:30px 28px 24px;border-right:1px solid var(--line);background:#fff}.eyebrow{font-size:.72rem;font-weight:750;letter-spacing:1.7px;color:var(--muted)}h1{font-size:1.8rem;font-weight:650;letter-spacing:-1px;margin:10px 0}h2{font-size:1.45rem;letter-spacing:-.5px;margin:7px 0;font-weight:650}.intro{font-size:.9rem;color:var(--muted);line-height:1.7;margin:0 0 27px}label{display:block;font-size:.875rem;font-weight:650;margin:18px 0 8px}select{width:100%;border:1px solid #cbd5e3;border-radius:7px;background:#fff;padding:11px 30px 11px 11px;color:var(--ink);font-size:.93rem;line-height:1.4}textarea{resize:vertical;display:block;width:100%;min-height:74px;background:#f8fafd;border:1px solid #cbd5e3;border-radius:7px;padding:12px 14px;font:1.12rem/1.6 "Cambria Math",Cambria,Georgia,serif;color:#243752}textarea:focus,select:focus{outline:2px solid #90a6ee;outline-offset:1px}.meta{font-size:.78rem;color:var(--muted);line-height:1.5;margin:8px 0 17px}.field-head{display:flex;justify-content:space-between;align-items:baseline}.field-head span{font-size:.73rem;color:var(--muted)}.symbols{display:flex;flex-wrap:wrap;gap:5px;margin:10px 0}.symbols button{font-family:"Cambria Math",Georgia,serif;font-size:1.03rem;min-width:28px;padding:5px 7px;background:#f2f5fb}.syntax-hint{font-size:.73rem;line-height:1.7;color:var(--muted);margin:5px 0 16px}code{font-family:ui-monospace,monospace;font-size:.88em;background:#edf1f7;border-radius:3px;padding:2px 4px}.options{border-top:1px solid var(--line);padding-top:14px;font-size:.875rem;color:var(--muted)}summary{font-weight:550;color:#43536b}.options p{line-height:1.6;font-size:.8rem}.options label{font-size:.8rem;margin-top:13px}.options select{font-size:.85rem}.actions{display:flex;gap:8px;margin-top:20px}.primary{background:var(--blue);border-color:var(--blue);color:white;flex:1;padding:13px 14px;font-weight:600;display:flex;justify-content:space-between;align-items:center}.primary:hover{background:#2948b9}.primary span{font-size:.75rem;opacity:.65;font-weight:400}.examples{margin-top:25px;border-top:1px solid var(--line);padding-top:20px}.examples select{margin-top:10px;font-size:.85rem}.examples p{font-size:.8rem;line-height:1.6;color:var(--muted);min-height:20px}.local-note{display:flex;align-items:center;gap:7px;margin-top:22px;font-size:.73rem;color:var(--muted)}.local-note svg{fill:none;stroke:currentColor}.workspace{padding:31px 35px 20px;min-width:0;display:flex;flex-direction:column}.workspace-top{display:flex;justify-content:space-between;gap:10px;align-items:center}.badge{border-radius:100px;padding:6px 12px;background:#e7edf6;color:#5a6d85;font-size:.8rem;font-weight:600;white-space:nowrap}.badge.valid{background:#dff3ed;color:#136551}.badge.invalid{background:#fff0df;color:#915318}.badge.unknown{background:#eee8fa;color:#655087}.badge.running{background:#e4eaff;color:#3452ac}#resultSummary{font-size:.9rem;line-height:1.7;color:var(--muted);margin:8px 0 21px;max-width:850px;overflow-wrap:anywhere}.tabs{display:flex;gap:28px;border-bottom:1px solid var(--line);margin-bottom:0}.tabs button{background:none;border:none;border-radius:0;padding:12px 0;font-size:.875rem;color:var(--muted);border-bottom:3px solid transparent}.tabs button[aria-selected=true]{color:var(--blue);border-bottom-color:var(--blue);font-weight:650}.panel{background:#fff;border:1px solid var(--line);border-top:0;border-radius:0 0 10px 10px;min-height:560px;flex:1;overflow:hidden}.panel[hidden]{display:none}.tree-toolbar{display:flex;justify-content:space-between;align-items:center;gap:8px;padding:12px 16px;border-bottom:1px solid #e8edf4}.tree-toolbar>div{display:flex;gap:6px;align-items:center}.tree-toolbar button{font-size:.77rem;padding:6px 9px}.zoom span{font-size:.73rem;min-width:40px;text-align:center;color:var(--muted)}#treeViewport{height:540px;max-height:65vh;min-height:330px;overflow:auto;background-color:#fff;background-image:radial-gradient(#dbe3ee .6px,transparent .6px);background-size:19px 19px;position:relative}#treeCanvas{display:flex;min-width:100%;min-height:100%;justify-content:center;align-items:flex-start;padding:25px}#treeCanvas svg{flex-shrink:0}#emptyState{text-align:center;padding:65px 20px 30px}#emptyState h3{font-size:1.15rem;font-weight:550;margin:18px 0 11px}#emptyState p{color:var(--muted);font-size:.9rem;line-height:1.9}.empty-symbol{font:4rem Georgia;color:#8ba2c5}.node-detail{padding:12px 18px;border-top:1px solid var(--line);font-size:.8rem;color:var(--muted);line-height:1.5;min-height:43px}.tree-notice{font-size:.79rem;color:#6c5a32;line-height:1.5;background:#fff8e9;padding:9px 18px}.tree-notice:empty{display:none}.tree-line{cursor:pointer}.tree-line:hover rect{fill:#edf2ff}.tree-line text{font-family:"Cambria Math",Cambria,Georgia,serif;fill:#22364f}.tree-line .line-number{font:12px ui-monospace,monospace;fill:#8a98ab}.tree-line .rule-label{font:11px system-ui,sans-serif;fill:#798ba1}.tree-edge{stroke:#a6b5ca;stroke-width:1.2;fill:none}.node-close{fill:#ac5353!important;font:18px system-ui!important}footer{display:flex;justify-content:space-between;gap:15px;color:#7d8ca0;font-size:.73rem;line-height:1.6;padding:16px 0 0}#error{font-size:.85rem;line-height:1.6;border:1px solid #efb7b7;background:#fff2f2;color:#9b3434;padding:10px;margin-top:12px;border-radius:6px}#progress{display:flex;align-items:center;gap:10px;color:var(--blue);font-size:.82rem;padding-bottom:15px}#progress[hidden]{display:none}#progress progress{height:4px;max-width:130px;margin-left:auto;accent-color:var(--blue)}.spinner{width:13px;height:13px;border:2px solid #c4d0fb;border-top-color:var(--blue);border-radius:50%;animation:spin .8s linear infinite}@keyframes spin{to{transform:rotate(360deg)}}.model-content,.method-content{padding:28px;line-height:1.7;font-size:.94rem;overflow:auto;max-height:70vh}.model-content h3,.method-content h3{font-size:1rem;margin-top:0}.model-content table{width:100%;border-collapse:collapse;margin-top:15px}.model-content th,.model-content td{text-align:left;padding:12px;border-bottom:1px solid #e4eaf2;overflow-wrap:anywhere;vertical-align:top}.model-content th{font-size:.75rem;color:var(--muted);text-transform:uppercase;letter-spacing:1px}.model-content td:first-child{font-family:Georgia,serif}.model-content td:last-child{font: .85rem/1.7 ui-monospace,monospace}.method-content article{margin:15px 0;padding-bottom:15px;border-bottom:1px solid var(--line)}.method-content article p{font-family:Georgia,serif;overflow-wrap:anywhere}.method-content small{color:var(--muted)}dialog{max-width:850px;width:calc(100% - 30px);max-height:88vh;border:0;border-radius:14px;padding:0;color:var(--ink);box-shadow:0 20px 90px #10213840}dialog::backdrop{background:#101f3b88}.dialog-head{display:flex;align-items:center;justify-content:space-between;padding:20px 28px;border-bottom:1px solid var(--line);position:sticky;top:0;background:white;z-index:2}.guide-body{padding:4px 28px 30px;line-height:1.8;font-size:.94rem}.guide-body h3{margin:25px 0 8px}.guide-body a{color:var(--blue)}.coverage-row{border-bottom:1px solid var(--line);padding:9px 0;display:grid;grid-template-columns:155px 1fr;gap:15px;font-size:.86rem}.coverage-row b{font-size:.82rem}a{color:var(--blue)}@media(min-width:1500px){.workspace{padding:35px 50px}main{grid-template-columns:380px 1fr}.input-panel{padding:34px}}@media(max-width:1000px){main{grid-template-columns:310px minmax(0,1fr)}.input-panel{padding:25px 20px}.workspace{padding:28px 20px}.tabs{gap:20px}.tree-toolbar{padding:10px}.brand span{font-size:.8rem}footer{flex-direction:column;gap:2px}}@media(max-width:740px){header{height:66px;padding:0 18px}.brand span{display:none}.brand b{font-size:1.55rem}main{display:block}.input-panel{border-right:0;padding:24px;display:block}.intro{margin-bottom:15px}.workspace{padding:25px 15px}.input-panel h1{font-size:1.55rem}.workspace h2{font-size:1.3rem}.tabs{gap:20px}.tabs button{font-size:.8rem}.tree-toolbar button{font-size:.7rem}.local-note{margin-top:15px}.panel{min-height:440px}.examples{margin-top:20px}.coverage-row{grid-template-columns:1fr;gap:0}.guide-body{padding:0 20px 25px}.dialog-head{padding:15px 20px}#treeViewport{max-height:none;height:450px}footer{font-size:.75rem}}@media(prefers-reduced-motion:reduce){*{animation:none!important;transition:none!important}}[hidden]{display:none!important}

.mode-note{font-size:13px;line-height:1.55;padding:10px 12px;background:#f3f0e9;color:#68512a;border-radius:7px;margin:10px 0 20px}

.check-label{display:flex;align-items:flex-start;gap:8px;font-size:12px!important;margin:12px 0!important}.check-label input{width:auto;margin:2px 0 0}.input-hint{font-size:12px;line-height:1.6;color:#65758b;margin:7px 0 14px}#holSettings{padding:14px;background:#f2f6fc;border-radius:10px;margin-bottom:16px}#holSettings label span{font-weight:400;font-size:11px;display:block}

.proof-notation{padding:12px 18px;background:#edf3fc;border-bottom:1px solid #d5e0f0;color:#43536b;font-size:.8rem;line-height:1.5}.proof-notation p{margin:5px 0}.proof-notation[hidden]{display:none}

.il-symbols{margin:14px 0;padding:12px;border:1px solid var(--line);border-radius:8px;background:#f5f8ff}.il-symbols .eyebrow{font-size:.65rem}.il-symbols .symbols button{font: .8rem/1.4 system-ui,sans-serif;padding:7px 9px}.il-symbols .input-hint{margin-bottom:0}.il-symbols code{user-select:text}

.app-nav{display:flex;align-items:center;gap:6px;margin-left:auto}.app-nav a{font-size:12px;text-decoration:none;color:#c1cedf;padding:10px 12px;border-radius:7px}.app-nav a[aria-current]{background:#283a55;color:white}@media(max-width:850px){header{height:auto;min-height:78px;flex-wrap:wrap;padding-top:12px;padding-bottom:12px}.brand span{display:none}.app-nav a{font-size:11px;padding:8px}}