@font-face{font-family:Instrument Serif;src:url('assets/fonts/instrument-serif.ttf') format('truetype');font-weight:400;font-style:normal;font-display:swap}
@font-face{font-family:Instrument Serif;src:url('assets/fonts/instrument-serif-italic.ttf') format('truetype');font-weight:400;font-style:italic;font-display:swap}
@font-face{font-family:Public Sans;src:url('assets/fonts/public-sans.ttf') format('truetype');font-weight:400;font-style:normal;font-display:swap}
@font-face{font-family:Public Sans;src:url('assets/fonts/public-sans-semibold.ttf') format('truetype');font-weight:600;font-style:normal;font-display:swap}
:root{--paper:#F5F2EB;--ink:#141413;--accent:#C84B31;--rule:rgba(20,20,19,.24);--serif:'Instrument Serif',Georgia,serif;--sans:'Public Sans',Arial,sans-serif}
*{box-sizing:border-box}html{scroll-padding-top:28px}body{margin:0;background:var(--paper);color:var(--ink);font:16px/1.75 var(--sans);-webkit-font-smoothing:antialiased}a{color:inherit;text-decoration-thickness:1px;text-underline-offset:5px}a:hover{text-decoration-thickness:2px}a,button,input,summary{-webkit-tap-highlight-color:transparent}button,input{font:inherit}button{color:inherit}a:focus-visible,button:focus-visible,summary:focus-visible{outline:2px solid var(--accent);outline-offset:6px}::selection{background:var(--ink);color:var(--paper)}h1,h2,h3,p,figure{margin:0}h1,h2,h3{font-family:var(--serif);font-weight:400;line-height:1.05}p+p{margin-top:20px}h1{letter-spacing:-.025em}cite{font-style:italic}img{display:block;max-width:100%;height:auto}.shell{max-width:1264px;width:calc(100% - 112px);margin-inline:auto}.small,.figure-note{font-size:12px;line-height:1.7}.skip{position:absolute;top:-100px;left:20px;background:var(--ink);color:var(--paper);padding:10px 20px;z-index:5}.skip:focus{top:10px}.site-header{display:flex;justify-content:space-between;align-items:center;gap:25px;padding-block:35px}.identity{font-size:14px;font-weight:600;text-decoration:none;white-space:nowrap}.site-header nav{display:flex;gap:30px;font-size:13px}.site-header nav a{text-decoration:none;padding:7px 0}.site-header nav a:hover,.site-header nav [aria-current]{text-decoration:underline}.external-mark{font:14px var(--sans)}.back-link{display:inline-block;font-size:13px;margin-top:27px;text-decoration:none}.quiet-link{font-size:13px;display:inline-block;margin-top:27px}
/* The notebook and introduction share an opening, rather than a separate title screen. */
.opening{display:grid;grid-template-columns:minmax(0,1.23fr) minmax(0,1fr);column-gap:10.5%;padding-top:53px;align-items:start}.introduction{grid-column:2;grid-row:1;padding-top:21px;max-width:420px}.introduction h1{font-size:clamp(60px,5.7vw,82px);line-height:.98}.focus{font-size:13px;margin-top:24px}.intro-copy{font-size:16px;line-height:1.8;margin-top:35px;max-width:365px}.opening-work{grid-column:1;grid-row:1}.opening-work h2{font:14px var(--sans);margin-bottom:23px}.paper-scan{display:block;position:relative;overflow:hidden;aspect-ratio:1008/1178;isolation:isolate}.paper-scan img{max-width:none;width:105.16%;margin-left:-2.58%;margin-top:-15.98%;filter:grayscale(1);mix-blend-mode:multiply}.notebook figcaption{display:flex;justify-content:space-between;gap:22px;align-items:start;font-size:11px;line-height:1.65;margin-top:17px}.notebook figcaption a{white-space:nowrap}.notebook-context{max-width:460px;margin-top:28px;font-size:14px;line-height:1.75}.notebook-context a{display:inline-block;margin-top:14px;font-size:13px}.fx-feature{margin-top:148px}.fx-opening{display:grid;grid-template-columns:1fr 2.35fr;column-gap:9%;align-items:start}.fx-context{font-size:12px;line-height:1.8;border-top:2px solid var(--accent);padding-top:18px;max-width:220px}.fx-context a{display:inline-block;margin-top:20px}.fx-question h2{font-size:clamp(44px,4.8vw,68px);line-height:1.06;letter-spacing:-.015em}.fx-question>p{max-width:560px;font-size:17px;margin-top:29px}.fx-evidence{display:grid;grid-template-columns:1.55fr 1fr;gap:12%;margin:70px 0 0 9%;align-items:start}.displacement-chart{min-width:0}.displacement-chart>figcaption{font-size:13px;margin-bottom:28px}.measurement-labels{display:flex;justify-content:space-between;gap:20px;font-size:12px;line-height:1.7}.measurement-labels>span:last-child{text-align:right}.measurement-labels strong{font:42px var(--serif);display:inline-block;margin-top:7px}.measurement-labels>span:last-child strong{color:var(--accent)}.measurement-bar{display:flex;width:100%;height:16px;margin-top:17px}.measurement-bar .known{width:96.26543%;background:var(--ink)}.measurement-bar .subsequent{width:3.73457%;background:var(--accent);border-left:2px solid var(--paper)}.measurement-scale{display:flex;justify-content:space-between;gap:18px;font-size:10px;margin-top:12px}.measurement-scale b{font-weight:400}.displacement-chart .figure-note{margin-top:23px;font-size:11px;max-width:490px}.research-aside{padding-top:2px}.research-aside h3{font-size:30px;line-height:1.18}.research-aside p{font-size:14px;margin-top:17px}.research-aside a{display:inline-block;font-size:13px;margin-top:20px}.writing-section{display:grid;grid-template-columns:1fr 2fr;gap:9%;margin-top:140px;padding-top:36px;border-top:1px solid var(--ink)}.writing-intro h2{font-size:42px}.writing-intro p{font-size:13px;margin-top:20px;max-width:250px}.writing-intro>a{display:inline-block;font-size:12px;margin-top:20px}.essay-index{max-width:660px}.essay-index article+article{margin-top:35px}.essay-index time{font-size:11px}.essay-index h3{font-size:33px;line-height:1.16;margin-top:8px}.essay-index h3 a{text-decoration:none}.essay-index h3 a:hover{text-decoration:underline}.essay-index p{font-size:13px;max-width:500px;margin-top:12px}.code-index{margin:75px 0 0 34%;max-width:680px;padding-top:22px;border-top:1px solid var(--rule)}.code-index h2{font:13px var(--sans)}.code-index dl{margin:22px 0 0}.code-index dl>div{display:grid;grid-template-columns:145px 1fr;gap:25px;font-size:12px}.code-index dl>div+div{margin-top:19px}.code-index dt{font-weight:600}.code-index dd{margin:0}.personal{display:grid;grid-template-columns:1fr 1fr;gap:15%;margin:142px 0 128px;padding-inline:9%;align-items:start}.personal-heading h2{font-size:60px;line-height:1.03}.personal-detail{font-family:var(--serif);font-size:28px;line-height:1.35;max-width:280px;margin-top:30px}.personal-copy{font-size:15px;max-width:450px}.site-footer{border-top:1px solid var(--ink);padding:35px 0 44px;display:grid;grid-template-columns:1.4fr 1fr 1fr;gap:45px;font-size:12px}.site-footer h2{font-size:30px;margin-bottom:14px}.site-footer p{margin-bottom:13px}.footer-elsewhere{display:flex;flex-direction:column;align-items:start;gap:13px;padding-top:3px}.footer-name{text-align:right;font-size:11px;padding-top:4px}
/* Mathematics is a working explanation: examples, an interactive proof step, then its source. */
.math-heading{margin:52px 0 70px;display:flex;align-items:end;gap:90px}.math-heading h1{font-size:clamp(57px,6vw,85px)}.math-heading>p{font-size:15px;max-width:280px;padding-bottom:7px}.math-story{display:grid;grid-template-columns:1.35fr 1fr;gap:14%;max-width:1060px;margin-left:auto}.math-story h2{font-size:37px;margin-bottom:24px}.math-story p{font-size:15px}.totient-example{padding-top:22px}.totient-example h3{font:14px var(--sans)}.integer-example{display:grid;grid-template-columns:repeat(6,1fr);gap:12px;margin:25px 0;font-variant-numeric:tabular-nums}.integer-example span{display:flex;align-items:center;justify-content:center;aspect-ratio:1;font-size:16px;border-bottom:1px solid var(--rule)}.integer-example .coprime{background:var(--ink);color:var(--paper);border:0}.totient-example p{font-size:12px}.totient-example .figure-note{font-size:11px}.set-theory{margin-top:124px;padding-top:43px;border-top:1px solid var(--ink)}.set-intro{max-width:650px}.set-intro h2{font-size:50px;margin-bottom:25px}.set-intro>p{max-width:560px}.set-intro .small{margin-top:13px}.proof-workbench{display:grid;grid-template-columns:1fr 1fr;gap:11%;margin-top:62px}.proof-workbench h3{font-size:31px;margin-bottom:23px}.proof-workbench p{font-size:15px}.proof-workbench p.small{font-size:12px}.proof-example{padding-right:5%}.math-widget{margin:31px 0 24px}.math-widget fieldset{margin:0;padding:0;border:0}.math-widget legend{font-size:12px;margin-bottom:14px}.number-options{display:flex;flex-wrap:wrap;gap:6px}.number-option{position:relative;cursor:pointer}.number-option input{position:absolute;inset:0;opacity:0;margin:0;width:100%;height:100%;cursor:pointer}.number-option span{display:flex;align-items:center;justify-content:center;width:44px;height:44px;border:1px solid var(--rule);font-size:14px}.number-option input:checked+span{color:var(--paper);background:var(--ink);border-color:var(--ink)}.number-option input:focus-visible+span{outline:2px solid var(--accent);outline-offset:3px}.math-output{margin-top:25px}.math-output>p:first-child{font-size:13px}.math-output .ternary{font-family:var(--serif);font-size:42px;line-height:1.25;margin:12px 0;color:var(--accent);white-space:nowrap}.ternary sub{font-size:20px}.math-output output{font-variant-numeric:tabular-nums}.math-output p.small{margin-top:12px}.reset{background:none;border:0;border-bottom:1px solid var(--ink);padding:6px 0;margin-top:15px;font-size:12px;cursor:pointer}.proof-equation{font-family:var(--serif);font-size:29px;line-height:1.6;margin:25px 0;overflow-wrap:anywhere}.proof-equation sub{font-size:14px}.proof-detail{margin:25px 0}.proof-detail summary{cursor:pointer;font-size:13px;text-decoration:underline;text-underline-offset:4px}.proof-detail>div{padding-top:20px}.source-spread{display:grid;grid-template-columns:.8fr 1.5fr;gap:13%;margin:120px 0 95px;align-items:start}.source-caption{padding-top:40px}.source-caption h2{font-size:40px;margin-bottom:25px}.source-caption p{font-size:14px}.source-caption>a{display:inline-block;margin-top:25px;font-size:13px}.full-notebook{max-width:650px}.math-closing{max-width:580px;margin:0 0 95px 34%}.math-closing h2{font-size:30px}.math-closing p{font-size:15px;margin-top:20px}.math-closing>a{display:inline-block;font-size:13px;margin-top:22px}
/* Research reads as a report, with a small index and a continuous text column. */
.research-heading{margin:50px 0 100px}.research-date{font-size:12px;margin-bottom:24px}.research-heading h1{font-size:clamp(58px,6vw,86px);line-height:1.04;max-width:1000px}.research-deck{display:flex;gap:65px;align-items:end;margin-top:32px;padding-left:27%}.research-deck p{max-width:500px;font-size:17px}.research-deck a{font-size:12px;max-width:180px;flex-shrink:0}.research-layout{display:grid;grid-template-columns:220px minmax(0,760px);gap:10%;align-items:start}.article-index{position:sticky;top:32px;display:flex;flex-direction:column;align-items:start;gap:13px;font-size:12px}.article-index p{font-weight:600;margin-bottom:7px}.article-index a{text-decoration:none}.article-index a:hover{text-decoration:underline}.research-body{min-width:0}.research-body section{margin-bottom:76px}.research-body h2{font-size:39px;line-height:1.12;margin-bottom:26px}.research-body p{font-size:16px;line-height:1.85}.clock-explainer{margin-top:40px;display:grid;grid-template-columns:repeat(3,1fr);gap:20px}.clock-explainer>div{border-top:2px solid var(--ink);padding-top:14px}.clock-explainer>div:nth-child(2){border-color:var(--accent)}.clock-explainer span{font-size:12px;font-weight:600}.clock-explainer p{font-size:12px;margin-top:10px;line-height:1.7}.research-body .displacement-chart{margin:40px 0}.research-body .figure-note{font-size:11px;line-height:1.7;max-width:100%}.forecast-table-wrap{margin-top:30px}table{width:100%;border-collapse:collapse;text-align:left;font-size:13px}caption{text-align:left;font-size:12px;margin-bottom:15px}th,td{vertical-align:top;border-bottom:1px solid var(--rule);padding:16px 16px 16px 0}thead th{font-size:11px;font-weight:400;border-bottom:1px solid var(--ink);padding-top:0}thead th:last-child,td{text-align:right;padding-right:0}tbody th{font-weight:400}tbody th span{font-size:11px}td{white-space:nowrap;font-variant-numeric:tabular-nums}.forecast-table-wrap+.figure-note{margin-top:14px}.research-sources{border-top:1px solid var(--ink);padding-top:32px}.source-links{display:flex;flex-wrap:wrap;gap:18px 35px;font-size:13px;margin:25px 0}.research-body p.small{font-size:12px;line-height:1.75}.research-reading{margin:0 0 100px 27%;font-size:14px}.research-reading>a{display:inline-block;margin-top:12px}
@media(min-width:1600px){.opening{padding-top:70px;column-gap:13%}.introduction{padding-top:50px}.intro-copy{margin-top:43px}}
@media(max-width:1100px){.shell{width:calc(100% - 72px)}.opening{gap:8%;grid-template-columns:1.15fr 1fr}.introduction h1{font-size:63px}.introduction{padding-top:10px}.intro-copy{font-size:14px;margin-top:27px}.notebook-context{font-size:13px}.notebook figcaption{display:block}.notebook figcaption>span{display:block}.notebook figcaption a{display:inline-block;margin-top:8px}.fx-feature{margin-top:110px}.fx-opening{gap:7%;grid-template-columns:1fr 2.6fr}.fx-question h2{font-size:50px}.fx-evidence{margin-left:0;gap:8%}.writing-section{margin-top:105px}.personal{gap:10%;padding-inline:0}.personal-heading h2{font-size:52px}.research-layout{grid-template-columns:170px minmax(0,1fr);gap:7%}.research-deck{padding-left:23%;gap:40px}.math-heading{gap:40px}.math-story{gap:8%}.proof-workbench{gap:7%}.proof-example{padding:0}.math-output .ternary{font-size:35px}.source-spread{gap:8%}.research-body h2{font-size:34px}.research-body p{font-size:15px}}
@media(max-width:760px){.shell{width:calc(100% - 40px)}.site-header{padding-block:22px;flex-wrap:wrap;gap:13px}.site-header .identity{font-size:13px}.site-header nav{font-size:12px;gap:22px;flex-wrap:wrap}.opening{display:flex;flex-direction:column;padding-top:30px;gap:52px}.introduction{max-width:560px;padding:0}.introduction h1{font-size:66px}.focus{margin-top:18px}.intro-copy{max-width:490px;font-size:15px;margin-top:25px}.quiet-link{margin-top:20px}.opening-work{width:100%;max-width:560px}.opening-work h2{font-size:13px;margin-bottom:17px}.notebook figcaption{display:flex;font-size:10px;gap:15px}.notebook figcaption a{margin-top:0}.notebook-context{font-size:14px;margin-top:22px;max-width:100%}.fx-feature{margin-top:85px}.fx-opening{display:flex;flex-direction:column;gap:30px}.fx-context{max-width:none;width:100%;display:flex;justify-content:space-between;gap:20px;font-size:11px}.fx-context a{margin-top:0;white-space:nowrap}.fx-question h2{font-size:48px}.fx-question>p{font-size:16px;margin-top:24px}.fx-evidence{display:block;margin-top:35px}.displacement-chart{max-width:560px}.displacement-chart>figcaption{margin-bottom:21px}.measurement-labels strong{font-size:36px}.measurement-labels{font-size:11px}.research-aside{margin-top:42px;max-width:450px}.research-aside h3{font-size:30px}.research-aside p{font-size:14px}.writing-section{display:block;margin-top:85px;padding-top:28px}.writing-intro h2{font-size:38px}.writing-intro p{max-width:370px;margin-top:15px}.writing-intro>a{margin-top:14px}.essay-index{margin-top:35px}.essay-index h3{font-size:30px}.essay-index p{font-size:13px}.essay-index article+article{margin-top:31px}.code-index{margin:42px 0 0;padding-top:22px}.code-index dl>div{grid-template-columns:115px 1fr;gap:15px}.personal{display:block;margin:85px 0 70px}.personal-heading h2{font-size:48px}.personal-heading h2 br{display:none}.personal-detail{font-size:26px;max-width:350px;margin-top:24px}.personal-copy{margin-top:26px;font-size:14px;max-width:560px}.site-footer{grid-template-columns:1.5fr 1fr;gap:35px 22px;padding-block:28px;font-size:11px}.site-footer h2{font-size:28px}.footer-name{grid-column:1/-1;text-align:left;line-height:1.6;margin-bottom:0!important}.footer-name br{display:none}.footer-name br:after{content:' · '}.footer-elsewhere{gap:12px}.back-link{margin-top:20px}.math-heading{display:block;margin:35px 0 45px}.math-heading h1{font-size:59px}.math-heading>p{margin-top:25px;max-width:350px;font-size:14px}.math-story{display:block}.math-story h2{font-size:34px}.math-story p{font-size:14px}.totient-example{max-width:390px;margin-top:32px;padding-top:20px}.totient-example p{font-size:12px}.integer-example{gap:10px;margin-block:20px}.set-theory{margin-top:70px;padding-top:30px}.set-intro h2{font-size:42px}.set-intro>p{font-size:14px}.set-intro>p.small{font-size:12px}.proof-workbench{display:block;margin-top:38px}.proof-workbench h3{font-size:29px}.proof-workbench p{font-size:14px}.proof-explanation{margin-top:45px}.number-options{display:grid;grid-template-columns:repeat(4,44px);gap:10px}.math-output .ternary{font-size:38px}.proof-equation{font-size:28px}.source-spread{display:flex;flex-direction:column;margin:70px 0 55px;gap:32px}.source-caption{padding:0;max-width:450px}.source-caption h2{font-size:36px}.full-notebook{width:100%}.math-closing{margin:0 0 65px;max-width:500px}.math-closing p{font-size:14px}.research-heading{margin:35px 0 46px}.research-date{font-size:11px}.research-heading h1{font-size:clamp(43px,7.7vw,61px)}.research-deck{display:block;padding:0;margin-top:27px}.research-deck p{font-size:15px;max-width:560px}.research-deck a{display:inline-block;margin-top:23px;max-width:none;font-size:12px}.research-layout{display:block}.article-index{position:static;display:flex;flex-direction:row;flex-wrap:wrap;gap:10px 20px;border-block:1px solid var(--rule);padding-block:18px;margin-bottom:42px;font-size:11px}.article-index p{display:none}.research-body h2{font-size:34px}.research-body h2 br{display:none}.research-body p{font-size:14px}.research-body section{margin-bottom:55px}.clock-explainer{gap:15px;margin-top:28px}.clock-explainer p{font-size:11px}.clock-explainer span{font-size:11px}.research-body .displacement-chart{margin-block:30px}.research-body .figure-note{font-size:10px}table{font-size:12px}thead th{font-size:10px}tbody th span{font-size:10px}th,td{padding-right:15px}.research-reading{margin:0 0 65px;font-size:13px}}
@media(max-width:380px){.shell{width:calc(100% - 32px)}.site-header nav{gap:18px;font-size:11px}.introduction h1{font-size:60px}.notebook figcaption{display:block}.notebook figcaption>span{display:block}.notebook figcaption a{margin-top:9px}.fx-question h2{font-size:42px}.fx-context{display:block}.fx-context a{margin-top:12px}.number-options{gap:5px}.number-option span{width:40px;height:44px}.math-output .ternary{font-size:34px}.clock-explainer{grid-template-columns:1fr}.clock-explainer p{font-size:12px}.code-index dl>div{grid-template-columns:95px 1fr}}
@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;animation:none!important;transition:none!important}}
@media print{.site-header,.site-footer,.back-link,.article-index{display:none}.shell{width:100%;max-width:none}body{background:white;color:black}.opening,.research-layout{display:block}.introduction{max-width:none}.opening-work{margin-top:30px;max-width:500px}.research-heading,.math-heading{margin:20px 0}.research-body section{break-inside:avoid}.math-widget{display:none}.paper-scan{max-width:500px}.research-deck{padding-left:0}}
/* October revision: personal entry points, a small tactile scene, and readable artifacts. */
[hidden]{display:none!important}button{cursor:pointer}em{font-weight:400}.hello{display:grid;grid-template-columns:1fr 1.1fr;gap:7%;align-items:center;padding:52px 0 74px;min-height:680px}.hello-copy{max-width:460px}.hello .focus{margin:0 0 27px;font-size:13px}.hello h1{font-size:clamp(84px,8.5vw,124px);line-height:.89;margin-bottom:33px}.hello h1 em{color:var(--accent)}.hello-copy>p:not(.focus){font-size:15px;line-height:1.85;max-width:380px}.hello-copy>p:nth-of-type(2){font-size:22px;font-family:var(--serif);margin-bottom:17px}.hello-copy>p+p{margin-top:14px}.hello-links{display:flex;gap:18px 28px;flex-wrap:wrap;font-size:12px;margin-top:29px}.pip-studio{align-self:center;min-width:0;padding-top:10px}.pip-stage{position:relative;width:100%;height:410px;isolation:isolate}.pip-stage canvas,.pip-fallback{position:absolute;inset:0;width:100%;height:100%;display:block}.pip-stage canvas{opacity:0;transition:opacity .3s}.pip-stage.is-ready canvas{opacity:1}.pip-stage.is-ready .pip-fallback{visibility:hidden}.pip-margin-note{position:absolute;bottom:24px;left:16px;transform:rotate(-7deg);font:22px/1.1 var(--serif);pointer-events:none}.pip-caption{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:30px;margin:8px 10px 0 28px;align-items:start}.pip-caption p{font-size:12px;line-height:1.85}.pip-caption p.small{font:15px/1.45 var(--serif);margin-top:10px;min-height:44px}.pip-actions{display:flex;align-items:flex-start;flex-direction:column;gap:2px}.pip-actions button{font-size:11px;background:none;border:0;text-decoration:underline;text-underline-offset:4px;padding:8px 0;min-height:35px}.pip-actions button:last-child{font-size:10px;opacity:.7}.discovery{display:grid;grid-template-columns:1fr 1.45fr;gap:15%;margin:65px 0 140px;align-items:start}.discovery-menu{padding-top:12px}.discovery h2{font-size:54px;line-height:1.08}.discovery-menu>p{font-size:12px;margin:24px 0 14px}.story-choices{display:flex;flex-direction:column;align-items:stretch;max-width:315px}.story-choices button{display:flex;gap:20px;justify-content:space-between;text-align:left;border:0;border-bottom:1px solid var(--rule);padding:17px 0;background:none;font-size:13px;line-height:1.6}.story-choices button[aria-pressed=true]{color:var(--accent);border-bottom-color:var(--accent)}.story-choices span{font-size:16px}.story-space{min-height:465px;padding-top:12px}.story-space article+article{margin-top:45px}.story-space .story-context{font-size:11px;margin-bottom:18px}.story-space h3{font-size:42px;line-height:1.1;margin-bottom:24px}.story-space p{font-size:14px;max-width:510px}.story-space a{font-size:12px;display:inline-block;margin-top:20px}.problem-scrap{display:flex;align-items:center;gap:22px;margin:34px 0 5px;transform:rotate(-2deg);font-family:var(--serif)}.problem-scrap>span{font-size:20px;line-height:1.4}.problem-scrap>span:first-child{max-width:145px}.problem-scrap>span:last-child{max-width:200px}.problem-scrap small{font:10px var(--sans);display:block;margin-top:7px}.fraction{display:flex;flex-direction:column;white-space:nowrap;font-size:30px;line-height:1.5;text-align:center;color:var(--accent)}.fraction span:first-child{border-bottom:1px solid var(--accent)}.margin-equation{font:38px/1.3 var(--serif);margin-top:32px;transform:rotate(-2deg)}.margin-equation em{color:var(--accent)}.notebook-feature{display:grid;grid-template-columns:1fr 1fr;gap:15%;align-items:center;margin:60px 4% 150px}.notebook-leaf{transform:rotate(-3deg);padding:0 16px 0 0}.notebook-leaf .paper-scan{aspect-ratio:954/1160}.paper-scan img{width:105%;max-width:none;margin-left:-2.5%;margin-top:-13%;filter:grayscale(1);mix-blend-mode:multiply}.notebook-invitation h2{font-size:78px;line-height:.97;margin-bottom:30px}.notebook-invitation h2 em{color:var(--accent)}.notebook-invitation p{font-size:14px;max-width:360px}.notebook-invitation>a{display:block;margin-top:24px;font-size:13px}.notebook-invitation>a.small{font-size:11px;margin-top:15px}.home-page .fx-feature{margin-top:0}.clock-switch{display:flex;gap:6px;border-bottom:1px solid var(--rule);margin-top:15px}.clock-switch button{border:0;border-bottom:2px solid transparent;background:none;padding:10px 15px 12px 0;margin-bottom:-1px;font-size:11px;text-align:left}.clock-switch button+button{padding-left:15px}.clock-switch button[aria-pressed=true]{border-bottom-color:var(--accent);color:var(--accent)}.clock-reading{margin:25px 0 20px;min-height:111px}.clock-reading p strong{font:76px/.95 var(--serif);font-variant-numeric:tabular-nums;font-weight:400}.clock-reading p>span{font-size:12px}.clock-reading p+p{font-size:12px!important;margin-top:13px;line-height:1.6!important}.measurement-bar{height:12px}.measurement-bar .subsequent{border-left:0}.displacement-chart .figure-note{font-size:10px}.home-page .code-index{margin-bottom:90px}.closing-line{font:45px/1.2 var(--serif);margin:120px 0 100px 9%}.closing-line a{color:var(--accent);text-decoration-thickness:1px}.totient-control{display:block;font:24px var(--serif);margin-top:20px}.totient-control input{display:block;width:100%;accent-color:var(--accent);margin:15px 0;min-height:30px}.integer-example{grid-template-columns:repeat(6,1fr);gap:7px}.integer-example span{font-size:13px}.integer-example .coprime{background:var(--ink)}.totient-example p{line-height:1.8}.notebook-reader{max-width:850px;width:calc(100% - 32px);max-height:90dvh;border:1px solid var(--ink);background:var(--paper);color:var(--ink);padding:25px;overflow:auto}.notebook-reader::backdrop{background:rgba(20,20,19,.68)}.reader-toolbar{display:flex;justify-content:space-between;align-items:start;gap:25px}.reader-toolbar h2{font-size:29px;line-height:1.1;max-width:500px}.reader-toolbar button,.reader-pagination button{background:none;border:0;font-size:12px;padding:5px 0;min-height:40px;text-decoration:underline;text-underline-offset:4px;white-space:nowrap}.reader-pagination{display:flex;align-items:center;justify-content:space-between;gap:20px;margin:20px 0 10px}.reader-pagination p{font-size:12px;margin:0}.reader-pagination button:disabled{opacity:.35;cursor:default;text-decoration:none}.reader-image img{width:100%;filter:grayscale(1);mix-blend-mode:multiply}.reader-image{max-width:640px;margin:0 auto}.reader-note{font-size:13px;line-height:1.65;margin-top:15px}.notebook-reader>a{display:inline-block;font-size:12px;margin-top:15px}.source-caption p strong{font-weight:600}.research-body .clock-reading p strong{font-size:76px}.research-body .clock-reading p{line-height:1.2}.source-caption{padding-top:0}
@media(max-width:1100px){.hello{gap:3%;padding-top:40px;min-height:650px}.hello h1{font-size:95px}.pip-stage{height:350px}.pip-caption{margin-left:0;gap:18px}.pip-margin-note{font-size:19px;left:0;bottom:12px}.discovery{gap:10%;margin-bottom:100px}.story-space h3{font-size:37px}.problem-scrap{gap:14px;flex-wrap:wrap}.problem-scrap>span{font-size:18px}.notebook-feature{gap:10%;margin-inline:0}.notebook-invitation h2{font-size:65px}}
@media(max-width:760px){.hello{display:block;padding:35px 0 0;min-height:auto}.hello-copy{max-width:560px}.hello h1{font-size:92px;margin-bottom:28px}.hello .focus{margin-bottom:22px}.hello-copy>p:not(.focus){max-width:490px;font-size:14px}.hello-copy>p:nth-of-type(2){font-size:24px}.hello-links{gap:17px 25px;margin-top:23px}.pip-studio{max-width:500px;margin:20px auto 0}.pip-stage{height:340px}.pip-caption{margin:0;gap:22px}.pip-caption p{font-size:11px}.pip-margin-note{font-size:20px;left:14px;bottom:20px}.pip-actions button{min-height:40px}.discovery{display:block;margin:70px 0 85px}.discovery h2{font-size:43px}.discovery h2 br{display:none}.discovery-menu>p{margin:18px 0 5px}.story-choices{max-width:none}.story-choices button{padding:14px 0;font-size:12px}.story-space{padding-top:35px;min-height:450px}.story-space h3{font-size:39px}.story-space p{font-size:14px}.problem-scrap{gap:20px;margin-top:30px;flex-wrap:nowrap}.problem-scrap>span{font-size:17px}.fraction{font-size:27px}.notebook-feature{display:flex;flex-direction:column-reverse;gap:43px;margin:0 0 95px;align-items:stretch}.notebook-invitation h2{font-size:64px}.notebook-invitation h2 br{display:none}.notebook-invitation p{max-width:500px}.notebook-leaf{max-width:460px;padding:0;margin:0 14px;align-self:center;transform:rotate(-2deg)}.notebook-leaf .notebook figcaption{display:block}.notebook-leaf .notebook figcaption a{margin-top:9px}.fx-question h2{font-size:55px}.home-page .fx-evidence{margin-top:45px}.clock-reading p strong{font-size:67px}.displacement-chart>figcaption{margin-bottom:10px}.clock-switch button{font-size:11px}.home-page .code-index{margin-bottom:0}.closing-line{font-size:36px;margin:85px 0 70px}.notebook-reader{padding:17px;width:calc(100% - 20px)}.reader-toolbar h2{font-size:24px}.reader-pagination{gap:10px}.reader-pagination p,.reader-pagination button{font-size:10px}.reader-note{font-size:12px}.notebook-reader .reader-image{margin-inline:-7px}.math-heading h1{font-size:54px}.source-caption h2{font-size:43px}}
@media(max-width:380px){.hello h1{font-size:80px}.hello-links{gap:12px;font-size:11px}.pip-stage{height:300px}.pip-caption{gap:15px}.pip-margin-note{font-size:18px;left:0;bottom:12px}.discovery h2{font-size:39px}.story-space h3{font-size:35px}.problem-scrap{gap:14px;flex-wrap:wrap}.problem-scrap>span:first-child{max-width:130px}.problem-scrap>span:last-child{max-width:240px}.notebook-invitation h2{font-size:57px}.clock-switch button{font-size:10px}.clock-reading p strong{font-size:61px}.notebook-reader{padding:12px}.reader-toolbar{gap:15px}.reader-toolbar h2{font-size:22px}.reader-pagination{gap:6px}.reader-pagination p{font-size:9px}.reader-toolbar button{font-size:11px}.story-space{min-height:500px}}
@media print{.hello{display:block}.pip-studio,.story-choices,.clock-switch{display:none}.story-space [hidden]{display:block!important}.discovery{display:block}.notebook-reader{display:none}.notebook-feature{gap:30px}.discovery,.notebook-feature,.fx-feature{margin-block:40px}.closing-line{margin-block:40px}}
/* An always available margin, original research pages, and selected application work. */
@media(min-width:761px){.shell{width:calc(100% - 172px)}}
.hello{grid-template-columns:1fr 1fr;gap:12%;align-items:center;padding-bottom:55px}.hello-notebook{max-width:390px;margin:0 auto;padding:10px 6px 0;transform:rotate(2deg)}.desk-caption{font-size:12px;margin-bottom:18px}.hello-notebook .paper-scan{aspect-ratio:954/1160}.hello-notebook figcaption{font-size:10px;display:block}.hello-notebook figcaption a{display:none}.desk-invitation{font:19px/1.4 var(--serif);margin-top:25px!important}.desk-invitation a{font:12px var(--sans);display:inline-block;margin-top:13px}.home-page .discovery{margin-bottom:130px}.paper-entry-links{display:flex;flex-direction:column;gap:18px;min-width:155px}.research-deck .paper-entry-links a{margin:0;max-width:none}.research-orientation{display:grid;grid-template-columns:1.6fr 1fr;gap:12%;margin:0 0 105px;padding-bottom:65px;border-bottom:1px solid var(--rule)}.research-orientation h2{font-size:45px;margin-bottom:25px}.research-orientation>div p{max-width:590px;font-size:16px}.research-orientation aside{padding-top:8px}.research-orientation h3{font-size:29px;line-height:1.1;margin-bottom:22px}.research-orientation aside p{font-size:14px}.research-orientation aside p.small{font-size:12px}.measurement-definitions{margin:28px 0}.measurement-definitions details{border-block-start:1px solid var(--rule);padding:18px 0}.measurement-definitions details:last-child{border-block-end:1px solid var(--rule)}.measurement-definitions summary{cursor:pointer;font:25px var(--serif)}.measurement-definitions p{font-size:14px!important;margin:16px 0 0}.event-timeline{display:grid;grid-template-columns:1fr 1fr;gap:38px;margin:40px 0 25px}.event-timeline>div{border-bottom:1px solid var(--ink);padding-bottom:22px}.timeline-letter{font:60px/.95 var(--serif)}.timeline-letter sub,.timeline-sum sub{font-size:.4em}.accent{color:var(--accent)}.event-timeline h3{font:13px var(--sans);margin:20px 0 12px}.research-body .event-timeline p{font-size:13px}.research-body .timeline-sum{font:37px var(--serif);margin:22px 0}.paper-tabs{display:flex;flex-wrap:wrap;border-bottom:1px solid var(--rule);gap:10px 25px;margin:30px 0}.paper-tabs button{background:none;border:0;border-bottom:2px solid transparent;padding:12px 0;margin-bottom:-1px;font-size:11px;line-height:1.6}.paper-tabs button[aria-pressed=true]{color:var(--accent);border-bottom-color:var(--accent)}.paper-spread{display:grid;grid-template-columns:1.25fr 1fr;gap:30px;align-items:start}.paper-preview{display:block;text-decoration:none;transform:rotate(-1deg);border:1px solid var(--rule);background:var(--paper)}.paper-preview img{filter:grayscale(1);mix-blend-mode:multiply}.paper-preview>span{display:block;padding:10px 12px;font-size:11px;border-top:1px solid var(--rule)}.paper-preview:hover>span{text-decoration:underline}.paper-annotation{padding-top:13px}.paper-annotation h3{font-size:31px;line-height:1.1;margin:16px 0 20px}.research-body .paper-annotation p{font-size:13px;line-height:1.75}.research-body .paper-annotation p.small{font-size:11px}.paper-annotation>a{font-size:11px;display:inline-block;margin-top:20px}.paper-reader{max-width:1000px;width:calc(100% - 32px);max-height:92dvh;overflow:auto;border:1px solid var(--ink);background:var(--paper);color:var(--ink);padding:25px}.paper-reader::backdrop{background:rgba(20,20,19,.68)}.paper-reader>.small{margin-top:15px}.paper-reader>img{width:100%;margin:20px 0;filter:grayscale(1);mix-blend-mode:multiply}.paper-reader>a{font-size:13px}.math-heading{margin-bottom:35px}.math-contents{display:flex;flex-wrap:wrap;gap:14px 25px;font-size:12px;margin-bottom:75px;padding:15px 0;border-block:1px solid var(--rule)}.application-work{margin:105px 0 120px}.application-work>header{display:grid;grid-template-columns:1.1fr 1fr;gap:13%;align-items:end;margin-bottom:55px}.application-work h2{font-size:49px;line-height:1.05}.application-work>header p{font-size:14px;max-width:440px}.application-entry{display:grid;grid-template-columns:.65fr 1.7fr;gap:9%;padding:38px 0;border-top:1px solid var(--rule)}.application-entry+.application-entry{margin-top:35px}.application-name h3{font-size:33px;line-height:1.1}.application-name p{font-size:11px;margin-top:14px}.application-account h4{font:35px/1.1 var(--serif);margin:0 0 22px}.application-account>p{font-size:15px;max-width:650px}.application-account p.small{font-size:12px}.parity-example{margin:30px 0 0;max-width:560px;padding:25px 0 0;border-top:1px solid var(--rule)}.parity-example h5{font:24px var(--serif);margin:0 0 12px}.parity-example>p{font-size:12px}.permutation{display:flex;gap:9px;margin:25px 0}.permutation button{width:50px;height:54px;border:1px solid var(--rule);background:none;font:28px var(--serif)}.permutation button[aria-pressed=true]{background:var(--ink);color:var(--paper)}.parity-example .parity-reading{font:23px var(--serif);color:var(--accent);min-height:30px}.parity-example p.figure-note{font-size:10px}.application-work+.set-theory{margin-top:0}.reader-toolbar{position:sticky;top:-25px;background:var(--paper);z-index:1;padding:12px 0;border-bottom:1px solid var(--rule)}
@media(max-width:1100px){.hello{gap:9%}.hello h1{font-size:85px}.hello-notebook{max-width:330px}.research-layout{grid-template-columns:145px minmax(0,1fr);gap:5%}.paper-spread{grid-template-columns:1fr;gap:20px}.paper-preview{max-width:410px}.paper-annotation{max-width:500px;padding-top:0}.paper-annotation h3{font-size:32px}.research-deck{padding-left:15%;gap:30px}.application-work>header{gap:8%}.application-work h2{font-size:43px}.application-entry{gap:7%;grid-template-columns:.65fr 1.6fr}.application-name h3{font-size:29px}}
@media(max-width:760px){.hello{display:block;padding-bottom:0}.hello-notebook{max-width:350px;margin:55px auto 0;padding:0 12px}.hello-notebook .paper-scan{max-height:380px;aspect-ratio:954/1160}.hello-notebook figcaption{display:block}.desk-invitation{font-size:21px}.home-page .discovery{margin-bottom:85px}.research-orientation{display:block;margin-bottom:55px;padding-bottom:40px}.research-orientation h2{font-size:39px}.research-orientation>div p{font-size:14px}.research-orientation aside{margin-top:32px;padding-top:0;max-width:500px}.research-orientation h3{font-size:28px;margin-bottom:15px}.research-orientation aside p{font-size:13px}.research-deck{padding:0}.paper-entry-links{margin-top:25px;flex-direction:row;flex-wrap:wrap;gap:18px 25px}.research-layout{display:block}.paper-tabs{gap:8px 18px}.paper-tabs button{font-size:10px}.paper-spread{gap:24px}.paper-preview{max-width:420px}.paper-annotation{padding:0}.event-timeline{gap:25px}.timeline-letter{font-size:54px}.research-body .event-timeline p{font-size:12px}.research-body .timeline-sum{font-size:34px}.paper-reader{padding:16px;width:calc(100% - 20px)}.paper-reader .reader-toolbar{top:-16px}.paper-reader .reader-toolbar h2{font-size:24px}.paper-reader>a{font-size:12px}.math-contents{margin-bottom:45px;gap:12px 20px;font-size:11px}.application-work{margin:70px 0}.application-work>header{display:block;margin-bottom:30px}.application-work h2{font-size:43px}.application-work>header p{margin-top:22px;font-size:13px}.application-entry{display:block;padding-top:26px}.application-name{display:flex;justify-content:space-between;align-items:baseline;gap:20px;margin-bottom:25px}.application-name h3{font-size:30px}.application-name p{font-size:10px;margin:0}.application-account h4{font-size:30px}.application-account>p{font-size:14px}.application-entry+.application-entry{margin-top:20px}.permutation{gap:8px}.permutation button{width:46px;height:50px}.parity-example .parity-reading{font-size:21px;min-height:52px}.reader-toolbar{top:-17px}.paper-annotation h3{font-size:31px}}
@media(max-width:380px){.hello h1{font-size:80px}.paper-tabs{gap:6px 14px}.paper-tabs button{font-size:9px}.application-name{display:block}.application-name p{margin-top:12px}.application-work h2{font-size:39px}.permutation{gap:7px}.permutation button{width:43px}.reader-toolbar{top:-12px}}
@media print{.pip-companion{display:none!important}.paper-tabs,.permutation{display:none}.paper-reader{display:none}.application-entry{break-inside:avoid}.paper-spread{grid-template-columns:1fr 1fr}}
.paper-reader-controls{display:flex;align-items:center;justify-content:space-between;gap:20px;margin:16px 0}.paper-reader-controls p{margin:0}.paper-reader-controls button{background:none;border:0;border-bottom:1px solid var(--ink);padding:7px 0;font-size:12px;white-space:nowrap}.paper-image-window{overflow:auto;max-height:68dvh;margin:15px 0;overscroll-behavior:contain}.paper-image-window img{display:block;width:100%;filter:grayscale(1);mix-blend-mode:multiply}.paper-zoomed .paper-image-window img{width:max(100%,950px);max-width:none}.paper-image-window:focus-visible{outline:2px solid var(--accent);outline-offset:3px}

