:root{font-family:Inter,"Segoe UI","Microsoft YaHei",sans-serif;color:#243832;background:#f5f4ef;font-synthesis:none;--ink:#243832;--muted:#6d7971;--green:#225d4c;--border:#dce2d9;--paper:#fffefa;--mint:#edf4ec;--danger:#9c3b2e}
textarea{font:inherit;min-width:0;max-width:100%;border:1px solid #d2dace;border-radius:6px;background:var(--paper);padding:10px 11px;color:var(--ink);font-size:12px;resize:vertical;outline-offset:4px}textarea:focus-visible{outline:2px solid #cf8a3d}textarea:disabled{opacity:.55}.exercise-guide{margin-top:12px;padding:11px;background:#e3eddf;border:1px solid #cbdcc3;border-radius:5px}.exercise-guide strong{font-size:11px}.exercise-guide p{margin-top:5px;font-size:11px}.new-goal-details{margin-top:15px}.new-goal-details>p{margin-top:11px;font-size:11px}.new-goal-form{display:grid;grid-template-columns:1fr;gap:7px;margin-top:12px}.new-goal-form label,.rules-form label{display:block;color:var(--muted);font-size:10px}.new-goal-form input,.new-goal-form textarea{font-family:ui-monospace,Consolas,monospace}.new-goal-form button{justify-self:start;margin-top:3px}.rule-browser{margin-top:20px;padding-top:17px;border-top:1px solid var(--border)}.rule-browser>summary{font-size:12px;color:var(--green)}.rule-browser>summary .muted{font-size:10px;margin-left:8px}.rule-explanation{font-size:11px;margin-top:12px}.rules-form{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,.75fr) auto;gap:9px;align-items:end;margin:13px 0}.rules-form label{margin-bottom:6px}.rules-form input{width:100%}.rule-columns{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1.1fr);gap:14px}.rules-list{max-height:250px;min-height:80px;overflow:auto;border:1px solid var(--border);background:var(--paper);border-radius:6px;padding:5px}.rules-list>.muted{padding:10px}.rule-item{width:100%;display:grid;grid-template-columns:minmax(0,1fr) auto;gap:4px 7px;text-align:left;border:1px solid transparent;background:transparent;border-radius:4px;padding:8px;color:var(--ink)}.rule-item:hover:not(:disabled){background:#f0f4e9}.rule-item.selected{background:#e7f0e1;border-color:#b7ceb0}.rule-item code{font-size:11px;overflow-wrap:anywhere}.rule-item>.math{grid-column:1/-1;font-size:13px}.rule-kind{font-size:9px;color:var(--muted)}.rule-pagination{display:flex;align-items:center;justify-content:space-between;gap:4px;margin-top:4px}.rule-pagination .button{font-size:10px;padding:6px}.rule-pagination .muted{font-size:10px}.rule-detail{background:#fffefa;border:1px solid var(--border);border-radius:6px;padding:13px;min-width:0}.rule-title{font-family:ui-monospace,Consolas,monospace;font-size:12px;overflow-wrap:anywhere}.rule-detail>.math{font-size:15px}.rule-hypothesis{display:flex;flex-direction:column;gap:3px;margin-bottom:8px}.rule-hypothesis code{font-size:10px;color:var(--muted)}.rule-hypothesis .math{font-size:14px}.rule-actions{display:flex;flex-wrap:wrap;gap:9px;margin-top:12px}.preview-output{margin-top:12px;border:1px solid #c1d5b5;background:#edf4e8;border-radius:6px;padding:13px;overflow-wrap:anywhere}.preview-output strong{font-size:12px}.preview-output p{font-size:11px;margin-top:6px}.preview-output .math{font-size:17px}.preview-output.failed{border-color:#e8c5b4;background:#fbede4;color:#8a3e2c}.save-panel{margin-top:20px;border-top:1px solid var(--border);padding-top:20px}.save-panel p{margin-top:7px;font-size:11px;color:var(--muted)}.save-actions{display:flex;flex-wrap:wrap;align-items:center;gap:8px;margin:13px 0}.import-picker{position:relative;display:inline-block;overflow:hidden;text-align:center;cursor:pointer}.import-picker input{position:absolute;inset:0;opacity:0;cursor:pointer;width:100%;padding:0}.import-picker.disabled{opacity:.42;cursor:not-allowed}.import-picker:focus-within{outline:2px solid #cf8a3d;outline-offset:4px}.save-panel #local-save-info{font-size:10px;line-height:1.7}
@media(max-width:1050px){.rules-form{grid-template-columns:1fr 1fr}.rules-form .button{grid-column:1/-1;justify-self:start}.rule-columns{grid-template-columns:1fr}.rules-list{max-height:190px}}@media(max-width:750px){.rule-browser>summary .muted{display:block;margin:7px 0 0}.rules-form{grid-template-columns:1fr}.rules-form .button{width:100%}.rule-actions .button{flex:1;font-size:10px;padding:10px}.save-actions{align-items:stretch;flex-direction:column}.save-actions .button{width:100%}.new-goal-form button{width:100%}}
*{box-sizing:border-box}body{margin:0}button,input,select{font:inherit}button,summary{cursor:pointer}button:disabled{cursor:not-allowed;opacity:.42}button,input,select,summary{outline-offset:4px}button:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible{outline:2px solid #cf8a3d}button{transition:background .15s,transform .15s}button:not(:disabled):active{transform:translateY(1px)}[hidden]{display:none!important}h1,h2,h3,p{margin:0}h1{font-family:Georgia,"Songti SC",serif;font-weight:500;font-size:35px;letter-spacing:-1px}h2{font-size:15px;font-weight:650}h3{font-size:14px;font-weight:650}p{font-size:13px;line-height:1.7}a{color:inherit}.topbar{height:83px;padding:0 36px;border-bottom:1px solid var(--border);display:flex;align-items:center;justify-content:space-between;background:var(--paper)}.brand{display:flex;align-items:center;gap:11px;text-decoration:none;font-family:Georgia,serif;font-size:23px;letter-spacing:-.5px}.brand-icon{display:grid;place-items:center;width:36px;height:39px;background:var(--green);color:#fff;border-radius:9px;font-size:28px}.brand small{display:block;margin-top:4px;font:9px "Segoe UI",sans-serif;color:var(--muted);letter-spacing:1.7px}.engine{display:flex;align-items:center;gap:8px;font-size:11px;color:var(--muted)}.dot{height:6px;width:6px;border-radius:50%;background:#5c8b5e}.local-tag{margin-left:6px;background:#eef1e9;border-radius:4px;padding:5px 8px;font-size:10px}.layout{max-width:1600px;margin:auto;display:grid;grid-template-columns:280px minmax(0,1fr);min-height:calc(100vh - 83px)}.sidebar{padding:30px 23px;border-right:1px solid var(--border);background:#f0f1e9}.eyebrow{font-size:9px;letter-spacing:1.8px;font-weight:700;color:#818c7e;margin-bottom:10px}.sidebar h2{margin-bottom:21px}.sidebar label{display:block;font-size:11px;margin:13px 0 7px;color:var(--muted)}.inline{display:flex;gap:6px}input,select{min-width:0;border:1px solid #d2dace;border-radius:6px;background:var(--paper);padding:10px 11px;color:var(--ink);font-size:12px}select{width:100%}.button{border:1px solid var(--green);background:var(--green);color:white;border-radius:6px;padding:11px 15px;font-size:12px;font-weight:600;white-space:nowrap}.button:hover:not(:disabled){background:#184536}.button.secondary{background:transparent;color:var(--green);border-color:#afbfad}.button.secondary:hover:not(:disabled){background:#e5eddf}.button.quiet{background:transparent;border-color:transparent;color:var(--muted);padding:8px 10px}.button.quiet:hover:not(:disabled){background:#e8ede3;color:var(--green)}.button.small{padding:9px 11px}.full{width:100%}.upload{margin-top:17px;font-size:11px;color:var(--muted)}summary{user-select:none}.upload p{font-size:11px;margin:10px 0}.file-picker{position:relative;border:1px dashed #b7c5b3;border-radius:5px;padding:10px;overflow:hidden;text-align:center;cursor:pointer}.file-picker input{position:absolute;inset:0;opacity:0;cursor:pointer;width:100%;padding:0}.upload .button{margin-top:9px}.source-info{font-size:10px;color:var(--muted);line-height:1.6;overflow-wrap:anywhere;margin:18px 0 10px}.report{margin-top:13px;display:grid;gap:7px}.report-heading{font-size:11px;font-weight:650}.report-counts{display:grid;grid-template-columns:1fr 1fr;gap:5px}.report-counts span{font-size:10px;display:flex;justify-content:space-between;background:#e6ebdf;padding:7px;border-radius:4px}.report-counts b{font-family:ui-monospace,monospace}.theorem-section{margin-top:30px;padding-top:25px;border-top:1px solid #d8dfd1}.section-heading{display:flex;justify-content:space-between;align-items:center;gap:12px}.section-heading h2{margin:0}.section-heading .eyebrow{margin-bottom:6px}.count{display:inline-grid;place-items:center;min-width:23px;height:23px;padding:0 6px;background:#e9eee3;border-radius:5px;color:var(--muted);font-size:10px}.theorem-section input{margin:15px 0 10px;width:100%;background:#f8f9f2}.theorem-list{max-height:440px;overflow:auto;margin:0 -8px}.theorem-item{display:flex;align-items:center;justify-content:space-between;gap:8px;width:100%;text-align:left;border:0;border-radius:5px;background:transparent;color:var(--ink);padding:11px 9px;font-size:12px}.theorem-item:hover{background:#e4eadc}.theorem-item.selected{background:#dee9da;box-shadow:inset 3px 0 var(--green)}.theorem-item code{overflow-wrap:anywhere}.theorem-status{font-size:8px;letter-spacing:.4px;color:#71816c}.theorem-status.verified{color:#2d7051}.theorem-status.invalid{color:var(--danger)}.sidebar-foot{font-size:10px;line-height:1.8;color:#8a9486;margin-top:35px}main{min-width:0;padding:35px 42px 16px}.workspace-heading{display:flex;align-items:center;justify-content:space-between;gap:15px;margin-bottom:16px}.workspace-heading .eyebrow{margin-bottom:10px}.workspace-heading p{color:var(--muted);margin-top:9px;font-size:12px}.activity{min-height:20px;font-size:10px;color:#7f897a;margin:0 0 15px;display:flex;align-items:center;gap:7px}.activity.busy::before{content:"";width:9px;height:9px;border:1.5px solid #c1d2ba;border-top-color:var(--green);border-radius:50%;animation:spin .8s linear infinite}@keyframes spin{to{transform:rotate(360deg)}}.notice{display:flex;justify-content:space-between;align-items:flex-start;background:#fbede4;border:1px solid #e8c5b4;border-radius:6px;color:#8a3e2c;font-size:12px;line-height:1.6;padding:11px 13px;margin-bottom:15px;overflow-wrap:anywhere}.notice code{font-size:10px;font-weight:700}.notice.info{background:#edf2e5;border-color:#cbd9bf;color:#486340}.icon-button{border:0;background:none;color:inherit;font-size:20px;line-height:1;margin-left:15px}.goal-card{background:var(--paper);border:1px solid var(--border);border-left:3px solid var(--green);border-radius:8px;padding:22px 25px}.badge{font-size:9px;border:1px solid #dbe3d4;border-radius:4px;padding:4px 7px;color:var(--green);background:#edf4e8;white-space:nowrap}.badge.neutral{background:#f3f3ed;color:var(--muted);border-color:#e0e3d9}.badge.invalid,.badge.incomplete{color:#8f4a2c;background:#fbefe4;border-color:#e8d0b8}.goal-card h2{font-family:ui-monospace,Consolas,monospace;font-size:12px;color:#64745f;margin-top:5px}.math{font-family:"Cambria Math",Cambria,Georgia,serif;line-height:1.7;overflow-wrap:anywhere;white-space:pre-wrap}.goal-expression{font-size:25px;margin:10px 0 20px;letter-spacing:.3px}.goal-card details{border-top:1px solid #edf0e7;padding-top:13px}.goal-card summary{font-size:11px;color:var(--muted)}#hypothesis-count{font-size:9px;margin-left:5px}.hypotheses{display:flex;flex-wrap:wrap;gap:7px;margin-top:13px}.hypothesis{display:flex;align-items:center;gap:9px;background:#f4f5ee;border:1px solid #e3e8db;border-radius:5px;padding:5px 10px;color:var(--ink);font-size:12px;text-align:left}.hypothesis code{font-size:9px;color:#7b8b72}.hypothesis:hover:not(:disabled){background:#e9f0e3}.muted{color:var(--muted);font-size:12px}.modebar{display:flex;gap:22px;margin-top:24px;border-bottom:1px solid var(--border)}.modebar button{border:0;background:transparent;color:var(--muted);padding:0 2px 13px;font-size:12px;border-bottom:2px solid transparent}.modebar button span{font-size:8px;letter-spacing:.9px;margin-left:5px}.modebar button[aria-selected=true]{color:var(--green);font-weight:650;border-bottom-color:var(--green)}.action-panel{padding:20px 0}.panel-intro{display:flex;align-items:center;justify-content:space-between;gap:10px}.panel-intro p{font-size:11px;color:var(--muted);margin-top:5px}.apply-form{display:flex;gap:9px;margin-top:16px}.apply-form input{flex:1;font-family:ui-monospace,Consolas,monospace;padding:13px;background:var(--paper)}.apply-form .button span{margin-left:12px;opacity:.6}.action-footer{display:flex;align-items:center;gap:12px;margin-top:10px}.action-footer .muted{font-size:10px}.action-footer #finish{margin-left:auto;padding:7px 12px;font-size:11px}.proof-grid{display:grid;grid-template-columns:1fr 1fr;gap:17px}.surface{border:1px solid var(--border);border-radius:7px;background:var(--paper);min-width:0;padding:19px 20px;min-height:250px}.heading-en{font-size:8px;font-weight:400;letter-spacing:1px;color:#8b9484;margin-left:7px}.empty-state{min-height:180px;display:flex;flex-direction:column;align-items:center;justify-content:center;text-align:center;color:#a0aa96}.empty-state>span{font-family:Georgia,serif;font-size:36px;font-weight:400;color:#b8c5af;margin-bottom:7px}.empty-state strong{font-size:12px;font-weight:500}.empty-state p{font-size:10px;margin-top:6px;color:#9aa591}.stack-row{display:flex;align-items:baseline;gap:12px;border:1px solid #e3e8db;background:#f5f7f0;border-radius:5px;margin-top:9px;padding:10px 12px}.stack-row:last-child{background:#edf4e8;border-color:#c6d8bc}.stack-row .index{font-family:ui-monospace,monospace;font-size:9px;color:#91a083}.stack-row .math{font-size:17px}.stack-caption{font-size:9px;color:#8b9980;text-align:right;margin-top:9px}#event{margin-top:17px}#event .muted{font-size:11px}.event-meta{font-size:10px;color:var(--muted);margin-bottom:13px}.detail-label{font-size:9px;letter-spacing:.6px;color:#8a957f;margin:12px 0 6px}.substitution{display:flex;gap:8px;align-items:baseline;font-size:13px;line-height:1.8}.substitution code{color:var(--green);min-width:20px;font-size:11px}.history-details{margin-top:18px;border-top:1px solid #e9eddf;padding-top:12px;color:var(--muted);font-size:10px}.history{padding:0 0 0 24px;margin:12px 0 0;max-height:180px;overflow:auto;line-height:2;font-family:ui-monospace,monospace;font-size:11px}.history li:last-child{color:var(--green);font-weight:600}.export-panel{margin-top:19px;padding:19px 0;display:flex;justify-content:space-between;align-items:center;gap:15px;border-top:1px solid var(--border)}.export-panel p{font-size:10px;color:var(--muted);margin-top:6px}.export-actions{display:flex;gap:8px;align-items:center}.export-actions input{width:140px;font-family:ui-monospace,monospace;font-size:10px}.export-actions .button{font-size:11px}.replay-navigation{display:flex;align-items:center;gap:9px;margin-top:16px}.replay-navigation input{flex:1;accent-color:var(--green);padding:0}.replay-navigation span{font-size:10px;color:var(--muted);white-space:nowrap}.proof-labels{display:flex;gap:5px;flex-wrap:wrap;margin-top:12px;max-height:100px;overflow:auto}.proof-labels button{background:#edf0e6;color:#708167;border:1px solid transparent;border-radius:3px;padding:4px 6px;font-family:ui-monospace,monospace;font-size:9px}.proof-labels button.current{background:#dcebd3;border-color:#9fb790;color:var(--green)}footer{font-size:9px;color:#919b88;padding:12px 0 5px;display:flex;justify-content:space-between;gap:20px;border-top:1px solid #e4e7dc;line-height:1.8}.sr-only{position:absolute;height:1px;width:1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap}
@media(min-width:1450px){main{padding-left:55px;padding-right:55px}.layout{grid-template-columns:300px minmax(0,1fr)}}@media(max-width:1050px){.layout{grid-template-columns:240px minmax(0,1fr)}main{padding:28px 25px}.sidebar{padding:25px 18px}.export-panel{align-items:flex-start;flex-direction:column}.proof-grid{gap:12px}.surface{padding:16px}.engine .local-tag{display:none}}@media(max-width:750px){.topbar{height:72px;padding:0 20px}.brand{font-size:21px}.engine{font-size:0}.engine .dot{width:7px;height:7px}.layout{display:block}.sidebar{border-right:0;border-bottom:1px solid var(--border);display:grid;grid-template-columns:1fr 1fr;gap:22px;padding:23px 20px}.sidebar h2{margin-bottom:13px}.theorem-section{margin:0;padding:0;border:0}.theorem-list{max-height:200px}.sidebar-foot{display:none}main{padding:26px 20px}.workspace-heading h1{font-size:30px}.workspace-heading #cancel{font-size:10px}.proof-grid{grid-template-columns:1fr}.surface{min-height:190px}.empty-state{min-height:130px}.goal-card{padding:18px}.goal-expression{font-size:22px}.modebar{gap:15px}.modebar button span{font-size:7px}.panel-intro p{max-width:260px}.action-footer{gap:5px}.export-panel{gap:15px}.export-actions{width:100%}.export-actions input{flex:1;width:0}footer{display:block}footer span{display:block}.replay-navigation{gap:3px}.replay-navigation .button{font-size:10px;padding:7px}.sidebar select,.sidebar .button{font-size:10px}}@media(prefers-reduced-motion:reduce){*{animation:none!important;transition:none!important}}