:root{color-scheme:light;--paper:#fcfcf9;--ink:#202923;--muted:#677168;--line:#dce1d9;--accent:#2d6049;--soft:#edf2eb;--sidebar:#f3f5ef}
*{box-sizing:border-box}
html{scroll-behavior:smooth}
body{margin:0;background:var(--paper);color:var(--ink);font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;font-size:15px;line-height:1.55}
button,a,input{touch-action:manipulation}
button{font:inherit;cursor:pointer;background:white;border:1px solid var(--line);border-radius:6px;padding:8px 12px;color:var(--ink)}
button:hover{border-color:var(--accent);background:var(--soft)}
button:disabled{opacity:.4;cursor:default}
a{color:inherit}
button:focus-visible,a:focus-visible,input:focus-visible,[tabindex]:focus-visible{outline:3px solid #77a58a;outline-offset:3px}
.layout{display:grid;grid-template-columns:265px minmax(0,1fr);min-height:100vh}
.sidebar{position:sticky;top:0;height:100vh;overflow:auto;background:var(--sidebar);border-right:1px solid var(--line);padding:30px 18px;display:flex;flex-direction:column}
.brand{display:flex;align-items:center;gap:11px;padding:0 8px;text-decoration:none;font-size:17px;font-weight:650;letter-spacing:-.35px}
.brand-mark{display:grid;place-items:center;width:32px;height:35px;border:1px solid #aec1b1;border-radius:4px;font:italic 26px Georgia,serif;color:var(--accent)}
.sidebar-caption{margin:37px 12px 13px;font-size:10px;letter-spacing:1.5px;font-weight:700;color:var(--muted);display:flex;justify-content:space-between}
.sidebar-caption span{letter-spacing:0}
.problem-nav{display:flex;flex-direction:column;gap:5px}
.problem-link{display:block;text-decoration:none;padding:12px;border-radius:6px;border:1px solid transparent}
.problem-link:hover{background:#e9eee5}
.problem-link[aria-current="page"]{background:white;border-color:var(--line);box-shadow:0 1px 2px #20302005}
.problem-link strong{display:block;font-size:14px;font-weight:600;line-height:1.35}
.problem-link small{display:block;margin-top:5px;font-size:11px;color:var(--muted)}
.sidebar-footer{margin-top:auto;padding:32px 12px 0;font-size:11px;color:var(--muted)}
main{width:100%;max-width:1140px;margin:0 auto;padding:45px clamp(24px,4vw,64px) 28px;min-width:0}
.eyebrow{font-size:10px;font-weight:700;letter-spacing:1.8px;color:var(--muted)}
h1{font-family:Georgia,"Times New Roman",serif;font-size:clamp(29px,3vw,40px);font-weight:500;line-height:1.18;letter-spacing:-.8px;margin:12px 0}
.page-description{font-size:13px;color:var(--muted);margin:12px 0 28px;max-width:780px}
.review-flag{padding:14px 18px;margin:0 0 24px;border:1px solid #d6ba77;border-radius:6px;background:#fff8e6;color:#634913;font-size:13px}
.review-flag[hidden]{display:none}
.review-flag p{margin:5px 0}
.review-flag small{font-size:11px;color:#806423}
.problem-link .review-badge{color:#806423;font-weight:600}
.checkpoint-bar{display:flex;align-items:center;justify-content:space-between;gap:15px;padding:15px 0 22px;border-top:1px solid var(--line)}
#checkpoint-nav{display:flex;flex-wrap:wrap;gap:7px}
.checkpoint-link{display:block;text-decoration:none;border:1px solid var(--line);background:white;border-radius:5px;min-width:44px;text-align:center;padding:7px 10px;font-size:13px;font-weight:600}
.checkpoint-link:hover{border-color:var(--accent)}
.checkpoint-link[aria-current="step"]{background:var(--accent);border-color:var(--accent);color:white}
.source-switch{display:flex;gap:7px;align-items:center;font-size:12px;color:var(--muted);white-space:nowrap}
input[type="checkbox"]{accent-color:var(--accent);width:15px;height:15px}
.statement-card,.context-card{border:1px solid var(--line);border-radius:8px;background:white;overflow:hidden}
.statement-header{display:flex;align-items:center;justify-content:space-between;gap:20px;padding:23px 27px 20px;border-bottom:1px solid var(--line)}
h2{font-family:Georgia,"Times New Roman",serif;font-size:24px;font-weight:500;letter-spacing:-.3px;line-height:1.3;margin:7px 0 0}
.statement-actions{display:flex;flex-wrap:wrap;gap:8px}
.statement-actions button{font-size:12px}
.statement-body{padding:28px;font-family:Georgia,"Times New Roman",serif;font-size:17px;line-height:1.8;overflow-wrap:anywhere}
.source-text{white-space:pre-wrap;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:13px;line-height:1.85;tab-size:2}
.full-text{white-space:pre-wrap;margin:0}
.statement-body p{margin:0 0 18px}
.statement-body p:last-child{margin-bottom:0}
.katex-display{overflow-x:auto;overflow-y:hidden;padding:4px 0;max-width:100%}
.katex{font-size:1.04em}
.context-card{margin-top:20px}
.context-heading{padding:18px 27px;border-bottom:1px solid var(--line);font-size:13px;font-weight:600;background:#fafbf8}
.context-body{padding:23px 27px;font-family:Georgia,"Times New Roman",serif;font-size:16px;line-height:1.8;overflow-wrap:anywhere}
.context-body .source-text{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:13px}
.input-label{display:inline-block;padding:2px 8px;margin:0 0 14px;border:1px solid var(--line);border-radius:4px;color:var(--accent);font:600 11px -apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif}
.input-entry+.input-entry{border-top:1px solid var(--line);margin-top:25px;padding-top:23px}
.input-entry p{margin:0 0 14px}
.reader-footer{display:flex;align-items:center;justify-content:space-between;gap:12px;margin-top:25px}
.reader-footer button{font-size:12px;background:transparent}
#position{font-size:11px;color:var(--muted)}
.status{min-height:22px;font-size:12px;color:var(--accent);text-align:center}
.skip-link{position:fixed;top:8px;left:8px;z-index:5;transform:translateY(-150%);padding:10px 15px;background:white;border:1px solid var(--accent)}
.skip-link:focus{transform:translateY(0)}
@media(min-width:1400px){main{max-width:1160px;padding-top:55px}}
@media(max-width:900px){.layout{grid-template-columns:215px minmax(0,1fr)}.sidebar{padding:25px 12px}.brand{font-size:14px}.brand-mark{width:27px}.statement-header{align-items:flex-start;flex-direction:column;gap:13px}main{padding:32px 25px}}
@media(max-width:640px){.layout{display:block}.sidebar{position:static;width:100%;height:auto;padding:18px 18px 13px;border-right:0;border-bottom:1px solid var(--line)}.brand{font-size:16px;padding:0}.sidebar-caption{margin:20px 0 10px}.problem-nav{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:5px}.problem-link{padding:9px}.problem-link strong{font-size:12px}.problem-link small{font-size:10px;margin-top:3px}.sidebar-footer{display:none}main{padding:25px 16px}.checkpoint-bar{align-items:flex-start;flex-direction:column;gap:14px}.checkpoint-link{min-width:39px;padding:6px 9px}.statement-header{padding:19px 20px}.statement-body{padding:21px 20px;font-size:16px}.context-heading{padding:16px 20px}.context-body{padding:20px}h1{font-size:30px}.page-description{margin-bottom:20px}.statement-actions{gap:6px}.statement-actions button{padding:7px 9px}}
@media print{.sidebar,.checkpoint-bar,.statement-actions,.reader-footer,.status,.skip-link{display:none}.layout{display:block}main{max-width:none;padding:0}.statement-card,.context-card{border:0}.statement-body,.context-body{padding:10px 0}.statement-header,.context-heading{padding-left:0}.katex-display{overflow:visible}}