@layer base{:root{color-scheme:light;--bg:#f8f7f3;--paper:#fff;--ink:#182d3e;--muted:#586b78;--line:#d9dfdf;--soft:#eef2f2;--blue:#233e61;--blue-soft:#e9eef5;--copper:#984f2f;--green:#1c6a58;--good-bg:#edf5f1;--bad-bg:#f8eee6;--shadow:0 14px 48px #2134430c;--serif:Georgia,"Times New Roman",serif;--sans:Inter,ui-sans-serif,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;--mono:ui-monospace,SFMono-Regular,Consolas,monospace}:root[data-theme=dark]{color-scheme:dark;--bg:#14202a;--paper:#1c2b36;--ink:#e8eef0;--muted:#a7bac5;--line:#394b58;--soft:#233540;--blue:#aec9ef;--blue-soft:#283e55;--copper:#e9b08b;--green:#a0dbbf;--good-bg:#23443c;--bad-bg:#46372c;--shadow:0 14px 48px #0002}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:90px}body{background:var(--bg);color:var(--ink);font:15px/1.6 var(--sans);-webkit-font-smoothing:antialiased;margin:0}button,input,select{font:inherit}button,a,input,select{touch-action:manipulation}button{cursor:pointer}a{color:var(--blue);text-decoration:none}a:hover{text-underline-offset:4px;text-decoration:underline}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible{outline:3px solid var(--copper);outline-offset:4px}h1,h2,h3,h4,p{margin-top:0}h1,h2,h3{font-weight:500;line-height:1.18}h1{font-family:var(--serif);letter-spacing:-1.6px;margin-bottom:22px;font-size:48px}h2{font-family:var(--serif);letter-spacing:-.7px;font-size:31px}h3{font-size:18px}p{margin-bottom:18px}svg{max-width:100%;display:block}button:disabled{cursor:default;opacity:.5}kbd{font:11px var(--sans);border:1px solid var(--line);border-radius:4px;padding:2px 5px}input,select{background:var(--paper);color:var(--ink);border:1px solid var(--line);border-radius:5px;max-width:100%;min-height:44px;padding:10px 12px}input[type=search]{width:100%}input[type=number]{font-variant-numeric:tabular-nums}label{color:var(--muted);font-size:13px;display:block}label input,label select{width:100%;color:var(--ink);margin-top:7px;display:block}table{border-collapse:collapse;font-variant-numeric:tabular-nums;width:100%}th,td{text-align:left;border-bottom:1px solid var(--line);vertical-align:top;padding:15px 18px}th{letter-spacing:.07em;text-transform:uppercase;color:var(--muted);background:var(--soft);font-size:11px;font-weight:600}tbody tr:last-child td{border-bottom:0}summary{cursor:pointer;color:var(--blue);font-weight:500}details p{margin:12px 0 0}code{font:13px var(--mono);background:var(--soft);border-radius:3px;padding:2px 5px}::selection{background:var(--blue-soft);color:var(--ink)}}@layer layout{.site-header{z-index:30;border-bottom:1px solid var(--line);background:var(--bg);position:sticky;top:0}.header-inner{align-items:center;gap:46px;max-width:1240px;height:72px;margin:auto;padding:0 36px;display:flex}.brand{letter-spacing:-1px;color:var(--ink);white-space:nowrap;align-items:center;gap:10px;font-size:23px;font-weight:600;display:flex}.brand:hover{text-decoration:none}.brand svg{width:32px;height:32px;stroke:var(--blue);stroke-width:1.6px;fill:var(--bg)}.brand svg circle{fill:var(--blue);stroke:none}.brand-domain{letter-spacing:-.2px;color:var(--muted);font-size:15px;font-weight:400}#primary-nav{gap:25px;height:100%;display:flex}#primary-nav a{color:var(--muted);border-bottom:2px solid #0000;align-items:center;padding-top:2px;font-size:13px;display:flex}#primary-nav a:hover{color:var(--ink);text-decoration:none}#primary-nav a.active{color:var(--ink);border-bottom-color:var(--copper)}.header-actions{align-items:center;gap:9px;margin-left:auto;display:flex}.search-trigger{color:var(--muted);background:0 0;border:0;align-items:center;gap:9px;padding:8px 0;font-size:12px;display:flex}.search-icon{border:1.5px solid;border-radius:50%;width:13px;height:13px;margin-right:2px;position:relative}.search-icon:after{content:"";background:currentColor;width:5px;height:1.5px;position:absolute;bottom:-2px;right:-4px;transform:rotate(45deg)}.icon-button{width:36px;height:38px;color:var(--muted);background:0 0;border:0;border-radius:4px;font-size:20px}.icon-button:hover{background:var(--soft)}.mobile-menu{display:none}.page{max-width:1168px;min-height:65vh;margin:auto;padding:56px 0 80px}.home{max-width:1168px;margin:auto;padding:0 0 76px}.hero{grid-template-columns:1.1fr 1fr;align-items:center;gap:76px;padding:66px 0 58px;display:grid}.hero h1{letter-spacing:-2.2px;margin:16px 0 22px;font-size:65px;line-height:1.03}.hero .lede{max-width:465px;font-size:18px;line-height:1.65}.hero-actions{gap:11px;margin-top:26px;display:flex}.hero-footnote{color:var(--muted);letter-spacing:.025em;margin-top:22px;font-size:11px}.section{border-top:1px solid var(--line);padding:35px 0}.section-heading{justify-content:space-between;align-items:baseline;gap:20px;margin-bottom:25px;display:flex}.section-heading h2{margin:0}.section-heading a{font-size:13px}.section-kicker{color:var(--muted);text-transform:uppercase;letter-spacing:.13em;margin-bottom:12px;font-size:11px}.two-column{grid-template-columns:1fr 1fr;gap:28px;display:grid}.three-column{grid-template-columns:repeat(3,1fr);gap:24px;display:grid}.page-heading{justify-content:space-between;align-items:flex-start;gap:30px;margin-bottom:36px;display:flex}.page-heading h1{margin:9px 0 15px}.page-heading .lede{max-width:700px}.page-heading .btn{margin-top:9px}.lede{color:var(--muted);max-width:730px;margin-bottom:0;font-size:17px;line-height:1.7}.eyebrow{letter-spacing:.12em;text-transform:uppercase;color:var(--copper);font-size:11px;font-weight:600}.breadcrumbs{color:var(--muted);align-items:center;gap:10px;margin-bottom:24px;font-size:12px;display:flex}.workspace{grid-template-columns:240px 1fr;align-items:start;gap:32px;display:grid}.tool-sidebar{position:sticky;top:102px}.tool-sidebar .eyebrow{margin-bottom:16px}.tool-sidebar a{border-left:2px solid var(--line);color:var(--muted);padding:12px 14px;font-size:13px;line-height:1.5;display:block}.tool-sidebar a.active{border-color:var(--copper);background:var(--soft);color:var(--ink)}.workspace-content{min-width:0}.workspace-content h1{margin-bottom:16px;font-size:38px}.article-layout{grid-template-columns:1fr 260px;gap:80px;display:grid}.article-main{max-width:760px}.article-main h2{margin:38px 0 15px;font-size:27px}.article-main p{font-size:16px;line-height:1.85}.article-aside{align-self:start;position:sticky;top:105px}.article-aside .aside-block{border-top:1px solid var(--line);padding:22px 0}.article-aside h3{text-transform:uppercase;letter-spacing:.07em;color:var(--muted);font-size:12px}.article-aside a{margin:10px 0;font-size:13px;display:block}.site-footer{border-top:1px solid var(--line);background:var(--soft)}.footer-inner{grid-template-columns:1.3fr 1fr 1.2fr;align-items:start;gap:28px;max-width:1168px;margin:auto;padding:32px 0;display:grid}.footer-title{font-family:var(--serif);color:var(--ink);font-size:21px}.footer-inner p{color:var(--muted);margin:8px 0 0;font-size:12px}.footer-links{flex-direction:column;gap:6px;font-size:12px;display:flex}.edition{color:var(--muted);text-align:right;font-size:11px;line-height:1.9}.edition span{font-size:10px}.reference-grid{grid-template-columns:1fr 1fr;gap:26px;display:grid}.reference-grid article{border-top:1px solid var(--line);padding-top:25px}.reference-grid h2{font-size:25px}.reference-grid p,.reference-grid li{color:var(--muted);font-size:14px}.design-body{max-width:840px}.design-body h2{margin:40px 0 18px}.design-body p,.design-body li{line-height:1.85}.design-body table{font-size:13px}.design-callout{background:var(--blue-soft);border-left:3px solid var(--blue);margin:28px 0;padding:24px 28px}}@layer components{.btn{background:var(--paper);color:var(--blue);border:1px solid var(--line);white-space:nowrap;border-radius:5px;justify-content:center;align-items:center;gap:12px;min-height:43px;padding:11px 17px;font-size:13px;font-weight:500;text-decoration:none;display:inline-flex}.btn:hover{background:var(--soft);text-decoration:none}.btn.primary{background:var(--blue);color:var(--bg);border-color:var(--blue)}.btn.primary:hover{filter:brightness(1.08)}.btn.small{min-height:35px;padding:7px 12px;font-size:12px}.btn.text{background:0 0;border:0;padding-left:0;padding-right:0}.pill{background:var(--soft);color:var(--muted);white-space:nowrap;letter-spacing:.015em;border-radius:3px;align-items:center;gap:5px;padding:3px 8px;font-size:10px;display:inline-flex}.pill.lie{color:var(--blue);background:var(--blue-soft)}.pill.finite{color:var(--copper);background:var(--bad-bg)}.pill.good{color:var(--green);background:var(--good-bg)}.pill.bad{color:var(--copper);background:var(--bad-bg)}.pills{flex-wrap:wrap;gap:6px;display:flex}.math{font-family:var(--serif);letter-spacing:.01em}.hero-window{border:1px solid var(--line);background:var(--paper);box-shadow:var(--shadow);border-radius:9px;position:relative;overflow:hidden}.hero-window-top{border-bottom:1px solid var(--line);color:var(--muted);justify-content:space-between;align-items:center;padding:17px 22px;font-size:11px;display:flex}.hero-window-title{color:var(--ink);font-size:12px;font-weight:500}.hero-window-body{padding:23px}.segmented{background:var(--soft);border:1px solid var(--line);border-radius:5px;gap:2px;padding:3px;display:inline-flex}.segmented button{color:var(--muted);background:0 0;border:0;border-radius:3px;min-height:34px;padding:7px 15px;font-size:12px}.segmented button[aria-pressed=true]{background:var(--paper);color:var(--ink);box-shadow:0 1px 3px #0001}.hero-group-name{font-family:var(--serif);margin:20px 0 4px;font-size:35px;line-height:1.3}.hero-group-sub{color:var(--muted);margin-bottom:23px;font-size:12px}.mini-facts{border-block:1px solid var(--line);grid-template-columns:repeat(3,1fr);gap:12px;margin:0 0 24px;padding:14px 0;display:grid}.mini-facts dt{text-transform:uppercase;letter-spacing:.08em;color:var(--muted);margin-bottom:5px;font-size:10px}.mini-facts dd{font-family:var(--serif);margin:0;font-size:20px}.hero-reps{flex-wrap:wrap;gap:7px;margin:12px 0 19px;display:flex}.rep-chip{border:1px solid var(--line);text-align:center;min-width:43px;font:20px var(--serif);background:var(--good-bg);color:var(--green);border-radius:4px;padding:8px 10px}.rep-chip.excluded{color:var(--muted);background:var(--soft);opacity:.65;text-decoration:line-through}.hero-rep-label{color:var(--muted);font-size:11px}.hero-window-bottom{background:var(--soft);color:var(--muted);justify-content:space-between;align-items:center;gap:15px;padding:13px 23px;font-size:11px;display:flex}.hero-window-bottom a{font-size:12px}.task-row{border-bottom:1px solid var(--line);color:var(--ink);align-items:flex-start;gap:17px;padding:23px 0;text-decoration:none;display:flex}.task-row:hover{text-decoration:none}.task-number{font:12px var(--mono);color:var(--copper);padding-top:5px}.task-row h3{font:22px var(--serif);margin:0 0 9px}.task-row p{color:var(--muted);margin:0;font-size:13px}.task-row .arrow{color:var(--blue);margin-left:auto;padding-top:5px}.task-row:last-child{border-bottom:0}.group-mini-list{border:1px solid var(--line);background:var(--paper);border-radius:6px;overflow:hidden}.list-heading{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;padding:16px 20px;display:flex}.list-heading h3{font-family:var(--serif);margin:0;font-size:23px}.group-mini{border-bottom:1px solid var(--line);color:var(--ink);grid-template-columns:80px 1fr auto;align-items:center;gap:14px;padding:15px 20px;display:grid}.group-mini:last-child{border:0}.group-mini:hover{background:var(--soft);text-decoration:none}.group-mini .math{font-size:23px}.group-mini .group-desc{color:var(--muted);font-size:12px}.group-mini .small-meta{color:var(--muted);font-size:11px}.article-card{color:var(--ink);border-top:2px solid var(--line);flex-direction:column;min-height:190px;padding:23px 0;display:flex}.article-card h3{font-family:var(--serif);margin:12px 0;font-size:25px}.article-card p{color:var(--muted);margin-bottom:15px;font-size:13px}.article-card .read-link{color:var(--blue);margin-top:auto;font-size:12px}.article-card:hover{border-color:var(--copper);text-decoration:none}.principles{color:var(--muted);border-top:1px solid var(--line);flex-wrap:wrap;justify-content:space-between;gap:16px;padding:25px 0 0;font-size:12px;display:flex}.principles span:before{content:"✓";color:var(--green);margin-right:8px}.filter-bar{grid-template-columns:1fr auto 210px;align-items:center;gap:15px;margin-bottom:20px;display:grid}.result-count{color:var(--muted);margin-bottom:13px;font-size:12px}.table-shell{border:1px solid var(--line);background:var(--paper);border-radius:6px;overflow:auto}.atlas-table{min-width:670px}.atlas-table .group-symbol{font:24px var(--serif);color:var(--ink);white-space:nowrap}.atlas-table .group-name{color:var(--muted);margin-top:4px;font-size:11px}.atlas-table .scope-cell{font-size:12px}.atlas-table tbody tr:hover{background:var(--soft)}.atlas-table td:last-child{text-align:right}.meta{color:var(--muted);font-size:12px}.group-definition{font:23px/1.5 var(--serif);border-block:1px solid var(--line);background:var(--paper);margin:30px 0;padding:24px 28px}.group-facts{grid-template-columns:repeat(4,1fr);gap:18px;margin:26px 0 32px;display:grid}.fact{border-top:1px solid var(--line);padding-top:14px}.fact dt{text-transform:uppercase;letter-spacing:.07em;color:var(--muted);margin-bottom:8px;font-size:11px}.fact dd{font:26px var(--serif);margin:0}.anchor-nav{border-bottom:1px solid var(--line);gap:25px;margin-bottom:32px;display:flex;overflow:auto}.anchor-nav a{white-space:nowrap;padding:12px 0;font-size:12px}.record-grid{grid-template-columns:1fr 290px;gap:60px;display:grid}.record-main{min-width:0}.record-main section{margin-bottom:38px}.record-main h2{font-size:28px}.record-main p{font-size:15px;line-height:1.8}.side-panel{background:var(--paper);border:1px solid var(--line);border-radius:6px;margin-bottom:20px;padding:23px}.side-panel h3{margin-bottom:14px;font-size:14px}.side-panel p{color:var(--muted);font-size:12px}.side-panel .btn{width:100%}.source-list{margin:0;padding:0;list-style:none}.source-list li{margin:10px 0;font-size:12px}.source-list a{line-height:1.5}.related-row{flex-wrap:wrap;gap:8px;display:flex}.related-row a{border:1px solid var(--line);background:var(--paper);font:18px var(--serif);border-radius:4px;padding:5px 12px}.tool-card{border-top:1px solid var(--line);color:var(--ink);grid-template-columns:85px 1fr auto;align-items:center;gap:25px;padding:28px 0;display:grid}.tool-card:hover{text-decoration:none}.tool-card .tool-symbol{font:27px var(--serif);color:var(--blue);text-align:center;background:var(--blue-soft);border-radius:5px;padding:18px 8px}.tool-card h2{margin-bottom:8px;font-size:27px}.tool-card p{color:var(--muted);margin-bottom:9px;font-size:14px}.tool-card .arrow{color:var(--blue);font-size:22px}.scope-line{color:var(--muted);margin-bottom:25px;font-size:12px}.scope-line strong{color:var(--ink);font-weight:500}.tool-panel{background:var(--paper);border:1px solid var(--line);border-radius:7px;margin:22px 0;overflow:hidden}.tool-controls{border-bottom:1px solid var(--line);grid-template-columns:1.5fr 1fr 1fr;align-items:end;gap:17px;padding:23px 25px;display:grid}.tool-controls.two{grid-template-columns:1fr 1fr}.tool-controls .span-two{grid-column:span 2}.tool-output{padding:26px}.output-topline{justify-content:space-between;align-items:center;gap:20px;margin-bottom:18px;display:flex}.output-heading{text-transform:uppercase;letter-spacing:.08em;color:var(--muted);font-size:11px}.big-result{font:34px/1.5 var(--serif);letter-spacing:-.4px;overflow-wrap:anywhere;margin:12px 0 22px}.result-facts{border-top:1px solid var(--line);grid-template-columns:repeat(3,1fr);gap:20px;padding:21px 0;display:grid}.result-facts .fact{border:0;padding:0}.result-facts .fact dd{font-size:23px}.result-facts .fact dt{font-size:10px}.result-explanation{color:var(--muted);margin:0;font-size:13px;line-height:1.75}.tool-actions{border-top:1px solid var(--line);background:var(--soft);flex-wrap:wrap;gap:10px;padding:13px 25px;display:flex}.conventions{color:var(--muted);margin:23px 0;font-size:12px}.conventions summary{font-size:12px}.tool-related{color:var(--muted);flex-wrap:wrap;align-items:center;gap:8px;margin:25px 0;font-size:12px;display:flex}.error{background:var(--bad-bg);color:var(--copper);border-radius:4px;padding:15px 18px;font-size:14px}.browser-heading{justify-content:space-between;align-items:center;gap:15px;margin:36px 0 15px;display:flex}.browser-heading h2{margin:0;font-size:25px}.browser-heading select{min-height:35px;padding:7px 10px;font-size:12px}.compact-table{font-size:13px}.compact-table th,.compact-table td{padding:11px 15px}.muted-row{color:var(--muted)}.matrix-table{font-size:14px}.matrix-table th,.matrix-table td{text-align:center}.matrix-table th:first-child,.matrix-table td:first-child{text-align:left}.formula-block{font:21px/1.8 var(--serif);background:var(--soft);border-radius:4px;margin:20px 0;padding:18px 22px;overflow:auto}.sequence{justify-content:center;align-items:center;gap:14px;margin:15px 0;padding:23px 0;display:flex}.sequence-node{text-align:center;flex:1}.sequence-node .math{font-size:31px;display:block}.sequence-node small{color:var(--muted);margin-top:8px;font-size:10px;line-height:1.5;display:block}.sequence-arrow{color:var(--blue);text-align:center;white-space:nowrap;font-size:23px}.sequence-arrow small{margin-bottom:4px;font-size:10px;display:block}.comparison-controls{grid-template-columns:1fr 1fr;gap:22px;margin-bottom:26px;display:grid}.compare-table th:not(:first-child){font:25px var(--serif);text-transform:none;letter-spacing:0;color:var(--ink)}.compare-table td:first-child{color:var(--muted);width:23%;font-size:12px}.compare-table td{width:38.5%}.difference{background:var(--blue-soft)}.mckay-figure{border:1px solid var(--line);background:var(--paper);border-radius:6px;margin:28px 0;padding:22px}.mckay-figure svg{width:100%;max-height:280px}.mckay-figure line{stroke:var(--muted);stroke-width:1.5px}.mckay-figure circle{fill:var(--blue-soft);stroke:var(--blue);stroke-width:1.5px}.mckay-figure text{font:19px var(--serif);fill:var(--ink);text-anchor:middle;dominant-baseline:middle}.mckay-figure figcaption{color:var(--muted);text-align:center;margin-top:12px;font-size:12px}.empty-state{text-align:center;color:var(--muted);padding:45px}.toast{opacity:0;background:var(--ink);color:var(--bg);z-index:100;pointer-events:none;border-radius:6px;padding:11px 20px;font-size:13px;transition:all .15s;position:fixed;bottom:25px;left:50%;transform:translate(-50%)translateY(25px)}.toast.visible{opacity:1;transform:translate(-50%)translateY(0)}dialog{border:1px solid var(--line);background:var(--paper);width:min(620px,100vw - 30px);color:var(--ink);border-radius:10px;padding:24px;box-shadow:0 20px 100px #0003}dialog::backdrop{backdrop-filter:blur(3px);background:#12233165}.dialog-header{justify-content:space-between;align-items:center;gap:20px;margin-bottom:18px;display:flex}.dialog-header h2{margin:0;font-size:24px}.dialog-hint{color:var(--muted);margin-top:15px;font-size:11px}#search-results{max-height:440px;margin-top:12px;overflow:auto}.search-result{border-bottom:1px solid var(--line);color:var(--ink);align-items:center;gap:16px;padding:13px 6px;display:flex}.search-result:hover{background:var(--soft);text-decoration:none}.search-result .search-description{color:var(--muted);margin-top:3px;font-size:11px}.search-result .pill{margin-left:auto}.search-result .math{min-width:76px;font-size:20px}.skip-link{z-index:100;background:var(--ink);color:var(--bg);padding:12px 20px;position:fixed;top:-80px;left:15px}.skip-link:focus{top:12px}.sr-only{clip:rect(0,0,0,0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}}@layer responsive{@media (width>=1450px){.hero{padding-top:80px;padding-bottom:70px}.hero h1{font-size:72px}}@media (width<=1240px){.page,.home,.footer-inner{margin-inline:36px}.header-inner{gap:30px}#primary-nav{gap:20px}.hero{gap:45px}.hero h1{font-size:57px}}@media (width<=1000px){.header-inner{gap:25px;padding-inline:25px}.brand-domain{display:none}#primary-nav{gap:18px}.search-label,.search-trigger kbd{display:none}.search-trigger{padding:12px}.page,.home,.footer-inner{margin-inline:28px}.hero{gap:32px}.hero h1{font-size:49px}.hero .lede{font-size:16px}.workspace{grid-template-columns:190px 1fr;gap:24px}.article-layout{grid-template-columns:1fr 220px;gap:40px}.record-grid{grid-template-columns:1fr 250px;gap:30px}.filter-bar{grid-template-columns:1fr auto}.filter-bar select{grid-column:1/-1;max-width:230px}.three-column{gap:20px}.footer-inner{grid-template-columns:1.1fr 1fr}.edition{text-align:left;grid-column:1/-1}.hero-window-bottom{flex-wrap:wrap}}@media (width<=760px){h1{font-size:38px}.header-inner{gap:15px;height:62px;padding-inline:20px}.brand{font-size:21px}.brand-domain{font-size:13px;display:inline}.header-actions{gap:3px}.mobile-menu{display:block}#primary-nav{background:var(--paper);border-bottom:1px solid var(--line);flex-direction:column;gap:0;height:auto;padding:10px 20px;display:none;position:absolute;top:62px;left:0;right:0}#primary-nav.open{display:flex}#primary-nav a{border-bottom:0;border-left:2px solid #0000;padding:12px 10px}#primary-nav a.active{border-left-color:var(--copper)}.page,.home,.footer-inner{margin-inline:20px}.page{padding:32px 0 50px}.hero{grid-template-columns:1fr;gap:28px;padding:37px 0}.hero h1{max-width:450px;margin-top:13px;font-size:52px}.hero .lede{max-width:530px}.hero-footnote{margin-top:18px}.hero-window{max-width:540px}.hero-window-body{padding:20px}.hero-window-top{padding:14px 20px}.hero-group-name{margin-top:16px}.two-column,.three-column,.reference-grid{grid-template-columns:1fr}.section{padding:28px 0}.section-heading h2{font-size:27px}.section-heading{margin-bottom:17px}.article-card{min-height:0;padding:20px 0}.task-row{padding:20px 0}.page-heading{margin-bottom:28px;display:block}.page-heading .btn{margin-top:20px}.lede{font-size:16px}.workspace{display:block}.tool-sidebar{gap:7px;margin-bottom:26px;padding-bottom:8px;display:flex;position:static;overflow:auto}.tool-sidebar .eyebrow{display:none}.tool-sidebar a{border:1px solid var(--line);white-space:nowrap;border-radius:4px;padding:8px 12px;font-size:11px}.tool-sidebar a.active{border-color:var(--blue)}.workspace-content h1{font-size:34px}.tool-controls{grid-template-columns:1fr 1fr;gap:12px;padding:20px}.tool-controls>label:first-child{grid-column:1/-1}.tool-controls.two>label:first-child{grid-column:auto}.tool-output{padding:20px}.tool-actions{padding:12px 20px}.result-facts{gap:15px}.big-result{font-size:28px}.tool-card{grid-template-columns:62px 1fr auto;gap:16px;padding:23px 0}.tool-card .tool-symbol{padding:14px 5px;font-size:22px}.tool-card h2{font-size:23px}.tool-card p{font-size:13px}.tool-card .meta{font-size:11px}.filter-bar{grid-template-columns:1fr}.filter-bar .segmented{justify-self:start}.filter-bar select{grid-column:auto;max-width:100%}.record-grid,.article-layout{display:block}.record-aside,.article-aside{margin-top:35px;position:static}.article-aside{grid-template-columns:1fr 1fr;gap:25px;display:grid}.group-facts{grid-template-columns:1fr 1fr;gap:20px}.group-definition{padding:20px;font-size:20px}.comparison-controls{gap:12px}.compare-table{min-width:560px}.reference-grid{gap:20px}.footer-inner{gap:24px;padding:28px 0}.principles,.edition span{font-size:11px}.browser-heading h2{font-size:22px}.browser-heading{align-items:flex-start}.sequence{gap:6px}.sequence-node .math{font-size:24px}.sequence-arrow{font-size:20px}.sequence-node small{font-size:10px}.hero-actions .btn{padding:10px 14px}.compact-table{min-width:500px}}@media (width<=400px){.brand-domain{display:none}.page,.home,.footer-inner{margin-inline:16px}.hero h1{font-size:46px}.hero-actions{flex-wrap:wrap}.hero-window-bottom{padding:13px 20px}.footer-inner{display:block}.footer-links{margin-top:20px}.edition{margin-top:22px}.article-aside{display:block}.group-mini{grid-template-columns:67px 1fr;gap:12px}.group-mini .small-meta{display:none}.result-facts{grid-template-columns:1fr 1fr}.output-topline{flex-wrap:wrap;align-items:flex-start}.segmented button{padding-inline:12px}.tool-controls.two{grid-template-columns:1fr}.tool-controls .span-two{grid-column:auto}.comparison-controls{grid-template-columns:1fr}.sequence-arrow small{white-space:normal;max-width:50px}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*{transition:none!important}}@media print{.site-header,.site-footer,.tool-sidebar,.tool-actions,.hero-actions,.header-actions{display:none}.page,.home{margin:0;padding:0}.workspace,.record-grid,.article-layout{display:block}.tool-panel,.table-shell{break-inside:avoid}.article-aside{position:static}.bg{background:#fff}}}.math-inline{white-space:nowrap}.math-inline .katex{letter-spacing:normal;font-size:1.08em}.math-display{overscroll-behavior-inline:contain;min-width:0;max-width:100%;margin:1.15rem 0;padding:.45rem .12rem;overflow:auto hidden}.math-display>.katex-display{text-align:left;margin:.2em 0}.math-display>.katex-display>.katex{text-align:initial;min-width:0;display:inline-block}.math-display:focus-visible{outline:3px solid var(--copper,#984f2f);outline-offset:4px;border-radius:3px}.math-display .katex{letter-spacing:normal;font-size:1.15em}.big-result .math-display{margin:.65rem 0 1.15rem;font-size:clamp(1.05rem,2vw,1.4rem);line-height:1.5}.big-result .math-display .katex{font-size:1.1em}.record-heading h1>.math-inline .katex{font-size:.95em}.record-name{white-space:normal}.entity-facts .math-inline .katex{font-size:.95em}.formula-block:has(.math-display){padding-block:.6rem}.formula-block .math-display{margin:.35rem 0;font-size:1rem}.formula-caption{color:var(--muted);margin-top:-.35rem!important;font-size:.79rem!important}.table-shell .math-inline .katex{font-size:1.04em}.record-main,.article-main,.workspace-content{min-width:0}.sl-markdown-content .katex-display{padding:.45rem .08rem;overflow:auto hidden}.sl-markdown-content .katex{font-size:1.08em}.sl-markdown-content .katex-display>.katex{min-width:0;display:inline-block}@media (width<=600px){.math-display{font-size:.94rem}.big-result .math-display{font-size:1rem}.record-heading h1>.math-inline{max-width:100%;padding-bottom:.2rem;display:block;overflow-x:auto}.record-heading h1>.math-inline .katex{font-size:.86em}}@media print{.math-display,.sl-markdown-content .katex-display{break-inside:avoid;overflow:visible}.math-display{font-size:10pt}.big-result .math-display{font-size:11pt}.math-display:focus-visible{outline:0}.math-display a:after,.math-inline a:after{content:none!important}}.out-arrow{vertical-align:middle;flex-shrink:0;width:12px;height:12px;margin-left:2px;display:inline-block;position:relative}.out-arrow:before{content:"";border-top:1.4px solid;border-right:1.4px solid;width:7px;height:7px;position:absolute;top:2px;right:1px}.out-arrow:after{content:"";background:currentColor;width:11px;height:1.4px;position:absolute;top:6px;left:0;transform:rotate(-45deg)}tbody th{font:inherit;letter-spacing:normal;text-transform:none;border-bottom:1px solid var(--line);background:0 0;font-weight:400}tbody tr:last-child th{border-bottom:0}h1,h2,h3{overflow-wrap:anywhere}.foundation-banner{border-bottom:1px solid var(--line);color:var(--muted);justify-content:space-between;align-items:center;gap:18px;padding:12px 0;font-size:12px;display:flex}.foundation-banner a{white-space:nowrap}.record-kind{color:var(--muted);margin-top:12px;font-size:12px}.record-heading h1{font-size:51px}.record-heading .lede{max-width:800px}.record-name{font-family:var(--sans);letter-spacing:0;color:var(--muted);margin-top:12px;font-size:19px;line-height:1.5;display:block}.entity-facts{grid-template-columns:repeat(4,minmax(0,1fr));gap:22px;margin:28px 0;display:grid}.entity-facts .fact dd{overflow-wrap:anywhere;font-size:23px}.fact-source{font:11px var(--sans);margin-top:10px;display:block}.level-classification{background:var(--soft);color:var(--muted)}.level-reference{background:var(--blue-soft);color:var(--blue)}.level-executable{background:var(--good-bg);color:var(--green)}.coverage-note{border-left:3px solid var(--copper);background:var(--soft);margin:20px 0;padding:13px 18px;font-size:13px;line-height:1.7}.record-main h2{scroll-margin-top:100px}.record-main .article-paragraph{margin-bottom:22px}.inline-evidence{font:11px var(--sans);white-space:nowrap;margin-left:6px}.evidence-list{margin:12px 0;padding:0;list-style:none}.evidence-list li{border-bottom:1px solid var(--line);padding:10px 0;font-size:12px;line-height:1.65}.evidence-list li:last-child{border:0}.source-locator{color:var(--muted);margin:3px 0;display:block}.source-original{margin-top:4px;font-size:11px;display:inline-block}.assumptions,.derivation{color:var(--muted);background:var(--soft);border-radius:4px;padding:12px;font-size:12px}.claim-detail{border:1px solid var(--line);background:var(--paper);border-radius:5px;margin:12px 0;padding:15px 18px;scroll-margin-top:90px}.claim-detail summary{font-size:14px;display:list-item}.claim-id{font:11px var(--mono);color:var(--muted);overflow-wrap:anywhere;margin-top:10px;display:block}.claim-value{margin:12px 0;font-size:14px}.claim-actions{gap:15px;margin-top:14px;font-size:11px;display:flex}.relationship-list{padding:0;list-style:none}.relationship-list li{border-bottom:1px solid var(--line);justify-content:space-between;align-items:baseline;gap:20px;padding:13px 0;display:flex}.relationship-list .math{font-size:22px}.relationship-list small{color:var(--muted);font-size:12px}.identity-meta{color:var(--muted);flex-wrap:wrap;gap:14px;margin-top:20px;font-size:12px;display:flex}.citation-text{overflow-wrap:anywhere;font-size:12px;line-height:1.7}.atlas-tabs{flex-wrap:wrap;gap:8px;margin-bottom:25px;display:flex}.atlas-tabs a{border:1px solid var(--line);background:var(--paper);border-radius:4px;padding:8px 13px;font-size:12px}.atlas-tabs a.active{background:var(--blue-soft);border-color:var(--blue)}.browse-controls{grid-template-columns:minmax(220px,1fr) 180px 180px;gap:15px;margin:25px 0;display:grid}.browse-controls label{font-size:12px}.search-page-controls{grid-template-columns:1fr 180px 160px;gap:15px;display:grid}.search-query-row{gap:10px;margin:25px 0 18px;display:flex}.search-query-row input{font-size:17px}.search-page-results{margin-top:26px}.search-entry{border-top:1px solid var(--line);padding:22px 0}.search-entry h2{margin:10px 0;font-size:27px}.search-entry p{max-width:850px;color:var(--muted);font-size:14px}.search-entry .search-name{font:13px var(--sans);color:var(--muted);letter-spacing:0;margin-left:12px}.entity-table th:first-child{max-width:420px}.catalogue-counts{border-block:1px solid var(--line);flex-wrap:wrap;gap:28px;margin-bottom:30px;padding:20px 0;display:flex}.catalogue-counts strong{font:31px var(--serif);color:var(--ink);display:block}.catalogue-counts span{color:var(--muted);font-size:12px}.classification-grid{grid-template-columns:1fr 1fr;gap:24px;display:grid}.collection-card{border:1px solid var(--line);background:var(--paper);color:var(--ink);border-radius:6px;padding:25px 26px;display:block}.collection-card:hover{border-color:var(--copper);text-decoration:none}.collection-card h2{margin:0 0 12px;font-size:27px}.collection-card p{color:var(--muted);margin-bottom:12px;font-size:14px}.collection-card .meta{color:var(--blue)}.family-parameters{margin:22px 0}.map-grid{grid-template-columns:1fr 1fr;gap:20px;display:grid}.map-grid div{background:var(--soft);border-radius:5px;padding:20px;font-size:14px}.map-grid strong{text-transform:uppercase;letter-spacing:.08em;color:var(--muted);margin-bottom:9px;font-size:11px;display:block}.map-grid a{font:25px var(--serif)}.review-status{border:1px solid var(--line);background:var(--paper);border-radius:5px;margin:25px 0;padding:20px}.review-status p{margin:8px 0;font-size:13px}.record-aside{min-width:0}.record-aside .btn{white-space:normal}.pager{justify-content:center;align-items:center;gap:14px;margin:22px 0;display:flex}.chip-link{border:1px solid var(--line);background:var(--paper);border-radius:4px;margin:3px;padding:6px 10px;font-size:12px;display:inline-block}.code-block{font:12px/1.7 var(--mono);background:var(--soft);border-radius:4px;padding:18px;overflow:auto}.notice{background:var(--blue-soft);border-left:3px solid var(--blue);margin:22px 0;padding:18px 22px;font-size:14px}.counter-label{font:11px var(--sans);text-transform:uppercase;letter-spacing:.08em;color:var(--muted)}#correction-form{gap:18px;margin:25px 0;display:grid}textarea{font:inherit;background:var(--paper);color:var(--ink);border:1px solid var(--line);border-radius:5px;max-width:100%;padding:10px}#correction-form textarea{width:100%;min-height:90px;margin-top:7px;display:block}.pending-badge{color:var(--muted);font-size:11px;font-weight:400}.no-script{background:var(--soft);padding:15px;font-size:13px}.atlas-filter-submit{align-self:end}.provenance-summary{color:var(--muted);font-size:12px}.compare-table{min-width:650px}.empty-small{color:var(--muted);padding:20px;font-size:13px}[hidden]{display:none!important}@media (width<=1000px){.browse-controls{grid-template-columns:1fr 160px 160px}.record-grid{grid-template-columns:minmax(0,1fr) 250px;gap:30px}.entity-facts{grid-template-columns:repeat(3,1fr)}}@media (width<=760px){.record-heading h1{font-size:39px}.record-name{font-size:17px}.foundation-banner{align-items:start;gap:12px}.foundation-banner a{white-space:normal}.browse-controls,.search-page-controls{grid-template-columns:1fr 1fr}.browse-controls label:first-child{grid-column:1/-1}.classification-grid,.record-grid{display:block}.collection-card{margin-bottom:18px}.entity-facts{grid-template-columns:1fr 1fr}.search-query-row{flex-wrap:wrap}.search-query-row input{flex:1;min-width:200px}.search-query-row .btn{flex:0}.map-grid{grid-template-columns:1fr}.relationship-list li{align-items:start}.breadcrumbs{flex-wrap:wrap}.btn.small{min-height:44px}.record-aside{margin-top:30px}.claim-detail{padding:14px}.search-entry .search-name{margin:8px 0 0;display:block}.catalogue-counts{gap:20px}.table-shell:focus-visible{outline:3px solid var(--copper);outline-offset:3px}}@media print{.entity-facts{grid-template-columns:repeat(4,1fr)}.record-grid{display:block}.record-aside{display:none}.claim-detail{break-inside:avoid}.claim-detail[open]{display:block}.record-main a[href^=https]:after{content:" (" attr(href) ")";overflow-wrap:anywhere;font-size:10px}.atlas-tabs,.browse-controls,.pager{display:none}}