.file-header{background:var(--sheet);border:1.5px solid var(--form);grid-template-columns:minmax(0,1fr) 300px;align-items:stretch;gap:24px 36px;padding:22px 24px 18px;display:grid}.file-header-main{flex-direction:column;gap:10px;min-width:0;display:flex}.file-header-main>.history-scroll{margin-top:auto;padding-top:6px}.file-title-row{align-items:baseline;gap:12px;display:flex}.file-title-row h1{font:400 clamp(32px, 4vw, 44px)/1.08 var(--font-read);overflow-wrap:anywhere;margin:0}.file-description{font:italic 20px/1.5 var(--font-read);color:var(--muted);margin:0}.file-contribution{flex-wrap:wrap;align-items:baseline;gap:10px;margin:0;font-size:16px;line-height:1.5;display:flex}.file-evidence{border-left:1px solid var(--rule);flex-direction:column;align-items:center;gap:8px;padding-left:24px;display:flex}.file-evidence>.label{align-self:flex-start}.evidence-links,.badges{flex-wrap:wrap;justify-content:center;gap:4px 10px;margin:4px 0 0;padding:0;font-size:12px;list-style:none;display:flex}.evidence-links a{color:var(--form)}.errors-link{color:var(--form);font-size:11px}.file-grid{grid-template-columns:minmax(0,1fr) 300px;align-items:start;gap:40px;display:grid}.file-article,.file-side{flex-direction:column;gap:24px;min-width:0;display:flex}.prose{padding-right:212px;font-size:19.5px;line-height:1.72;position:relative}.prose>:first-child{margin-top:0}.prose p,.prose ul,.prose ol{margin:0 0 22px}.prose h2{font:500 26px/1.2 var(--font-read);margin:34px 0 14px}.prose h3{font:500 21px/1.3 var(--font-read);margin:28px 0 10px}.prose img{max-width:100%;height:auto}.prose pre{background:var(--sheet);border:1px solid var(--rule);font:14px/1.6 var(--font-typed);padding:14px 16px;overflow-x:auto}.prose code{font-family:var(--font-typed);font-size:.88em}.prose blockquote:not(.claim){border-left:3px solid var(--form);margin:26px 0;padding-left:20px;font-style:italic}.prose table{border-collapse:collapse;font-size:16px;display:block;overflow-x:auto}.prose th,.prose td{border-bottom:1px solid var(--rule);text-align:left;padding:8px 12px 8px 0}.prose .katex-display{padding:4px 0;overflow:auto hidden}.prose .math-display{margin:18px 0 22px}.prose{counter-reset:fig}.prose figure{margin:26px 0}.prose figure img,.prose figure video,.prose figure iframe{border:1px solid var(--rule);background:var(--sheet);width:100%;height:auto;display:block}.prose figcaption{font:italic 15px/1.5 var(--font-read);color:var(--muted);margin-top:8px}.prose figcaption:before{counter-increment:fig;content:"Fig. " counter(fig);font:700 11px var(--font-label);letter-spacing:.16em;text-transform:uppercase;color:var(--form);margin-right:8px;font-style:normal}.prose figure.viz{border:1.5px solid var(--form);background:var(--panel);padding:12px}.prose figure.embed iframe{aspect-ratio:16/10;height:auto}.prose figure.embed.tall iframe{aspect-ratio:4/5}.prose video,.prose audio{max-width:100%}.prose [data-viz-error]:after{content:" (This visualization didn't load.)";color:var(--stamp);font:12px var(--font-typed)}.prose :is(viz-lorenz,[is-viz]):not(:defined){border:1px dashed var(--rule);font:13px/1.5 var(--font-typed);color:var(--muted);padding:18px;display:block}@media (width>=1101px){.prose figure.wide{margin-right:-212px}}.sn-mark{font:700 11px var(--font-typed);color:var(--form);padding:0 2px;text-decoration:none}.sn-mark:hover{color:var(--stamp)}.sidenote{float:right;clear:right;width:170px;font:12.5px/1.5 var(--font-typed);color:var(--muted);margin-bottom:12px;margin-right:-212px;position:relative}.sn-no{color:var(--form);margin-right:5px;font-weight:700}.sidenote:focus{outline:none}.sidenote:focus-visible{outline:2px solid var(--stamp);outline-offset:2px}.sn-on{background:var(--stamp-tint)}.sn-mark.sn-on{color:var(--stamp)}.sn-moved .sidenote{float:none;border-left:2px solid var(--form);width:auto;margin:6px 0;padding:6px 0 6px 14px;display:block}.sn-group{margin:-12px 0 22px}.prose.sn-live .sn-group{margin:0}.prose.sn-live .sidenote{border:0;width:170px;margin:0;padding:1px 3px;position:absolute;right:0}.sn-lines{pointer-events:none;width:100%;height:100%;position:absolute;inset:0;overflow:visible}.sn-lines path{fill:none;stroke:var(--leader);stroke-width:1px;stroke-linejoin:miter;stroke-linecap:square;shape-rendering:crispedges}.sn-lines circle{fill:var(--leader)}.sn-lines .sn-on path{stroke:var(--stamp)}.sn-lines .sn-on circle{fill:var(--stamp)}.claim{border:2px solid var(--form);background:var(--sheet);grid-template-columns:auto minmax(0,1fr);gap:4px 18px;margin:26px 0;padding:16px 18px;font-size:17.5px;line-height:1.55;display:grid}.claim>*{grid-column:2;margin:0}.claim>.claim-head{display:contents}.claim .claim-head .stamp{grid-area:1/1/span 9;align-self:start;margin-top:4px}.claim .claim-head .label{grid-column:2}.claim-title{font-weight:500}.claim-conjecture{border:2px dashed var(--stamp);background:0 0}.claim-conjecture .label{color:var(--stamp)}.receipts{grid-template-columns:repeat(auto-fit,minmax(150px,1fr));gap:10px;margin:0;padding:0;list-style:none;display:grid}.receipt{background:var(--sheet);border:1px solid var(--form);flex-direction:column;gap:3px;height:100%;padding:12px 14px;text-decoration:none;display:flex}.receipt b{font:500 17px/1.2 var(--font-read)}.receipt span{font:11.5px/1.4 var(--font-typed);color:var(--muted)}.ledger{margin:0;padding:0;list-style:none}.ledger-row{border-bottom:1px solid var(--rule-soft);grid-template-columns:130px 54px minmax(0,1fr) 100px;align-items:center;gap:14px;padding:11px 14px;font-size:16px;line-height:1.45;display:grid}.ledger-row:last-child{border-bottom:0}.ledger-row>em{font:700 11px var(--font-label);letter-spacing:.14em;text-transform:uppercase;color:var(--stamp);font-style:normal}.ledger-row>a,.ledger-row>.typed{text-align:right;color:var(--form);font-size:12px}.ledger-guess{background:#f7ecf1}.reproduce-row{grid-template-columns:minmax(0,1fr) 260px;align-items:stretch;gap:18px;display:grid}.reproduce{margin:0;padding-left:22px;font-size:13.5px;line-height:1.75}.next-level{background:var(--sheet);border:1.5px dashed var(--stamp);flex-direction:column;gap:6px;padding:14px 16px;display:flex}.next-level h2{color:var(--stamp);margin:0}.next-level p{margin:0}.next-level .typed{font-size:12.5px;line-height:1.5}.next-level-name{font:500 16px/1.4 var(--font-read)}.dated-rows{margin:0;padding:0;list-style:none}.dated-rows li{border-bottom:1px solid var(--rule);grid-template-columns:120px minmax(0,1fr);gap:12px;padding:9px 14px;font-size:15.5px;line-height:1.5;display:grid}.dated-rows li:last-child{border-bottom:0}.dated-rows .typed{font-size:13px}.correction-mark{font:700 11px var(--font-label);letter-spacing:.14em;color:var(--stamp);text-transform:uppercase;margin-right:6px}.signup{border-top:3px double var(--form);flex-wrap:wrap;align-items:flex-end;gap:12px;padding-top:16px;display:flex}.signup>div{flex-direction:column;flex:260px;gap:6px;display:flex}.signup input{border:0;border-bottom:1.5px solid var(--form);background:0 0;height:44px;font-size:15px}.portrait{padding:32px 6px 6px}.portrait svg{width:100%;height:auto;display:block}.portrait svg a:focus-visible{outline:none}.portrait svg a:focus-visible rect,.portrait svg a:focus-visible circle{stroke:var(--stamp);stroke-width:3px}.portrait .d2{display:none}.portrait:has(.portrait-depth input:last-of-type:checked) .d2{display:revert}.portrait-depth{border:0;align-items:center;gap:2px;margin:0;padding:0;display:flex;position:absolute;top:2px;right:6px}.portrait-depth input{opacity:0;position:absolute}.portrait-depth label{color:var(--form);cursor:pointer;padding:4px 6px}.portrait-depth input:checked+label{color:var(--ink);text-decoration:underline}.portrait-depth input:focus-visible+label{outline:2px solid var(--stamp)}.portrait-depth input:disabled+label{opacity:.4;cursor:default}.portrait-list{padding:0 8px 6px;font-size:14px}.portrait-list ul{margin:6px 0 0;padding-left:18px}.portrait-empty{margin:8px;font-size:13px}.backlinks{padding:34px 14px 6px}.backlinks ul{margin:0;padding:0;list-style:none}.backlink{border-bottom:1px solid var(--rule);flex-direction:column;gap:4px;padding:10px 0;display:flex}.backlink:last-child{border-bottom:0}.backlink-title{font-size:16px;text-decoration:none}.backlink-quote{color:var(--muted);font-size:12.5px;line-height:1.5;text-decoration:none}.backlink-quote mark{background:var(--manila);color:var(--ink);font-weight:700}.in-register{padding:34px 14px 8px}.in-register dl{grid-template-columns:82px minmax(0,1fr);gap:4px 10px;margin:0;font-size:13px;line-height:1.5;display:grid}.in-register dd{margin:0}.link-preview{z-index:20;--tilt:.8deg;pointer-events:none;flex-direction:column;gap:4px;padding:10px 12px;font-size:13.5px;line-height:1.4;display:flex;position:absolute}.link-preview b{font:500 16px/1.25 var(--font-read)}.link-preview .preview-open,.link-preview .preview-close{display:none}.link-preview.is-sheet{z-index:50;--tilt:0deg;pointer-events:auto;box-shadow:0 -2px 0 var(--rule-soft), 4px 6px 0 var(--rule-soft);padding:18px 56px 16px 18px;font-size:15px;position:fixed;bottom:12px;left:12px;right:12px}.link-preview.is-sheet b{font-size:19px}.link-preview.is-sheet .preview-open{align-self:flex-start;margin-top:8px;display:inline-flex}.link-preview.is-sheet .preview-close{width:44px;height:44px;color:var(--ink);cursor:pointer;background:0 0;border:0;font-size:24px;display:block;position:absolute;top:4px;right:4px}@media (prefers-reduced-motion:no-preference){.link-preview.is-sheet{animation:.18s ease-out sheet-up}@keyframes sheet-up{0%{opacity:0;transform:translateY(16px)}}}.file-index{margin:0;padding:0;list-style:none}.file-index li{border-bottom:1px dotted #8fa39a;grid-template-columns:80px minmax(0,1fr) auto;align-items:baseline;gap:6px 16px;padding:14px;display:grid}.file-index li:last-child{border-bottom:0}.file-index a{font-size:19px;line-height:1.3;text-decoration:none}.file-index p{color:var(--muted);grid-column:2;margin:0;font-size:15.5px;line-height:1.45}.file-index p .typed,.file-index .file-no{white-space:nowrap}.file-index .stamp{place-self:center start}@media (width<=1100px){.prose{padding-right:0}.sidenote{float:none;border-left:2px solid var(--form);width:auto;margin:8px 0 12px;padding:6px 0 6px 14px;display:block}}@media (width<=900px){.file-header,.file-grid,.reproduce-row{grid-template-columns:1fr}.file-evidence{border-left:0;border-top:1px solid var(--rule);padding:16px 0 0}.ledger-row{grid-template-columns:1fr auto}.ledger-row>span:not(.stamp):not(.typed){grid-column:1/-1}.file-index li{grid-template-columns:1fr auto}.file-index .file-no{grid-area:1/1}.file-index .stamp{grid-area:1/2;justify-self:end}.file-index a{grid-area:2/1/auto/-1}.file-index p{grid-column:1/-1}}