@font-face{font-family:Newsreader;font-style:normal;font-weight:400 600;font-display:swap;src:url(/fonts/newsreader.woff2)format("woff2")}@font-face{font-family:Newsreader;font-style:italic;font-weight:400;font-display:swap;src:url(/fonts/newsreader-italic.woff2)format("woff2")}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/jetbrainsmono-regular.woff2)format("woff2")}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:500 600;font-display:swap;src:url(/fonts/jetbrainsmono-medium.woff2)format("woff2")}@font-face{font-family:Newsreader Fallback;src:local(Iowan Old Style),local(Palatino Linotype),local(Book Antiqua),local(Georgia);size-adjust:96%;ascent-override:92%;descent-override:26%}@font-face{font-family:JetBrains Mono Fallback;src:local(Menlo),local(Consolas),local(DejaVu Sans Mono);size-adjust:98%}:root{--paper:#fdfdfb;--ink:#1a1a1a;--ink-soft:#5a5a5a;--rule:#d8d6cf;--mark:#b3261e;--font-text:"Newsreader", "Newsreader Fallback", Georgia, serif;--font-digits:"JetBrains Mono", "JetBrains Mono Fallback", ui-monospace, Menlo, Consolas, monospace;--measure:40rem;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light dark}@media (prefers-color-scheme:dark){:root{--lightningcss-light: ;--lightningcss-dark:initial;--paper:#151515;--ink:#e6e4dd;--ink-soft:#a09e97;--rule:#3a3936;--mark:#e5766c}}*,:before,:after{box-sizing:border-box}html{background:var(--paper);color:var(--ink);font-family:var(--font-text);-webkit-text-size-adjust:100%;font-size:112.5%;line-height:1.5}body{flex-direction:column;min-height:100dvh;margin:0;display:flex}main{width:100%;max-width:var(--measure);flex:1;margin:0 auto;padding:3rem 1.25rem 4rem}h1,h2,h3{margin:0 0 1rem;font-weight:500;line-height:1.2}h1{font-size:1.75rem}h2{margin-top:3rem;font-size:1.125rem}p{margin:0 0 1rem}a{color:inherit;text-underline-offset:.15em;text-decoration-thickness:from-font}a:hover{color:var(--mark)}hr{border:0;border-top:1px solid var(--rule);margin:2rem 0}.digits{font-family:var(--font-digits);font-variant-numeric:tabular-nums slashed-zero;font-size:.9375rem}.site-header,.site-footer{width:100%;max-width:var(--measure);color:var(--ink-soft);margin:0 auto;padding:1.25rem;font-size:.875rem}.site-header{border-bottom:1px solid var(--rule);justify-content:space-between;gap:1rem;display:flex}.site-header nav{gap:1.25rem;display:flex}.site-header a{align-items:center;min-height:44px;display:inline-flex}.site-footer{border-top:1px solid var(--rule)}.site-footer p{margin:.25rem 0}.visually-hidden{clip:rect(0 0 0 0);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.small{font-size:.875rem}.muted{color:var(--ink-soft)}.search{gap:.5rem;margin:1.5rem 0 2rem;display:flex}.search input{min-width:0;min-height:44px;font:inherit;font-family:var(--font-digits);color:var(--ink);border:1px solid var(--ink);background:0 0;border-radius:0;flex:1;padding:.5rem .75rem;font-size:1rem}.search input:focus{outline:1px solid var(--ink);outline-offset:0;border-color:var(--ink)}.search input::placeholder{color:var(--ink-soft);opacity:1}.search button{min-width:44px;min-height:44px;font:inherit;color:var(--paper);background:var(--ink);border:1px solid var(--ink);cursor:pointer;border-radius:0;padding:.5rem 1rem}.search button:hover,.search button:focus-visible{background:var(--mark);border-color:var(--mark);outline:none}.sequence h1{flex-wrap:wrap;align-items:baseline;gap:.25rem .75rem;display:flex}.anumber{font-family:var(--font-digits);color:var(--ink-soft);font-size:1.125rem;font-weight:500}.sequence h1 .anumber{text-decoration:none}.sequence h1 .name{font-weight:500}.terms{color:var(--ink-soft);margin-top:-.5rem}.headline{margin:2rem 0 1.5rem;font-size:1.25rem}.headline strong{font-size:1.125rem;font-weight:600}.strip{scrollbar-width:none;margin:0 0 2rem;overflow-x:auto}.strip pre{color:var(--ink-soft);letter-spacing:.02em;white-space:pre;margin:0;padding:.5rem 0 .25rem}.strip mark{color:var(--ink);text-decoration:underline;-webkit-text-decoration-color:var(--mark);text-decoration-color:var(--mark);text-underline-offset:.3em;background:0 0;font-weight:600;text-decoration-thickness:2px}.strip figcaption{padding-left:var(--offset);color:var(--mark);white-space:nowrap;padding-top:.35rem}.strip figcaption span{font-size:.75rem}table.staircase{border-collapse:collapse;font-variant-numeric:tabular-nums;width:100%}table.staircase th{text-align:left;color:var(--ink-soft);border-bottom:1px solid var(--ink);padding:.4rem .5rem;font-size:.8125rem;font-weight:500}table.staircase td{border-bottom:1px solid var(--rule);vertical-align:baseline;padding:.45rem .5rem}table.staircase .num{text-align:right;font-family:var(--font-digits);font-variant-numeric:tabular-nums slashed-zero}table.staircase td.digits{word-break:break-all}table.staircase tr[aria-current] td{background:color-mix(in srgb, var(--mark) 8%, transparent)}table.staircase a{min-height:1.5rem;-webkit-text-decoration-color:var(--rule);text-decoration-color:var(--rule);display:inline-block}.matches{padding-left:0;list-style:none}.matches li{border-bottom:1px solid var(--rule)}.matches a{min-height:44px;padding:.6rem 0;text-decoration:none;display:block}.matches a:hover .anumber{color:var(--mark)}@media (width<=480px){html{font-size:100%}table.staircase th:nth-child(4),table.staircase td:nth-child(4){display:none}}.search input[type=search]{appearance:none}.search input::-webkit-search-decoration{-webkit-appearance:none}.search input::-webkit-search-cancel-button{-webkit-appearance:none}.search-field{flex:1;min-width:0;position:relative}.search-field input{width:100%}.suggestions{z-index:2;background:var(--paper);border:1px solid var(--ink);margin:0;padding:0;list-style:none;position:absolute;top:calc(100% - 1px);left:0;right:0}.suggestions a{align-items:baseline;gap:.75rem;min-height:44px;padding:.5rem .75rem;text-decoration:none;display:flex}.suggestions .detail{color:var(--ink-soft);text-overflow:ellipsis;white-space:nowrap;font-size:.875rem;overflow:hidden}.suggestions [aria-selected=true] a,.suggestions a:hover{background:color-mix(in srgb, var(--mark) 8%, transparent)}.examples{padding-left:0;list-style:none}.examples li{border-bottom:1px solid var(--rule);justify-content:space-between;align-items:baseline;gap:1rem;padding:.5rem 0;display:flex}.examples a{align-items:baseline;gap:.5rem;min-height:44px;text-decoration:none;display:inline-flex}.examples a:hover .name{color:var(--mark)}.examples .answer{color:var(--ink-soft);white-space:nowrap}table.leaders{border-collapse:collapse;width:100%;margin-bottom:1rem}table.leaders th{text-align:left;color:var(--ink-soft);border-bottom:1px solid var(--ink);padding:.4rem .5rem;font-size:.8125rem;font-weight:500}table.leaders td{border-bottom:1px solid var(--rule);vertical-align:baseline;padding:.45rem .5rem}table.leaders .num{text-align:right;font-family:var(--font-digits);font-variant-numeric:tabular-nums slashed-zero;white-space:nowrap}table.leaders a{text-decoration:none}table.leaders a:hover{color:var(--mark)}@media (width<=480px){.examples .anumber,table.leaders .anumber{display:none}}table.leaders td.expr{white-space:nowrap}