:root{--paper:#f7f5ef;--white:#fffefa;--ink:#17332f;--muted:#52675d;--green:#146c58;--mint:#dcedde;--line:#cdd7cd;--orange:#a65e25;--red:#9f352e;--serif:Georgia,'Times New Roman',serif;--sans:system-ui,-apple-system,BlinkMacSystemFont,'Segoe UI',sans-serif}*{box-sizing:border-box}[hidden]{display:none!important}body{margin:0;color:var(--ink);background:var(--paper);font:15px/1.6 var(--sans)}a{color:var(--green);text-underline-offset:4px}a:hover{text-decoration-thickness:2px}button,input,select,textarea{font:inherit}button,.file-button{border:1px solid var(--green);border-radius:5px;padding:9px 14px;color:var(--green);background:var(--white);cursor:pointer;font-weight:620;min-height:44px}button:hover,.file-button:hover{background:var(--mint)}button:disabled{opacity:.55;cursor:default}.primary{background:var(--green);color:white}.primary:hover{background:#0e5344}a:focus-visible,button:focus-visible,input:focus-visible,select:focus-visible,textarea:focus-visible,summary:focus-visible{outline:3px solid var(--orange);outline-offset:3px}input,select,textarea{border:1px solid #8caa98;border-radius:4px;background:var(--white);color:var(--ink);max-width:100%;padding:9px}select,textarea{width:100%}select{min-height:44px}textarea{font:12px/1.6 ui-monospace,monospace;resize:vertical}label{display:block;font-weight:620;font-size:13px}label select,label input{display:block;margin-top:6px}header,main,footer{width:min(1240px,calc(100% - 64px));margin:auto}header{display:flex;align-items:center;justify-content:space-between;gap:24px;min-height:86px;border-bottom:1px solid var(--line)}.brand{letter-spacing:1px;font-weight:800;text-decoration:none}nav{display:flex;gap:20px;flex-wrap:wrap;font-size:12px}h1,h2{font-family:var(--serif);font-weight:400;line-height:1.12}h1{font-size:clamp(42px,5.5vw,72px);letter-spacing:-1.5px;margin:14px 0 22px}h2{font-size:34px;margin:10px 0 16px}h3{font-size:17px;line-height:1.4}p{margin:12px 0}.eyebrow{font-size:11px;letter-spacing:1.5px;font-weight:750;color:var(--green)}.hero{display:grid;grid-template-columns:1.25fr .8fr;align-items:center;gap:70px;padding:55px 0}.lede{font-size:20px;color:var(--muted);max-width:650px}.hero>div>p:last-child{max-width:620px;color:var(--muted)}.principle{padding:30px;background:var(--ink);color:var(--paper);border-radius:12px}.principle>span{font-size:10px;letter-spacing:1.2px;color:#c0dac8}.principle ol{padding-left:23px;line-height:1.3}.principle li{padding:12px 0 15px 10px}.principle small{display:block;color:#c0dac8;margin-top:7px;line-height:1.5}.principle p{font-size:13px;border-top:1px solid #648473;padding-top:17px}.workbench{border:1px solid var(--line);background:var(--white);border-radius:10px;padding:30px}.section-head{display:flex;align-items:center;justify-content:space-between;gap:20px}.badge{font-size:11px;padding:5px 9px;background:var(--mint);border-radius:4px;white-space:normal}.setup{display:grid;grid-template-columns:1.3fr 1fr auto;gap:18px;align-items:end}.button-row{display:flex;gap:10px;align-items:center;flex-wrap:wrap}.controls-row,.proof-grid{display:grid;grid-template-columns:1fr 1fr;gap:25px;margin:22px 0}fieldset{border:1px solid var(--line);border-radius:6px;padding:15px;margin:0;min-width:0}legend{font-size:14px;font-weight:700;padding:0 6px}.muted{font-size:12px;color:var(--muted)}fieldset p:first-of-type{margin-top:0}#resource-controls{display:flex;flex-wrap:wrap;gap:14px;margin-bottom:14px}#resource-controls input{width:90px}.note{border-left:3px solid var(--green);background:#edf3ec;padding:12px 15px;margin:16px 0;font-size:13px}.status{padding:13px 16px;border:1px solid var(--line);background:var(--paper);border-radius:5px;margin:22px 0 8px;font-weight:650;overflow-wrap:anywhere}.status.error{color:var(--red);border-color:var(--red);background:#fff0eb}.status.partial{border-color:var(--orange)}details{margin:18px 0;border-top:1px solid var(--line);padding-top:14px}summary{cursor:pointer;color:var(--green);font-weight:650;min-height:32px}.table-scroll,.svg-scroll{max-width:100%;overflow:auto}.svg-scroll svg{display:block;width:100%;height:auto;min-width:540px}.visual-frame{padding:15px;background:var(--paper);border-radius:6px;margin:18px 0}.visual-frame h3{margin:0 0 8px}table{border-collapse:collapse;width:100%;font-size:12px;text-align:left}caption{text-align:left;font-weight:700;margin:8px 0}th,td{padding:9px 12px;border-bottom:1px solid var(--line);vertical-align:top;overflow-wrap:anywhere}th{background:#edf3ec}td small{display:block}pre{overflow:auto;font:12px/1.6 ui-monospace,monospace;background:var(--paper);padding:14px;border-radius:5px;max-width:100%}.metrics{display:grid;grid-template-columns:repeat(4,1fr);gap:12px;margin:18px 0}.metric{border:1px solid var(--line);padding:15px;border-radius:6px}.metric strong{display:block;font:30px/1.2 var(--serif)}.metric span{font-size:12px;color:var(--muted)}.tabs{display:flex;gap:7px;border-bottom:1px solid var(--line);padding:5px 0 12px;margin-top:22px}.tabs button{border-color:var(--line);font-size:13px}.tabs button[aria-selected=true]{background:var(--ink);color:white;border-color:var(--ink)}[role=tabpanel]{padding:16px 0}.scope-cards{display:grid;grid-template-columns:repeat(auto-fit,minmax(205px,1fr));gap:12px;margin:20px 0}.scope-cards button{text-align:left;font-size:13px;border-color:var(--line);font-weight:450}.scope-cards strong,.scope-cards small{display:block}.scope-cards button.selected{outline:2px solid var(--green);background:#edf3ec}.tree{font:14px/1.6 var(--sans);padding-left:20px}.tree li{margin:5px 0}.tree-kind{font-size:11px;text-transform:uppercase;letter-spacing:.5px;color:var(--muted)}.checks{display:flex;gap:12px 25px;flex-wrap:wrap;margin:10px 0}.checks label{display:flex;gap:8px;align-items:center}.checks input{margin:0;width:20px;height:20px}.save-panel{margin-top:25px;padding-top:18px;border-top:1px solid var(--line)}.file-button{display:inline-flex;align-items:center;position:relative;font-size:15px}.file-button input{position:absolute;opacity:0;width:1px;height:1px}.file-button:focus-within{outline:3px solid var(--orange);outline-offset:3px}#save-status{font-size:13px;overflow-wrap:anywhere}.method,.related{padding:30px 0;border-bottom:1px solid var(--line)}.method p,.related p{color:var(--muted)}dt{font-weight:750}dd{margin:3px 0 16px}.skip{position:absolute;top:-80px;left:20px;background:var(--ink);color:white;z-index:10;padding:12px}.skip:focus{top:12px}footer{padding:28px 0;display:flex;gap:25px;flex-wrap:wrap;justify-content:space-between;font-size:11px;color:var(--muted)}
@media(max-width:900px){.hero{gap:30px}.setup{grid-template-columns:1fr 1fr}.setup .button-row{grid-column:1/-1}.principle{padding:22px}.metrics{grid-template-columns:repeat(2,1fr)}}@media(max-width:640px){header,main,footer{width:calc(100% - 28px)}header{display:block;padding:17px 0}nav{margin-top:12px;gap:9px 16px}.hero{grid-template-columns:1fr;padding:30px 0;gap:20px}h1{font-size:45px}.lede{font-size:17px}.principle{padding:20px}.workbench{padding:16px}.section-head{align-items:start;gap:10px}h2{font-size:28px}.setup,.controls-row,.proof-grid{grid-template-columns:1fr}.tabs{gap:5px}.tabs button{padding:8px;font-size:12px}.metrics{gap:8px}.metric{padding:12px}.metric strong{font-size:25px}.scope-cards{grid-template-columns:1fr}.svg-scroll svg{min-width:650px}th,td{padding:7px}.badge{max-width:135px}.button-row button{flex-grow:1}.method,.related{padding:25px 0}}

.svg-scroll:focus-visible{outline:3px solid var(--orange);outline-offset:3px}#marking-table th:first-child{min-width:145px}#marking-table td:nth-child(2),#marking-table th:nth-child(2){white-space:nowrap;min-width:90px}#marking-table td:last-child,#marking-table th:last-child{min-width:55px}