.contact-links{display:flex;flex-wrap:wrap;gap:12px 22px;align-items:center}.contact-links a{display:inline-block;padding-block:5px}

.recognition-note{display:flex;align-items:center;justify-content:space-between;gap:30px;padding:23px 0;border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);margin:0 0 65px}.recognition-note p{display:flex;align-items:baseline;gap:32px;flex-wrap:wrap}.recognition-note strong{font:29px/1.2 var(--serif);font-weight:400}.recognition-note p span{font-size:12px;max-width:430px;line-height:1.8}.recognition-note>a{font-size:12px;white-space:nowrap}.home-page .recognition-note+.discovery{margin-top:0}
@media(max-width:760px){.recognition-note{align-items:start;flex-direction:column;gap:15px;margin-top:55px;margin-bottom:60px;padding:22px 0}.recognition-note p{display:block}.recognition-note strong{display:block;font-size:27px;margin-bottom:12px}.recognition-note p span{display:block;font-size:13px}}

/* A visible personal direction, before the research detail. */
.future-direction{display:grid;grid-template-columns:repeat(12,minmax(0,1fr));column-gap:24px;margin:0 0 145px;scroll-margin-top:45px}
.future-direction h2{grid-column:1/7;font:clamp(64px,6.6vw,96px)/.98 var(--serif);letter-spacing:-.02em;margin:0}
.future-direction h2 em{color:var(--accent)}
.direction-copy{grid-column:6/12;margin-top:22px;max-width:540px}
.direction-copy>p{font-size:16px;line-height:1.9}
.direction-copy>p+p{margin-top:25px}
.direction-copy>.direction-open{font:26px/1.4 var(--serif);max-width:420px;margin-top:35px}
@media(max-width:1100px){.future-direction{column-gap:16px;margin-bottom:110px}.direction-copy{grid-column:5/13}.future-direction h2{font-size:72px}}
@media(max-width:760px){.future-direction{display:block;margin-bottom:85px;scroll-margin-top:28px}.future-direction h2{font-size:64px}.direction-copy{margin-top:30px;max-width:540px}.direction-copy>p{font-size:14px;line-height:1.85}.direction-copy>.direction-open{font-size:25px;margin-top:27px}}
@media print{.future-direction{display:block;break-inside:avoid;margin:40px 0}.future-direction h2{font-size:50px}.direction-copy{margin-top:20px}}

