@import "https://fonts.googleapis.com/css2?family=JetBrains+Mono:wght@400;600&family=EB+Garamond:ital,wght@0,400;0,600;1,400&display=swap";:root{--bg:#0f0f0f;--surface:#1a1a1a;--border:#2e2e2e;--text:#e8e4dc;--muted:#6b6660;--accent:#c9a84c;--ok:#4caf7d;--warn:#c0392b;--mono:"JetBrains Mono", monospace;--serif:"EB Garamond", serif}*,:before,:after{box-sizing:border-box;margin:0;padding:0}body{background:var(--bg);color:var(--text);font-family:var(--serif);min-height:100vh;font-size:18px}.app{flex-direction:column;gap:2.5rem;max-width:min(1100px,95vw);margin:0 auto;padding:3rem 2rem;display:flex}.app.kino{gap:.75rem;width:100%;max-width:100%;height:100dvh;padding:1rem 1.5rem;overflow:hidden}.app.kino header,.app.kino .example-row{display:none}.app.kino main{flex:1;grid-template-columns:1fr 6px 2fr;gap:0;min-height:0;display:grid;overflow:hidden}.kino-divider{cursor:col-resize;background:var(--border);border-radius:3px;align-self:stretch;margin:0 2px;transition:background .15s}.kino-divider:hover{background:var(--muted)}.panels-right{display:contents}.app.kino .panels-right{flex-direction:column;gap:.75rem;min-width:0;min-height:0;padding-left:.375rem;display:flex;overflow-y:auto}.app.kino .editor-section{grid-template-rows:auto 1fr auto;min-width:0;padding-right:.375rem;display:grid;overflow:hidden}.app.kino .toolbar{min-width:0}.app.kino .cm-theme-light{flex-direction:column;min-height:0;display:flex;overflow:hidden}.app.kino .cm-editor{flex:1;min-height:0;max-height:none;overflow:hidden}.app.kino .cm-scroller{min-height:0!important;overflow:auto!important}.app.kino .cm-content{min-height:0!important}.app.kino .editor-section .parse-errors{max-height:7rem;overflow-y:auto}.app.kino .history-section{max-height:none}.app.kino .slot-picker-menu,.app.kino .sym-picker-menu{top:auto;bottom:calc(100% + 3px)}.header-row{justify-content:space-between;align-items:flex-start;display:flex}@keyframes float-up{0%{opacity:1;transform:translate(-50%)translateY(0)}to{opacity:0;transform:translate(-50%)translateY(-1.8rem)}}.share-btn{border:1px solid var(--border);color:var(--muted);cursor:pointer;background:0 0;border-radius:50%;flex-shrink:0;justify-content:center;align-self:center;align-items:center;width:2rem;height:2rem;transition:border-color .15s,color .15s;display:flex;position:relative}.share-btn:hover{border-color:var(--accent);color:var(--accent)}.share-btn svg{transform:translate(-1px)}.share-copied{font-family:var(--mono);color:var(--ok);white-space:nowrap;pointer-events:none;font-size:.65rem;animation:1.4s ease-out forwards float-up;position:absolute;bottom:calc(100% + 4px);left:50%}.help-btn{font-family:var(--mono);border:1px solid var(--border);color:var(--muted);cursor:pointer;background:0 0;border-radius:50%;flex-shrink:0;justify-content:center;align-items:center;width:2rem;height:2rem;font-size:1rem;font-weight:600;transition:border-color .15s,color .15s;display:flex}.help-btn:hover{border-color:var(--accent);color:var(--accent)}header h1{font-family:var(--mono);color:var(--accent);letter-spacing:-.02em;font-size:2rem;font-weight:600}header .subtitle{font-family:var(--serif);color:var(--muted);margin-top:.2rem;font-style:italic}main{flex-direction:column;gap:1.25rem;display:flex}input[type=checkbox]{appearance:none;background:var(--bg);border:1px solid var(--accent);cursor:pointer;vertical-align:middle;border-radius:2px;flex-shrink:0;width:.85rem;height:.85rem;position:relative}input[type=checkbox]:checked{appearance:auto;accent-color:var(--accent)}label{font-family:var(--mono);text-transform:uppercase;letter-spacing:.1em;color:var(--muted);margin-bottom:.4rem;font-size:.72rem;display:block}.editor-label-row{justify-content:space-between;align-items:baseline;margin-bottom:.4rem;display:flex}.editor-label-row label{margin-bottom:0}.editor-meta{align-items:center;gap:.75rem;display:flex}.cursor-pos{font-family:var(--mono);color:var(--muted);margin-top:5px;font-size:.68rem}.clear-btn{font-family:var(--mono);color:var(--muted);cursor:pointer;text-transform:uppercase;letter-spacing:.08em;background:0 0;border:none;margin-top:5px;padding:0;font-size:.68rem}.clear-btn:hover{color:var(--warn)}.clear-btn:disabled{opacity:.25;cursor:not-allowed}.clear-btn:disabled:hover{color:var(--muted)}.cm-editor{width:100%;max-height:60vh}.toolbar{flex-wrap:wrap;align-items:center;gap:.5rem .75rem;margin-top:.5rem;display:flex}.toolbar-group{align-items:center;gap:.35rem;display:flex}.toolbar-sep{background:var(--border);flex-shrink:0;width:1px;height:1.1rem}.row-label{font-family:var(--mono);text-transform:uppercase;letter-spacing:.08em;color:var(--muted);white-space:nowrap;font-size:.68rem}.select-wrap{align-items:center;display:flex;position:relative}.select-wrap:after{content:"▾";color:var(--muted);pointer-events:none;font-size:.65rem;transition:color .15s;position:absolute;right:.45rem}.select-wrap:hover:after{color:var(--accent)}.tool-select{font-family:var(--mono);background:var(--surface);border:1px solid var(--border);color:var(--muted);cursor:pointer;appearance:none;border-radius:2px;outline:none;padding:.2rem 1.4rem .2rem .4rem;font-size:.72rem;transition:border-color .15s,color .15s}.tool-select:hover{border-color:var(--accent);color:var(--accent)}.tool-select option{background:var(--surface);color:var(--text)}.config-input{font-family:var(--mono);border:1px solid var(--border);color:var(--text);appearance:textfield;background:0 0;border-radius:2px;outline:none;width:7rem;padding:.2rem .4rem;font-size:.82rem;transition:border-color .15s}.config-input:focus{border-color:var(--accent)}.config-input::-webkit-inner-spin-button{opacity:.4}.config-input::-webkit-outer-spin-button{opacity:.4}.settings-modal{max-width:380px}.import-modal{max-width:420px}.import-actions{gap:.4rem;margin-bottom:.8rem;display:flex}.import-list{max-height:300px;margin:0 0 1rem;padding:0;list-style:none;overflow-y:auto}.import-list li{font-family:var(--mono);padding:.25rem 0;font-size:.85rem}.import-list li label{cursor:pointer;text-transform:none;align-items:center;gap:.4rem;display:flex}.import-conflict-tag{color:var(--accent)}.modal-buttons{justify-content:flex-end;gap:.5rem;display:flex}.settings-table{font-family:var(--mono);border-collapse:collapse;width:100%;font-size:.85rem}.settings-table td{vertical-align:middle;padding:.35rem .75rem .35rem 0}.settings-table td:first-child{color:var(--text);white-space:nowrap}.settings-hint{color:var(--muted);font-size:.75rem}.settings-buttons{justify-content:flex-end;gap:.5rem;margin-top:1rem;display:flex}.settings-ok,.settings-cancel{font-family:var(--mono);cursor:pointer;border-radius:2px;padding:.3rem 1.1rem;font-size:.78rem;transition:opacity .15s,border-color .15s,color .15s}.settings-ok{background:var(--accent);color:#0f0f0f;border:none;font-weight:600}.settings-ok:hover{opacity:.85}.settings-cancel{border:1px solid var(--border);color:var(--muted);background:0 0}.settings-cancel:hover{border-color:var(--accent);color:var(--accent)}.ex-btn{font-family:var(--mono);border:1px solid var(--border);color:var(--muted);cursor:pointer;background:0 0;border-radius:2px;padding:.2rem .6rem;font-size:.72rem;transition:border-color .15s,color .15s}.ex-btn:hover:not(:disabled){border-color:var(--accent);color:var(--accent)}.ex-btn:disabled{opacity:.3;cursor:not-allowed}.storage-combo{align-items:center;display:flex}.save-name-input{font-family:var(--mono);border:1px solid var(--border);color:var(--text);background:0 0;border-radius:2px 0 0 2px;outline:none;width:12rem;padding:.2rem .5rem;font-size:.72rem;transition:border-color .15s}.save-name-input::placeholder{color:var(--muted);opacity:1}.save-name-input:focus,.storage-combo:hover .save-name-input,.storage-combo:hover .slot-picker-btn{border-color:var(--accent)}.storage-combo .slot-picker{align-items:center;display:flex}.storage-combo .slot-picker-btn{border-left:none;border-radius:0 2px 2px 0;padding:.2rem .3rem}.slot-picker{align-items:center;display:flex;position:relative}.slot-picker-menu{z-index:50;background:var(--surface);border:1px solid var(--border);border-radius:2px;flex-direction:column;min-width:8rem;display:flex;position:absolute;top:calc(100% + 3px);left:0;box-shadow:0 4px 12px #0006}.slot-picker-item{font-family:var(--mono);color:var(--text);cursor:pointer;text-align:left;white-space:nowrap;background:0 0;border:none;padding:.3rem .6rem;font-size:.72rem}.slot-picker-item:hover{color:var(--accent);background:#ffffff0f}.slot-picker-item-active{color:var(--accent);font-weight:600}.current-buffer{font-family:var(--mono);color:var(--text);white-space:nowrap;padding:0 .2rem;font-size:.8rem;font-weight:600}.dirty-indicator-ok{color:#4caf50}.dirty-indicator-warning{color:var(--accent)}.dirty-indicator-error{color:var(--warn)}.sym-picker{position:relative}.sym-picker-menu{z-index:50;background:var(--surface);border:1px solid var(--border);border-radius:2px;flex-direction:column;gap:.25rem;width:fit-content;padding:.5rem;display:flex;position:absolute;top:calc(100% + 3px);left:0;box-shadow:0 4px 12px #0006}.sym-section-label{font-family:var(--mono);color:var(--muted);-webkit-user-select:none;user-select:none;font-size:.65rem}.sym-row{grid-template-columns:repeat(12,1.7rem);gap:2px;display:grid}.sym-item{font-family:var(--mono);width:1.7rem;height:1.7rem;color:var(--text);cursor:pointer;background:0 0;border:1px solid #0000;border-radius:2px;justify-content:center;align-items:center;padding:0;font-size:.85rem;display:flex}.sym-item:hover{border-color:var(--accent);color:var(--accent)}.sym-item-reserved{opacity:.35;cursor:default}.sym-item-reserved:hover{border-color:inherit;color:inherit}.load-btn{font-family:var(--mono);background:var(--accent);color:#0f0f0f;cursor:pointer;letter-spacing:.05em;white-space:nowrap;border:none;border-radius:2px;padding:.3rem 1rem;font-size:.78rem;font-weight:600;transition:opacity .15s}.load-btn:disabled{opacity:.35;cursor:not-allowed}.load-btn:not(:disabled):hover{opacity:.85}.parse-errors{font-family:var(--mono);color:var(--warn);margin-top:.5rem;font-size:.8rem;line-height:1.7;list-style:none}.parse-errors li{text-indent:-1.2em;padding-left:1.2em}.parse-warning{color:var(--accent)}.parse-error-link{cursor:pointer;-webkit-text-decoration:underline dotted;text-decoration:underline dotted}.parse-error-link:hover{text-decoration:underline}.eval-controls{align-items:center;gap:.6rem;display:flex}.eval-controls button{font-family:var(--mono);border:1px solid var(--border);color:var(--text);cursor:pointer;background:0 0;border-radius:2px;padding:.3rem .85rem;font-size:.8rem;transition:border-color .15s,color .15s}.eval-controls button:not(:disabled):hover{border-color:var(--accent);color:var(--accent)}.eval-controls button:disabled{opacity:.3;cursor:not-allowed}.eval-controls kbd{font-family:var(--mono);opacity:.55;margin-left:.2rem;font-size:.65rem}.eval-status{font-family:var(--mono);font-size:.78rem}.normal-form{color:var(--ok)}.did-not-terminate{color:var(--warn)}.paused{color:var(--accent)}.subst-toggle{font-family:var(--mono);color:var(--muted);cursor:pointer;-webkit-user-select:none;user-select:none;align-items:center;gap:.3rem;margin-left:auto;font-size:.75rem;display:flex}.panel{border:1px solid var(--border);border-radius:2px}.panel-header{cursor:pointer;-webkit-user-select:none;user-select:none;border-bottom:1px solid var(--border);justify-content:space-between;align-items:center;padding:.35rem .75rem;transition:background .1s;display:flex}.panel-header:hover{background:#ffffff06}.panel-label{font-family:var(--mono);text-transform:uppercase;letter-spacing:.1em;color:var(--muted);font-size:.68rem}.panel-toggle{font-family:var(--mono);color:var(--muted);font-size:.65rem}.panel-header-extra{margin-left:auto;margin-right:.75rem}.panel-sort-btn{font-family:var(--mono);text-transform:uppercase;letter-spacing:.08em;color:var(--muted);cursor:pointer;background:0 0;border:none;padding:0;font-size:.65rem;line-height:1}.panel-sort-btn:hover{color:var(--accent)}.panel-body{flex-direction:column;gap:.75rem;padding:.75rem 1rem;display:flex}.output-tabs{border-bottom:1px solid var(--border);display:flex}.output-tabs button{font-family:var(--mono);text-transform:uppercase;letter-spacing:.1em;color:var(--muted);cursor:pointer;background:0 0;border:none;border-bottom:2px solid #0000;margin-bottom:-1px;padding:.45rem 1rem;font-size:.72rem;transition:color .15s,border-color .15s}.output-tabs button.active{color:var(--accent);border-bottom-color:var(--accent)}.output{background:var(--surface);border:1px solid var(--border);border-top:none;border-radius:0 0 2px 2px;padding:.6rem 1rem}.output pre{font-family:var(--mono);white-space:pre-wrap;word-break:break-all;font-size:.9rem;line-height:1.7}.placeholder{font-family:var(--mono);color:var(--muted);font-size:.8rem;font-style:italic}.ast-view{font-family:var(--mono);font-size:.85rem;line-height:1.6}.ast-row{cursor:pointer;-webkit-user-select:none;user-select:none;border-radius:2px;align-items:center;gap:.4rem;padding:.05rem .3rem;display:flex}.ast-row:hover{background:#ffffff0a}.ast-leaf{cursor:default}.ast-leaf:hover{background:0 0}.ast-toggle{color:var(--accent);text-align:center;flex-shrink:0;width:.8rem;font-size:.65rem}.ast-leaf .ast-toggle{color:var(--muted)}.ast-label{color:var(--text)}.ast-name{color:var(--accent)}.ast-children{border-left:1px solid var(--border);margin-left:.9rem;padding-left:.7rem}.print-section{flex-direction:column;gap:.3rem;display:flex}.print-entry{background:var(--surface);border:1px solid var(--border);border-left:2px solid var(--accent);cursor:pointer;border-radius:2px;flex-direction:column;gap:.25rem;padding:.5rem 1rem;display:flex}.print-entry:hover{border-color:var(--accent)}.print-index{color:var(--muted);font-size:.75em}.step-count{font-family:var(--mono);color:var(--muted);font-size:.78rem}.print-src{font-family:var(--mono);color:var(--muted);font-size:.85rem}.print-result{font-family:var(--mono);color:var(--text);justify-content:space-between;align-items:baseline;gap:.75rem;font-size:.85rem;display:flex}.print-result-text{word-break:break-all;flex:1}.truncated-more{color:#7ab0c8;cursor:pointer;margin-left:.2em;font-style:italic}.truncated-more:hover{text-decoration:underline}.print-result-status{white-space:nowrap;flex-shrink:0;align-items:baseline;gap:.4rem;display:flex}.print-equiv{color:var(--muted)}.equiv-op{font-weight:700}.equiv-pass{color:var(--ok)}.equiv-fail{color:var(--warn)}.comp-spec{color:var(--muted);font-size:.8em}.comp-rows{border-left:1px solid var(--border);flex-direction:column;gap:.4rem;margin-top:.25rem;padding-left:.5rem;display:flex}.comp-row{flex-direction:row;align-items:flex-start;gap:.5rem;display:flex}.comp-bullet{color:var(--muted);font-family:var(--mono);-webkit-user-select:none;user-select:none;flex-shrink:0;font-size:1.3rem;line-height:1.5;position:relative;top:-.35em}.comp-row-content{flex-direction:column;flex:1;gap:.1rem;min-width:0;display:flex}.comp-subst-expr{font-family:var(--mono);color:var(--muted);font-size:.8rem}.history-section{flex-direction:column;gap:.3rem;max-height:20em;display:flex;overflow-y:auto}.history-entry{background:var(--surface);border:1px solid var(--border);border-radius:2px;justify-content:space-between;align-items:baseline;gap:1rem;padding:.6rem 1rem;display:flex}.history-entry:first-child{border-color:var(--accent)}.history-term{font-family:var(--mono);white-space:pre-wrap;word-break:break-all;flex:1;font-size:.9rem;line-height:1.5}.history-label{color:var(--muted);text-align:right;width:3.2rem;margin-right:.5rem;display:inline-block}.history-match{font-family:var(--mono);color:var(--accent);white-space:nowrap;flex-shrink:0;font-size:.85rem}.history-entry-status{white-space:nowrap;flex-shrink:0;align-items:baseline;gap:.4rem;display:flex}.modal-backdrop{z-index:100;background:#0009;justify-content:center;align-items:center;display:flex;position:fixed;inset:0}.modal{background:var(--surface);border:1px solid var(--border);border-radius:4px;flex-direction:column;gap:.75rem;width:90%;max-width:720px;max-height:85vh;padding:2rem;display:flex;position:relative;overflow-y:auto}.help-modal{max-width:min(900px,95vw)}.modal h2{font-family:var(--mono);color:var(--accent);font-size:1.1rem}.modal h3{font-family:var(--mono);text-transform:uppercase;letter-spacing:.1em;color:var(--muted);margin-top:.5rem;font-size:.75rem}.modal p{font-family:var(--serif);color:var(--text);font-size:.95rem;line-height:1.6}.modal a{color:var(--accent)}.modal pre{font-family:var(--mono);color:var(--muted);font-size:.8rem;line-height:1.85}.modal-close{color:var(--muted);cursor:pointer;background:0 0;border:none;font-size:1rem;line-height:1;position:absolute;top:1rem;right:1rem}.modal-close:hover{color:var(--text)}.help-table{font-family:var(--mono);border-collapse:collapse;width:100%;font-size:.82rem}.help-table td{vertical-align:top;padding:.2rem .75rem .2rem 0;line-height:1.6}.help-table td:first-child{color:var(--accent);white-space:nowrap}.help-table td:last-child{color:var(--muted)}.help-tabs{border-bottom:1px solid var(--border);gap:.25rem;margin-bottom:.25rem;padding-bottom:0;display:flex}.help-tab-btn{color:var(--muted);cursor:pointer;font-family:var(--mono);background:0 0;border:1px solid #0000;border-bottom:none;border-radius:3px 3px 0 0;padding:.3rem .85rem;font-size:.78rem;position:relative;bottom:-1px}.help-tab-btn:hover{color:var(--text)}.help-tab-btn.active{border-color:var(--border);background:var(--surface);color:var(--accent)}.help-ebnf{font-family:var(--mono);color:var(--muted);white-space:pre;font-size:.78rem;line-height:1.75;overflow-x:auto}.help-diagrams-btn{border:1px solid var(--border);color:var(--muted);cursor:pointer;font-family:var(--mono);background:0 0;border-radius:3px;align-self:flex-start;padding:.3rem .75rem;font-size:.8rem}.help-diagrams-btn:hover{color:var(--text);border-color:var(--muted)}.cm-tooltip-autocomplete{background:var(--surface)!important;border:1px solid var(--border)!important;font-family:var(--mono)!important;border-radius:2px!important}.cm-tooltip-autocomplete>ul>li{color:var(--text)!important;font-size:.85rem!important}.cm-tooltip-autocomplete>ul>li[aria-selected]{color:var(--accent)!important;background:#c9a84c26!important}