:root{--bg:#fff;--panel:#f6f7f9;--fg:#1f2328;--muted:#656d76;--line:#d8dee4;--add:#dafbe1;--add-line:#2da44e;--del:#ffebe9;--del-fg:#cf222e;--warn:#fff8c5;--warn-line:#bf8700;--info:#ddf4ff;--info-line:#0969da;--accent:#0969da;--danger:#cf222e;--hl-keyword:#8250df;--hl-string:#0a3069;--hl-number:#0550ae;--hl-meta:#953800;--hl-var:#1f2328;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light dark}@media (prefers-color-scheme:dark){:root{--lightningcss-light: ;--lightningcss-dark:initial;--bg:#0d1117;--panel:#161b22;--fg:#e6edf3;--muted:#8d96a0;--line:#30363d;--add:#12261e;--add-line:#3fb950;--del:#301a1f;--del-fg:#ff7b72;--warn:#2d2a12;--warn-line:#d29922;--info:#0c2d4a;--info-line:#58a6ff;--accent:#58a6ff;--danger:#ff7b72;--hl-keyword:#d2a8ff;--hl-string:#a5d6ff;--hl-number:#79c0ff;--hl-meta:#ffa657;--hl-var:#e6edf3}}*{box-sizing:border-box}html,body,#app{height:100%;margin:0}body{background:var(--bg);color:var(--fg);font:14px/1.5 system-ui,sans-serif}.shell{height:100%;display:flex}.shell>.app,.shell>.placeholder{flex:1;min-width:0}.placeholder{color:var(--muted);justify-content:center;align-items:center;display:flex}.app{flex-direction:column;height:100%;display:flex}header{background:var(--panel);border-bottom:1px solid var(--line);align-items:center;gap:10px;padding:6px 12px;display:flex}.file{color:var(--muted);font-family:ui-monospace,monospace}.spacer{flex:1}.chip{border:1px solid var(--line);color:var(--muted);border-radius:10px;padding:1px 8px;font-size:12px}.chip.busy{color:var(--info-line);border-color:var(--info-line)}.chip.open{color:var(--warn-line);border-color:var(--warn-line)}.chip.save-error{color:var(--danger);border-color:var(--danger)}.link{color:var(--accent);cursor:pointer;font:inherit;background:0 0;border:0;padding:0}.banner{background:var(--info);border-bottom:1px solid var(--info-line);padding:6px 12px}.banner.error{background:var(--del);border-color:var(--del-fg);color:var(--del-fg)}main{flex:1;grid-template-columns:1fr 1fr;min-height:0;display:grid}.source,.preview-wrap{min-width:0;min-height:0;overflow:auto}.source{border-right:1px solid var(--line)}.source .cm-editor{background:var(--bg);min-height:100%;color:var(--fg)}.source .cm-editor.cm-focused{outline:none}.cm-scroller{font:14px/1.6 ui-monospace,SF Mono,Menlo,monospace}.cm-content{caret-color:var(--fg);padding:8px 0}.cm-gutters,.cm-activeLine{background:0 0!important}.cm-hunk{background:var(--add);border-bottom:2px solid var(--add-line)}.cm-hunk-concern{background:var(--warn);border-bottom-color:var(--warn-line)}.cm-hunk-reviewing{background:var(--info);border-bottom-color:var(--info-line)}.cm-hunk-failed{background:var(--del);border-bottom-color:var(--del-fg)}.cm-hunk-accepted{border-bottom:2px solid var(--add-line);opacity:.9;background:0 0}.cm-deleted{background:var(--del);color:var(--del-fg);white-space:pre-wrap;text-decoration:line-through}.cm-card{border-left:3px solid var(--add-line);background:var(--panel);border-radius:4px;margin:4px 12px 8px;padding:6px 10px;font:13px/1.45 system-ui,sans-serif}.cm-card-concern{border-left-color:var(--warn-line)}.cm-card-reviewing{border-left-color:var(--info-line)}.cm-card-failed{border-left-color:var(--del-fg)}.cm-card-head{align-items:baseline;gap:8px;display:flex}.cm-card-accepted .cm-card-head{cursor:pointer}.cm-badge{font-weight:600}.cm-card-concern .cm-badge{color:var(--warn-line)}.cm-card-failed .cm-badge{color:var(--del-fg)}.cm-card-what,.cm-card-tag{color:var(--muted)}.cm-card-body{white-space:pre-wrap;margin-top:2px}.cm-card-collapsed .cm-card-body{display:none}.cm-card-actions{gap:6px;margin-top:6px;display:flex}.cm-card-actions button{font:inherit;border:1px solid var(--line);background:var(--bg);color:var(--fg);cursor:pointer;border-radius:4px;padding:2px 10px}.cm-card-actions .primary{background:var(--accent);border-color:var(--accent);color:#fff}.cm-card-actions .danger{color:var(--danger)}.preview-wrap{position:relative}.preview{max-width:760px;padding:12px 24px}.preview pre{background:var(--panel);padding:8px;overflow:auto}.preview code{font-family:ui-monospace,monospace}.preview .hl-active{background:var(--warn);box-shadow:-4px 0 0 var(--warn-line)}.preview .hl-accepted{box-shadow:-4px 0 0 var(--add-line)}.ask{z-index:10;background:var(--panel);border:1px solid var(--accent);border-radius:6px;width:360px;padding:8px;position:fixed;box-shadow:0 6px 20px #00000040}.ask-quote{color:var(--muted);white-space:pre-wrap;border-left:2px solid var(--line);margin-bottom:4px;padding-left:6px;font-size:12px}.ask textarea{width:100%;font:inherit;background:var(--bg);color:var(--fg);border:1px solid var(--line);resize:vertical;border-radius:4px;padding:4px 6px}.log{border-top:1px solid var(--line);background:var(--panel);height:170px;overflow:auto}.log-empty{color:var(--muted);padding:10px 12px}.log-row{text-align:left;border:0;border-bottom:1px solid var(--line);width:100%;color:var(--fg);cursor:pointer;background:0 0;grid-template-columns:78px 84px minmax(0,28%) 1fr;gap:10px;padding:3px 12px;font:12px/1.4 system-ui,sans-serif;display:grid}.log-row>span{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.log-time,.log-status{color:var(--muted)}.s-accepted .log-status{color:var(--add-line)}.s-rejected .log-status,.s-failed .log-status{color:var(--del-fg)}.s-pending.v-concern .log-status{color:var(--warn-line)}.s-rejected .log-what,.s-superseded .log-what{color:var(--muted);text-decoration:line-through}.preview .num{color:var(--muted);margin-right:.3em;font-weight:400}.preview h1.tex-chapter{margin:1.2em 0 .6em;font-size:1.7em}.preview h5.tex-paragraph,.preview h5.tex-subparagraph{margin:1em 0 .2em;font-size:1em}.preview .tex-eq{margin:.6em 0;overflow:auto hidden}.preview .tex-eq .katex-display{margin:0}.preview .tex-list{margin:.4em 0}.preview .tex-ref{color:var(--accent)}.preview .tex-ref.miss{color:var(--del-fg)}.preview .tex-cite{color:var(--muted)}.preview .tex-cite-missing{color:var(--danger,#c0392b)}.preview .tex-bib{padding-left:0;list-style:none}.preview .tex-bibitem{text-indent:-2.6em;margin:.35em 0;padding-left:2.6em}.preview .tex-bibnum{min-width:2.2em;color:var(--muted);text-indent:0;display:inline-block}.preview .tex-unk{background:var(--panel);color:var(--muted);border-radius:3px;padding:0 3px;font-family:ui-monospace,monospace;font-size:.85em}.preview .tex-unk-arg{color:var(--muted)}.preview .tex-def{background:var(--panel);color:var(--muted);border-radius:3px;margin:1px 2px;padding:0 5px;font:11px ui-monospace,monospace;display:inline-block}.preview .tex-input,.preview .tex-appendix{color:var(--muted);margin:.5em 0;font:12px ui-monospace,monospace}.preview .tex-float{border:1px solid var(--line);border-radius:4px;margin:1em 0;padding:6px 8px}.preview .tex-float figcaption{margin-top:6px;font-size:.92em}.preview .tex-graphic{background:var(--panel);border:1px dashed var(--line);color:var(--muted);border-radius:4px;margin:2px;padding:18px 28px;font:12px ui-monospace,monospace;display:inline-block}.preview .tex-graphic.inline{padding:0 6px}.preview .tex-sub{vertical-align:top;text-align:center;margin:4px 1px;display:inline-block}.preview .tex-sub-cap{color:var(--muted);font-size:.88em}.preview .tex-table-wrap{margin:.4em 0;overflow-x:auto}.preview table.tex-table{border-collapse:collapse;margin:0 auto;font-size:.92em}.preview table.tex-table td{text-align:center;padding:2px 10px}.preview table.tex-table tr.rule-above td{border-top:1px solid var(--fg)}.preview table.tex-table tbody tr:last-child td{border-bottom:1px solid var(--fg)}.preview .tex-thm{border-left:3px solid var(--line);margin:.7em 0;padding:4px 10px}.preview .tex-thm:not(.tex-thm-definition):not(.tex-thm-remark):not(.tex-thm-example)>:not(.tex-thm-head){font-style:italic}.preview .tex-thm-head{font-style:normal}.preview .tex-proof{margin:.6em 0}.preview .tex-proof .qed{float:right}.preview .tex-abstract{margin:1em 2em}.preview .tex-abstract h6{text-align:center;margin:0 0 .4em;font-size:1em}.preview .tex-alg{border-top:2px solid var(--fg);border-bottom:2px solid var(--fg);margin:1em 0;padding:6px 8px}.preview .tex-algo-line{font-size:.92em;line-height:1.6}.preview .tex-algo-line .ln{width:1.8em;color:var(--muted);display:inline-block}.preview .tex-verbatim{white-space:pre-wrap}.preview .sc{font-variant:small-caps}.preview .tex-fn{color:var(--accent);cursor:help}.preview .render-error{background:var(--del);color:var(--del-fg)}.preview{container-type:inline-size}.preview img{max-width:100%;height:auto}.preview .tex-img{vertical-align:middle}.preview .tex-img.inline{max-height:1.4em}.preview .tex-graphic-block{text-align:center;line-height:0}.preview .tex-graphic.missing{color:var(--del-fg);border-color:var(--del-fg);line-height:1.4}.explorer{background:var(--panel);border-right:1px solid var(--line);flex-direction:column;flex:none;width:240px;min-height:0;font-size:13px;display:flex}.explorer-head{border-bottom:1px solid var(--line);flex:none;align-items:baseline;gap:8px;padding:8px 12px;display:flex}.explorer-title{text-overflow:ellipsis;white-space:nowrap;flex:1;min-width:0;font-weight:600;overflow:hidden}.explorer-head .link{flex:none;font-size:12px}.explorer-list{flex-direction:column;flex:1;min-height:0;display:flex;overflow:auto}.explorer-empty{color:var(--muted);padding:8px 12px}.explorer-row{text-align:left;width:100%;color:var(--fg);font:inherit;cursor:pointer;text-overflow:ellipsis;white-space:nowrap;background:0 0;border:0;flex:none;padding:2px 8px;display:block;overflow:hidden}.explorer-row:hover{background:var(--line)}.explorer-row.current{background:var(--info);color:var(--accent);font-weight:600}.explorer-mark{width:1em;color:var(--muted);display:inline-block}.placeholder{flex-direction:column;gap:12px}.btn{font:inherit;border:1px solid var(--line);background:var(--bg);color:var(--fg);cursor:pointer;border-radius:4px;padding:4px 14px}.btn.primary{background:var(--accent);border-color:var(--accent);color:#fff}.btn:disabled{opacity:.5;cursor:default}.modal-backdrop{z-index:20;background:#00000059;justify-content:center;align-items:flex-start;padding-top:12vh;display:flex;position:fixed;inset:0}.modal{background:var(--bg);border:1px solid var(--line);border-radius:8px;flex-direction:column;width:min(560px,92vw);max-height:70vh;display:flex;overflow:hidden;box-shadow:0 10px 30px #00000059}.modal-title{border-bottom:1px solid var(--line);flex:none;padding:10px 14px;font-weight:600}.modal-path{background:var(--bg);color:var(--fg);border:1px solid var(--line);border-radius:4px;flex:none;margin:10px 14px 6px;padding:5px 8px;font:13px ui-monospace,monospace}.modal .banner{flex:none}.modal-list{border-top:1px solid var(--line);border-bottom:1px solid var(--line);flex-direction:column;flex:1;min-height:120px;display:flex;overflow:auto}.modal-row{text-align:left;color:var(--fg);font:inherit;cursor:pointer;text-overflow:ellipsis;white-space:nowrap;background:0 0;border:0;flex:none;padding:3px 14px;overflow:hidden}.modal-row:before{content:"📁 "}.modal-row.up:before{content:""}.modal-row:hover{background:var(--panel)}.modal-empty{color:var(--muted);padding:8px 14px}.modal-actions{flex:none;justify-content:flex-end;gap:8px;padding:10px 14px;display:flex}.authbar{border-top:1px solid var(--line);flex:none;gap:12px;padding:6px 12px;font-size:12px;display:flex}.placeholder .authbar{border-top:0}.login[data-v-fe8fb66b]{max-width:460px;margin:12vh auto;padding:0 16px;font-size:12px}h1[data-v-fe8fb66b]{letter-spacing:.04em;margin:0 0 14px;font-size:16px}h2[data-v-fe8fb66b]{color:var(--fg);margin:0 0 6px;font-size:12px}.act[data-v-fe8fb66b]{margin:14px 0}.enrol[data-v-fe8fb66b]{border-top:1px solid var(--line);padding-top:12px}.enrol input[data-v-fe8fb66b]{background:var(--bg);width:100%;color:var(--fg);border:1px solid var(--line);font:inherit;margin:6px 0;padding:5px 7px;display:block}button[data-v-fe8fb66b]{font:inherit;padding:5px 12px}.faint[data-v-fe8fb66b]{color:var(--muted);line-height:1.5}.rp[data-v-fe8fb66b]{margin-top:18px}.blocked[data-v-fe8fb66b]{color:var(--warn-line);line-height:1.5}.err[data-v-fe8fb66b]{color:var(--danger);line-height:1.5}.back[data-v-fe8fb66b]{color:var(--muted);cursor:pointer;background:0 0;border:none;margin-top:14px;text-decoration:underline}