/* Personal material is visible, with shorter transitions between sections. */
.home-page .hello{padding-top:32px;padding-bottom:38px;min-height:0}
.home-page .recognition-note{margin-bottom:55px}
.personal-spread{display:grid;grid-template-columns:minmax(0,.9fr) minmax(0,1.1fr);gap:12%;margin:0 0 85px;scroll-margin-top:32px}
.personal-everyday h2{font:68px/.98 var(--serif);letter-spacing:-.02em;margin-bottom:28px}
.personal-everyday h2 em{color:var(--accent)}
.personal-everyday>p,.personal-problem>p{font-size:14px;line-height:1.85}
.personal-everyday>p{max-width:370px}
.personal-everyday>.personal-afterthought{font:27px/1.3 var(--serif);margin-top:27px;max-width:300px}
.personal-problem{padding-top:12px}
.story-context{font-size:11px!important;margin:0 0 18px}
.personal-problem h3{font:41px/1.08 var(--serif);margin-bottom:23px}
.personal-problem .problem-scrap{margin-top:24px}
.personal-problem>a{display:inline-block;font-size:12px;margin-top:18px}
.personal-problem>.personal-correction{font-size:12px;border-top:1px solid var(--rule);padding-top:18px;margin-top:24px;max-width:440px}
.personal-correction a{display:inline;text-underline-offset:3px}
.home-page .future-direction{margin-bottom:85px;padding-top:38px;border-top:1px solid var(--rule)}
.future-direction h2{grid-column:1/5;grid-row:1;font-size:72px}
.direction-copy{grid-column:6/13;grid-row:1;margin-top:0}
.direction-copy>p{font-size:15px;line-height:1.85}
.direction-copy>p+p{margin-top:20px}
.direction-copy>.direction-open{font-size:25px;margin-top:25px}
.research-intro{display:grid;grid-template-columns:.9fr 1.1fr;gap:12%;border-top:1px solid var(--rule);padding-top:34px;margin-bottom:80px}
.research-intro h2{font:53px/1.05 var(--serif);max-width:400px}
.research-intro-copy>p{font-size:14px;line-height:1.85}
.research-intro-links,.personal-next-links{display:flex;gap:14px 25px;flex-wrap:wrap;font-size:12px;margin-top:24px}
.home-page .writing-section{margin-top:0;padding-top:30px}
.home-page .closing-line{margin-block:70px 65px}
.math-page .math-heading{margin-bottom:45px}
.math-page .application-work{margin-block:75px}
.math-page .source-spread{margin-block:75px 55px}
@media(max-width:1100px){.personal-spread,.research-intro{gap:8%}.personal-everyday h2{font-size:59px}.personal-problem h3{font-size:36px}.future-direction h2{font-size:62px}.direction-copy{grid-column:6/13}.research-intro h2{font-size:46px}}
@media(max-width:760px){.home-page .hello{padding-bottom:0}.personal-spread,.research-intro{display:block}.personal-spread{margin-bottom:55px}.personal-everyday h2{font-size:55px}.personal-everyday>p{max-width:540px}.personal-problem{margin-top:38px;border-top:1px solid var(--rule);padding-top:26px}.personal-problem h3{font-size:36px}.home-page .future-direction{margin-bottom:55px;padding-top:28px}.future-direction h2{font-size:56px}.direction-copy{margin-top:26px}.direction-copy>p{font-size:14px}.research-intro{margin-bottom:55px;padding-top:28px}.research-intro h2{font-size:43px}.research-intro-copy{margin-top:24px}.home-page .closing-line{margin-block:55px}.math-page .application-work{margin-block:55px}.math-page .source-spread{margin-block:55px 40px}}
@media print{.personal-spread,.research-intro{display:block;margin:35px 0}.personal-problem{margin-top:30px}.home-page .future-direction{margin:35px 0}}