:root{color-scheme:light;--ink:#122c42;--muted:#4c6273;--blue:#17669b;--orange:#ae4516;--line:#d7e0e7;--paper:#f5f8fa}*{box-sizing:border-box}body{margin:0;background:var(--paper);color:var(--ink);font:17px/1.65 system-ui,-apple-system,'Hiragino Sans',sans-serif}a{color:var(--blue);text-underline-offset:4px}header,main,footer{max-width:1240px;margin:auto;padding:22px 34px}header{display:flex;justify-content:space-between;gap:20px;border-bottom:1px solid var(--line);font-size:14px}header nav{display:flex;gap:24px;flex-wrap:wrap}.brand{font-weight:750;letter-spacing:.17em;text-decoration:none;color:var(--ink)}h1,h2,h3,p{margin:0 0 16px}h1{font-family:Georgia,'Hiragino Mincho ProN',serif;font-size:clamp(32px,4vw,54px);line-height:1.16;font-weight:500;letter-spacing:-.025em;max-width:950px}h2{font:500 clamp(26px,3vw,35px)/1.3 Georgia,'Hiragino Mincho ProN',serif}h3{font-size:19px}p{max-width:78ch}.eyebrow{font-size:13px;text-transform:uppercase;letter-spacing:.16em;font-weight:700;color:var(--muted);margin-bottom:12px}.intro{padding:20px 0 12px}.intro p{font-size:18px;max-width:850px}.controls{display:flex;align-items:end;gap:24px;flex-wrap:wrap;padding:18px 0}.controls label{display:grid;gap:5px;font-size:14px;font-weight:650;flex:1;min-width:170px}select,button{font:inherit;color:var(--ink);background:white;border:1px solid #9aafbf;padding:10px 12px;border-radius:5px}input[type=range]{width:100%;height:26px;accent-color:var(--blue)}button,a,input,select{touch-action:manipulation}button{cursor:pointer}button:hover{background:#e8f0f6}:focus-visible{outline:3px solid #ae4516;outline-offset:4px}.plots{display:grid;grid-template-columns:1fr 1fr;background:white;border:1px solid var(--line);border-radius:8px;overflow:hidden}.plot{padding:21px;min-width:0}.plot+.plot{border-left:1px solid var(--line)}.plot h3{display:flex;justify-content:space-between;flex-wrap:wrap;gap:8px;margin-bottom:4px}.plot small{font-size:14px;color:var(--muted)}.chart{display:block;width:100%;height:290px}.number{font-variant-numeric:tabular-nums;color:var(--blue)}.leb .number{color:var(--orange)}.plot p{font-size:15px;margin:8px 0 0}.result{font-size:16px!important}.band-detail{background:#fff3e9;border-left:3px solid var(--orange);padding:14px 18px;margin:18px 0;font-size:16px}.note{font-size:14px;color:var(--muted)}section.chapter{padding:42px 0;border-top:1px solid var(--line);margin-top:30px}.columns{display:grid;grid-template-columns:1fr 1fr;gap:36px}.equation{font-family:Georgia,'Hiragino Mincho ProN',serif;font-size:21px;background:white;padding:16px 20px;border-left:3px solid var(--blue);overflow-wrap:anywhere}.theorem{padding:22px;background:#e9f1f7;border-radius:6px}.proof{display:grid;grid-template-columns:1fr 1fr;gap:24px}.proof article{border-top:3px solid var(--blue);padding-top:16px}.proof article+article{border-color:var(--orange)}.proof strong{display:block;font-size:25px;margin:10px 0}details{border-top:1px solid var(--line);padding:16px 0}summary{cursor:pointer;font-weight:650}details p{margin-top:12px}footer{border-top:1px solid var(--line);font-size:14px;color:var(--muted)}.download{display:inline-block;padding:10px 16px;border:1px solid var(--blue);border-radius:5px;margin:0 12px 12px 0;background:white}svg text{font:13px system-ui,sans-serif;fill:var(--muted)}.skip{position:absolute;left:10px;top:-100px}.skip:focus{top:10px;background:white;padding:10px}#sequence-chart{height:280px;background:white;border:1px solid var(--line);border-radius:6px}noscript{display:block;padding:20px;background:#fff3e9}@media(max-width:720px){header,main,footer{padding:18px}.plots,.columns,.proof{grid-template-columns:1fr}.plot+.plot{border-left:0;border-top:1px solid var(--line)}.plot{padding:15px}.chart{height:270px}.controls{gap:14px}.controls label{min-width:135px}.intro{padding-top:12px}header nav{gap:12px}section.chapter{padding-top:30px}}@media(prefers-reduced-motion:no-preference){button{transition:background .15s}}
mjx-container{max-width:100%}.equation{overflow-x:auto}.math-result{line-height:2}.math-result mjx-container{display:block!important;margin:6px 0!important;font-size:110%!important}.proof strong{font-size:21px}.proof strong mjx-container{max-width:100%}.band-detail{line-height:1.9}
.controls label{min-width:0}select{width:100%;min-width:0;max-width:100%}.controls label:first-child{flex:1.5}@media(max-width:720px){.controls label:first-child{flex-basis:100%}.controls label{flex-basis:140px}.equation{font-size:18px}.proof strong{font-size:19px}}