:root{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;font-synthesis:none;text-rendering:optimizelegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}html,body,#root{height:100%}body{margin:0}button{font-family:inherit}:root{--bg:#1e1e2e;--bg2:#181825;--pan:#11111b;--fg:#cdd6f4;--mut:#9399b2;--bd:#313244;--acc:#cba6f7;--acc2:#89b4fa;--grn:#a6e3a1;--red:#f38ba8;--yel:#f9e2af;--sky:#89dceb}*{box-sizing:border-box}.app{background:var(--bg);min-height:100vh;color:var(--fg);flex-direction:column;font:14px/1.5 ui-sans-serif,system-ui,sans-serif;display:flex}.app-header{border-bottom:1px solid var(--bd);padding:18px 24px 12px}.app-header h1{letter-spacing:.2px;margin:0;font-size:20px}.app-header p{color:var(--mut);max-width:90ch;margin:6px 0 0;font-size:13px}.app-header b{color:var(--fg);font-weight:600}.toolbar{border-bottom:1px solid var(--bd);background:var(--bg2);flex-wrap:wrap;align-items:flex-end;gap:18px;padding:14px 24px;display:flex}.field{flex-direction:column;gap:5px;display:flex}.field>label{text-transform:uppercase;letter-spacing:.06em;color:var(--mut);font-size:11px}.field input[type=range]{width:150px;accent-color:var(--acc)}.field select,.field input[type=number]{background:var(--pan);color:var(--fg);border:1px solid var(--bd);font:inherit;border-radius:6px;padding:6px 8px}.lang-row{align-items:center;gap:8px;display:flex}.badge{border:1px solid var(--bd);color:var(--mut);white-space:nowrap;border-radius:999px;padding:3px 9px;font-size:12px}.badge-lean{color:var(--grn);border-color:color-mix(in srgb, var(--grn) 45%, transparent)}.badge-isabelle{color:var(--acc2);border-color:color-mix(in srgb, var(--acc2) 45%, transparent)}.badge-rocq{color:var(--red);border-color:color-mix(in srgb, var(--red) 45%, transparent)}.seg{border:1px solid var(--bd);border-radius:6px;display:inline-flex;overflow:hidden}.seg button{background:var(--pan);color:var(--mut);border:none;border-right:1px solid var(--bd);cursor:pointer;font:inherit;padding:6px 12px}.seg button:last-child{border-right:none}.seg button.on{background:var(--acc);color:#1e1e2e;font-weight:600}.seg button:hover:not(.on){color:var(--fg)}button.generate{background:var(--acc2);color:#1e1e2e;font:inherit;cursor:pointer;border:none;border-radius:6px;padding:7px 16px;font-weight:600}button.generate:hover{filter:brightness(1.08)}.advanced{border-bottom:1px solid var(--bd);background:var(--bg2);padding:8px 24px;font-size:13px}.advanced summary{cursor:pointer;color:var(--mut);-webkit-user-select:none;user-select:none}.adv-grid{flex-wrap:wrap;gap:8px 24px;padding:10px 4px 4px;display:flex}.chk{color:var(--fg);align-items:center;gap:7px;display:flex}.chk input{accent-color:var(--acc)}.seed-field{color:var(--mut);align-items:center;gap:7px;display:flex}.seed-field input{width:110px}.note{color:var(--yel);margin:6px 4px 2px;font-size:12px}.note code{color:var(--grn)}.panes{flex:1;grid-template-columns:264px 1fr 1fr;min-height:0;display:grid}.controls{border-right:1px solid var(--bd);background:var(--bg2);padding:6px 14px 24px;overflow:auto}.ctrl-sec{border-bottom:1px solid var(--bd);padding:12px 0}.ctrl-sec h3{text-transform:uppercase;letter-spacing:.06em;color:var(--mut);margin:0 0 8px;font-size:11px}.ctrl-sec select,.ctrl-sec>input[type=number]{background:var(--pan);width:100%;color:var(--fg);border:1px solid var(--bd);font:inherit;border-radius:5px;padding:5px 7px}.presets{gap:5px;display:flex}.presets button{background:var(--pan);color:var(--acc2);border:1px solid var(--bd);cursor:pointer;font:inherit;border-radius:5px;flex:1;padding:5px 0}.presets button:hover{border-color:var(--acc2)}.controls .chk{color:var(--fg);align-items:flex-start;gap:7px;margin-top:7px;font-size:13px;line-height:1.35;display:flex}.controls .chk input{accent-color:var(--acc);flex:none;margin-top:2px}.ti{margin-top:8px;display:block}.ti>span{color:var(--mut);margin-bottom:3px;font-size:12px;display:block}.ti input{background:var(--pan);width:100%;color:var(--fg);border:1px solid var(--bd);font:inherit;border-radius:5px;padding:5px 7px}.ti input[type=range]{accent-color:var(--acc);padding:0}.two{gap:8px;display:flex}.two>*{flex:1}.gated{opacity:.4;cursor:not-allowed}.gated input{cursor:not-allowed}.mini-note{color:var(--yel);margin:8px 0 0;font-size:11.5px;line-height:1.4}.pane{border-right:1px solid var(--bd);flex-direction:column;min-width:0;display:flex}.pane:last-child{border-right:none}.pane-head{border-bottom:1px solid var(--bd);justify-content:space-between;align-items:baseline;gap:12px;padding:10px 16px;display:flex}.pane-head h2{text-transform:uppercase;letter-spacing:.06em;color:var(--mut);margin:0;font-size:12px}.muted{color:var(--mut);font-size:12px}.muted b{color:var(--grn)}.err{color:var(--red)}textarea.source{resize:none;background:var(--pan);width:100%;min-height:340px;color:var(--fg);tab-size:2;white-space:pre;border:none;outline:none;flex:1;padding:12px 16px;font:13px/1.5 ui-monospace,Menlo,Consolas,monospace}.codeview,.jsonview{flex:1;min-height:0;position:relative;overflow:auto}pre.code{white-space:pre;tab-size:2;margin:0;padding:12px 16px;font:13px/1.5 ui-monospace,Menlo,Consolas,monospace}.tok-comment{color:var(--mut);font-style:italic}.tok-string{color:var(--grn)}.tok-keyword{color:var(--acc)}.tok-hole{color:var(--red);background:color-mix(in srgb, var(--red) 16%, transparent);border-radius:3px;padding:0 2px;font-weight:700}.copy-btn{z-index:2;background:var(--bg2);color:var(--mut);border:1px solid var(--bd);cursor:pointer;border-radius:6px;padding:4px 10px;font:12px ui-sans-serif,system-ui,sans-serif;position:absolute;top:8px;right:12px}.copy-btn:hover{color:var(--fg);border-color:var(--acc2)}.records{padding:8px 12px}.record{border:1px solid var(--bd);border-radius:8px;margin-bottom:12px;position:relative;overflow:hidden}.record-head{background:var(--bg2);border-bottom:1px solid var(--bd);color:var(--sky);padding:7px 12px;font:12px ui-monospace,monospace}.json-tree{padding:10px 14px;font:12.5px/1.55 ui-monospace,Menlo,Consolas,monospace}.json-row{white-space:pre-wrap;word-break:break-word}.json-toggle{color:inherit;font:inherit;cursor:pointer;text-align:left;background:0 0;border:none;padding:0}.json-toggle:hover{color:var(--fg)}.json-key{color:var(--acc2)}.json-string{color:var(--grn)}.json-number{color:var(--yel)}.json-bool{color:var(--sky)}.json-null,.json-hint{color:var(--mut)}.json-str-collapsed{color:var(--grn);cursor:pointer}.json-str-collapsed:hover{text-decoration:underline}.json-block{margin:2px 0}pre.json-strval{background:var(--pan);border:1px solid var(--bd);white-space:pre;max-height:340px;color:var(--fg);tab-size:2;border-radius:6px;margin:4px 0 4px 8px;padding:10px 12px;overflow:auto}.error-box{background:color-mix(in srgb, var(--red) 12%, var(--pan));border:1px solid var(--red);color:var(--red);white-space:pre-wrap;border-radius:8px;margin:12px 16px;padding:12px}.app-footer{border-top:1px solid var(--bd);color:var(--mut);background:var(--bg2);padding:10px 24px;font-size:12px}@media (width<=900px){.panes{grid-template-columns:1fr}.pane{border-right:none;border-bottom:1px solid var(--bd)}}