@import url('https://fonts.googleapis.com/css2?family=DM+Sans:opsz,wght@9..40,400;9..40,500;9..40,700;9..40,800;9..40,900&family=IBM+Plex+Mono:wght@400;500&family=Source+Serif+4:ital,opsz,wght@0,8..60,400;0,8..60,600;1,8..60,400&display=swap');

/* Identity: warm paper, ink rules, three primaries. Display type is geometric sans,
   reading text is a serif, and anything that is a key, a number or an identifier is mono. */
:root{
  --paper:#f2ede3;--white:#fbf9f3;--sand:#e6dfd0;--ink:#161513;--muted:#625e55;--line:#c6bfb0;
  --red:#d7372b;--blue:#1d3fb8;--yellow:#efc230;--ochre:#8a6d00;
  --display:'DM Sans',Helvetica,Arial,sans-serif;
  --serif:'Source Serif 4',Georgia,'Times New Roman',serif;
  --mono:'IBM Plex Mono',ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;
}
*{box-sizing:border-box}html{scroll-behavior:smooth}
body{margin:0;background:var(--paper);color:var(--ink);font:17px/1.6 var(--serif);font-feature-settings:'kern','liga','onum'}
a{color:inherit;text-decoration:none}button,input,select,textarea{font:inherit}button,a,input,select,textarea{touch-action:manipulation}
a:focus-visible,button:focus-visible,input:focus-visible,select:focus-visible,textarea:focus-visible,summary:focus-visible{outline:3px solid var(--area-ink,var(--ink));outline-offset:4px}
[hidden]{display:none!important}
h1,h2,h3,h4{font-family:var(--display);margin-top:0}
h1{font-size:clamp(55px,6.2vw,87px);font-weight:800;line-height:.99;letter-spacing:-.055em;margin:0 0 30px}
h2{font-size:37px;line-height:1.08;font-weight:800;letter-spacing:-.04em;margin:0 0 18px}
h3{font-size:24px;font-weight:700;line-height:1.2;letter-spacing:-.025em}
p{margin-top:0}
.eyebrow{font:700 10.5px/1.5 var(--display);text-transform:uppercase;letter-spacing:.17em;margin:0 0 25px}
.mono,.key,code,pre,.energy,td.num,th.num{font-family:var(--mono)}
.key{font-size:12px;background:var(--sand);padding:3px 7px;border-radius:0;color:var(--ink);word-break:break-all}
.tag{display:inline-block;font:700 10px/1.4 var(--display);text-transform:uppercase;letter-spacing:.1em;border:1.5px solid var(--ink);padding:4px 7px;white-space:nowrap}
.section-mark{display:inline-block;width:12px;height:12px;background:var(--red);vertical-align:middle;margin-right:10px;flex:none}
/* Colour code: red square = Wiki, blue circle = Ketboard, yellow triangle = contributing; Ketbook (no area) is ink. */
[data-area=wiki]{--area:var(--red);--area-ink:#b32a1f;--mark-radius:0;--mark-clip:none}
[data-area=board]{--area:var(--blue);--area-ink:var(--blue);--mark-radius:50%;--mark-clip:none}
[data-area=contribute]{--area:var(--yellow);--area-ink:var(--ochre);--mark-radius:0;--mark-clip:polygon(50% 0,100% 100%,0 100%)}
[data-area=home]{--area:var(--ink);--area-ink:var(--ink);--mark-radius:0;--mark-clip:none}
.eyebrow.mark:before{content:"";display:inline-block;width:11px;height:11px;margin-right:9px;background:var(--area);border-radius:var(--mark-radius);clip-path:var(--mark-clip);vertical-align:-1px}
.dot{color:var(--area)}
.skip{position:absolute;left:20px;top:-100px;background:var(--yellow);padding:12px;z-index:100;font-family:var(--display)}.skip:focus{top:10px}

/* Shell: persistent left navigation and a content column */
.shell{display:grid;grid-template-columns:272px minmax(0,1fr);min-height:100vh}
.site-nav{border-right:2px solid var(--ink);background:var(--paper);position:sticky;top:0;height:100vh;overflow-y:auto;padding:26px 24px 40px;font-family:var(--display)}
.nav-head{display:flex;align-items:center;justify-content:space-between;margin-bottom:26px}
.nav-toggle{display:none;border:2px solid var(--ink);background:transparent;padding:8px 12px;font:700 11px/1 var(--display);text-transform:uppercase;letter-spacing:.1em;cursor:pointer}
.nav-group+.nav-group{margin-top:26px}
.nav-group{border-top:3px solid var(--area);padding-top:16px}.nav-title{margin:0 0 10px}.nav-title a{display:inline-flex;align-items:center;gap:10px;font:800 15px/1.2 var(--display);letter-spacing:-.02em}.nav-title a:before{content:"";width:13px;height:13px;flex:none;background:var(--area);border-radius:var(--mark-radius);clip-path:var(--mark-clip)}.nav-title a[aria-current=page]{box-shadow:0 3px var(--area)}
.nav-sub{margin:10px 0 0}.nav-sub summary{list-style:none;cursor:pointer;font:700 9.5px/1.4 var(--display);text-transform:uppercase;letter-spacing:.17em;color:var(--muted);padding:4px 0 4px 14px;position:relative}
.nav-sub summary::-webkit-details-marker{display:none}.nav-sub summary:before{content:'';position:absolute;left:1px;top:9px;width:0;height:0;border-left:5px solid var(--area-ink);border-top:4px solid transparent;border-bottom:4px solid transparent}.nav-sub[open]>summary:before{transform:rotate(90deg)}.nav-sub summary:hover{color:var(--ink)}
.nav-sub a{margin-left:14px}
.nav-body a:not(.nav-title a){display:block;padding:6px 0 6px 10px;border-left:2px solid transparent;font:500 13px/1.35 var(--display);color:var(--ink)}
.nav-body a:not(.nav-title a):hover{border-left-color:var(--line)}
.nav-body a[aria-current=page],.nav-body a.active{border-left-color:var(--area);font-weight:800}
.content{min-width:0}
.brand{font:900 28px/1 var(--display);letter-spacing:-.06em;display:flex;align-items:center}
.brand-symbol{display:block;width:79px;height:23px;margin-right:12px;flex:none}
.brand-period{color:var(--ink)}
footer{max-width:1240px;margin:auto;padding:30px 56px;display:flex;align-items:center;justify-content:space-between;border-top:2px solid var(--ink);gap:25px;font:500 12px/1.5 var(--display)}footer .brand{font-size:27px}footer p{margin:0;color:var(--muted);font-family:var(--serif);font-style:italic;font-size:15px}
main{max-width:1240px;margin:auto;padding:0 56px}.view{padding-bottom:80px}.interior{padding-top:56px}

/* Buttons and links */
.actions{display:flex;gap:26px;align-items:center;flex-wrap:wrap}
.button{display:inline-flex;align-items:center;justify-content:space-between;gap:28px;border:2px solid var(--ink);background:var(--ink);color:var(--paper);padding:13px 20px;font:700 12px/1.5 var(--display);cursor:pointer}
.button:hover{background:var(--area-ink,var(--ink));border-color:var(--area-ink,var(--ink));color:#fff}.button.secondary{background:transparent;color:var(--ink)}.button.secondary:hover{background:var(--area);border-color:var(--ink);color:var(--ink)}
.text-link{font:700 12px/1.6 var(--display)}.text-link:hover{text-decoration:underline;text-underline-offset:5px}
.lede{font-size:19px;line-height:1.55;max-width:520px;color:#3f3d37;margin:34px 0 28px}.wide{max-width:780px;margin-top:0}
.section-lede{max-width:720px;color:var(--muted);margin:-8px 0 26px;font-size:16px}

/* Hero */
.hero{display:grid;grid-template-columns:1.3fr 1fr;gap:60px;align-items:center;padding:56px 0 52px;border-bottom:2px solid var(--ink)}
.title-underline{position:relative;display:inline-block}.title-underline:after{content:'';position:absolute;height:8px;background:var(--red);bottom:-12px;left:0;right:0}
.hero-footnote{font:700 9.5px/1.5 var(--display);text-transform:uppercase;letter-spacing:.2em;margin:46px 0 0;color:var(--muted)}
.logo-plate{border:2px solid var(--ink);max-width:420px;width:100%;justify-self:end;align-self:start;margin-top:96px}.logo-plate svg{display:block;width:100%}
.name-block{display:grid;grid-template-columns:48px 1fr;gap:22px;align-items:start;padding:24px 0;border-top:2px solid var(--ink)}.name-block+.name-block{border-top-width:1px;border-color:var(--line)}
.name-mark{width:48px;height:48px;margin-top:10px}.name-mark.square{background:var(--red)}.name-mark.circle{background:var(--blue);border-radius:50%}.name-mark.triangle{background:var(--yellow);clip-path:polygon(50% 0,100% 100%,0 100%)}
.project-name{font-size:clamp(64px,7.4vw,104px);font-weight:900;letter-spacing:-.045em;line-height:.95;margin:6px 0 14px}.project-lede{font-size:19px;line-height:1.45;color:#3f3d37;margin:0 0 30px;max-width:540px}
.name-block h1,.name-block h2{font-size:clamp(38px,3.8vw,54px);font-weight:900;letter-spacing:-.05em;line-height:1;margin:0 0 10px}.name-block p{font-size:17px;line-height:1.5;color:#3f3d37;margin:0;max-width:520px}.name-block:hover h1,.name-block:hover h2{color:var(--area-ink)}.name-block:hover .name-mark{transform:translateX(4px)}
.hero-note{font-size:15.5px;color:var(--muted);margin:24px 0 0;max-width:560px;border-top:2px solid var(--ink);padding-top:18px}
.manifesto{display:grid;grid-template-columns:100px 1fr 240px;gap:25px;border-top:2px solid var(--ink);border-bottom:2px solid var(--ink);padding:27px 0;align-items:center}
.section-number{font:12px/1 var(--mono)}.manifesto p{font:700 25px/1.25 var(--display);letter-spacing:-.03em;margin:0}.manifesto-note{font-size:14px;font-style:italic;color:var(--muted)}

/* Landing: contents of the book */
.section-top{display:flex;justify-content:space-between;align-items:end;margin:64px 0 26px}.section-top h2{margin:0}.section-top .eyebrow{margin-bottom:12px}
.book-contents{display:grid;grid-template-columns:repeat(3,1fr);border-top:2px solid var(--ink);border-bottom:2px solid var(--ink)}
.contents-column{padding:26px 28px 18px}.contents-column+.contents-column{border-left:1px solid var(--line)}
.contents-section{display:flex;align-items:center;font:700 11px/1 var(--display);text-transform:uppercase;letter-spacing:.17em;margin:0 0 18px}
.contents-entry{display:grid;grid-template-columns:32px 1fr;gap:4px 12px;padding:14px 0;border-top:1px solid var(--line)}
.contents-entry .mono{font-size:12px;color:var(--muted);padding-top:5px}.contents-entry strong{font:700 20px/1.2 var(--display);letter-spacing:-.025em}
.contents-summary{grid-column:2;font-size:14.5px;line-height:1.5;color:var(--muted)}.contents-entry:hover strong{color:#b32a1f}

/* Tables: ledger on the landing page, board on Ketboard */
.table-scroll{overflow:auto}
table{border-collapse:collapse;width:100%;font-size:14.5px;text-align:left}
th{background:var(--ink);color:var(--paper);font:700 10px/1.4 var(--display);text-transform:uppercase;letter-spacing:.12em;padding:13px 12px;vertical-align:bottom}
td{border-bottom:1px solid var(--line);padding:16px 12px;vertical-align:top}td small{display:block;color:var(--muted);margin-top:4px;font:13px/1.45 var(--serif)}
td a{text-decoration:underline;text-underline-offset:3px}.num{text-align:right}th.num .sort{justify-content:flex-end}
.energy{font-size:15px;white-space:nowrap}.rank{color:var(--muted);width:40px}
.ledger{min-width:820px}.ledger-system{display:flex;align-items:center;gap:14px;font:700 18px/1.15 var(--display);letter-spacing:-.02em}.ledger-system svg{width:40px;height:40px;stroke:var(--ink);fill:var(--paper);flex:none}.ledger-system:hover{color:var(--blue)}
.board{min-width:1040px}
.sort{display:inline-flex;align-items:center;gap:6px;background:none;border:0;color:inherit;padding:0;cursor:pointer;font:inherit;text-transform:inherit;letter-spacing:inherit}
.sort:after{content:'↕';opacity:.45;font-family:var(--mono)}th[aria-sort=ascending] .sort:after{content:'↑';opacity:1}th[aria-sort=descending] .sort:after{content:'↓';opacity:1}th[aria-sort] .sort{color:#fff;text-decoration:underline;text-underline-offset:4px}
.table-heading{display:flex;align-items:center;justify-content:space-between;margin-top:8px}.table-heading h2{font-size:29px}.mono{font-family:var(--mono);font-size:12px}
.table-note{font-size:14px;color:var(--muted);max-width:850px;margin-top:20px;font-style:italic}
.empty{padding:42px;border:1px solid var(--line);border-top:0;display:flex;gap:28px;align-items:center}.empty-mark{display:block;width:58px;height:58px;background:var(--yellow);flex:none}.empty h3{margin-bottom:12px}.empty p{font-size:15px;color:var(--muted);margin-bottom:15px}

/* Landing: equation band, steps, banner */
.equation-band{margin-top:64px;background:var(--sand);border-top:2px solid var(--ink);border-bottom:2px solid var(--ink);display:grid;grid-template-columns:180px 1fr 185px;gap:20px;align-items:center;padding:30px 32px}.equation-band .eyebrow{margin:0}.hero-math{overflow:auto;font-size:18px}.equation-band p{font:600 12px/1.5 var(--display);margin:0}
.how-it-works{display:grid;grid-template-columns:repeat(3,1fr);gap:0;margin-top:64px;border-top:2px solid var(--ink)}.how-it-works>div{padding:28px 28px 10px}.how-it-works>div+div{border-left:1px solid var(--line)}
.step-mark{display:block;width:34px;height:34px;margin-bottom:22px}.step-mark.red{background:var(--red)}.step-mark.blue{background:var(--blue);border-radius:50%}.step-mark.yellow{background:var(--yellow);clip-path:polygon(50% 0,100% 100%,0 100%)}
.how-it-works h3{font-size:22px;margin-bottom:8px}.how-it-works p{font-size:15px;color:var(--muted)}
.contribution-banner{display:flex;align-items:center;gap:36px;margin:62px 0 0;border-top:2px solid var(--ink);padding-top:40px}.banner-dot{width:73px;height:73px;background:var(--yellow);clip-path:polygon(50% 0,100% 100%,0 100%);flex:none}.contribution-banner>div{flex:1}.contribution-banner .eyebrow{margin-bottom:10px}.contribution-banner h2{font-size:34px;margin-bottom:10px}.contribution-banner p:not(.eyebrow){font-size:16px;color:var(--muted);margin-bottom:0}

/* Ketboard */
.page-heading{display:flex;align-items:center;justify-content:space-between;gap:30px}.page-heading h1{margin-bottom:25px}.red-dot{color:var(--red)}.blue-dot{color:var(--blue)}
.toolbar{display:grid;grid-template-columns:1.1fr 1.6fr 1fr 1.2fr auto;gap:18px;align-items:end;margin:35px 0 25px}
.toolbar label,.wiki-search,.submission-form label{font:700 11px/1.4 var(--display);display:flex;flex-direction:column;gap:8px;min-width:0}
input,select,textarea{border:1px solid var(--ink);background:var(--white);padding:12px;color:var(--ink);width:100%;border-radius:0;min-height:46px;font:15px/1.4 var(--serif)}input.mono{font-family:var(--mono);font-size:14px}textarea{resize:vertical}.toolbar .button{min-height:46px}
.definition{border:2px solid var(--ink);border-left:8px solid var(--blue);padding:25px 28px;margin-bottom:40px;background:var(--white)}
.definition-head{display:flex;justify-content:space-between;align-items:start;gap:24px;border-bottom:1px solid var(--line);padding-bottom:20px;margin-bottom:22px}.definition-head .eyebrow{margin-bottom:8px}.definition-head h2{font-size:30px;margin-bottom:6px}.instance-label{font:500 15px/1.4 var(--display);color:var(--muted);margin:0}
.definition dl{display:grid;grid-template-columns:110px minmax(0,1fr);gap:13px 15px;font-size:15px;margin:0}.definition dt{font:700 10px/1.6 var(--display);text-transform:uppercase;letter-spacing:.12em}.definition dd{margin:0;overflow:auto}.definition .katex-display{margin:0;text-align:left}.definition .katex-display>.katex{text-align:left}
.instance-conventions{border-top:1px solid var(--line);margin-top:22px;padding-top:15px;font-size:14px}.instance-conventions summary{font:700 11px/1.5 var(--display);cursor:pointer}.instance-conventions p{margin:14px 0 0;color:var(--muted)}
#system-wiki{display:inline-block;margin-top:18px}

/* Wiki index */
.wiki-search{max-width:470px;margin:35px 0 40px}.wiki-list{border-top:2px solid var(--ink)}
.wiki-group-title{display:flex;align-items:center;font:700 11px/1 var(--display);text-transform:uppercase;letter-spacing:.17em;margin:0;padding:22px 18px 8px}
.wiki-row{display:grid;grid-template-columns:65px 1fr 30px;align-items:center;gap:18px;padding:22px 18px;border-bottom:1px solid var(--line)}.wiki-row:hover{background:var(--white)}
.wiki-row .wiki-number{font:500 26px/1 var(--mono);color:var(--muted)}.wiki-row h3{font-size:27px;letter-spacing:-.03em;margin-bottom:6px}.wiki-row p{font-size:15.5px;color:var(--muted);margin:0}.wiki-row:hover h3{color:var(--red-ink,#b32a1f)}
.wiki-callout{padding:28px 30px;border-left:6px solid var(--red);margin-top:40px;background:var(--sand)}.wiki-callout b{font-family:var(--display)}.wiki-callout p{font-size:15px;margin:10px 0}

/* Contribute and submit */
.contribute-options{display:grid;grid-template-columns:1fr 1fr;border:2px solid var(--ink);margin:40px 0}.contribute-options>a{padding:30px}.contribute-options>a+a{border-left:2px solid var(--ink)}.contribute-options>a:hover{background:var(--white)}.contribute-options h2{font-size:30px}.contribute-options p{font-size:15px;max-width:400px;color:var(--muted);margin-bottom:0}
.steps{list-style:none;padding:0;margin:45px 0;max-width:940px}.steps li{display:flex;gap:35px;border-top:1px solid var(--line);padding:25px 0 10px}.steps li>span{font:800 48px/1 var(--display);color:var(--yellow);-webkit-text-stroke:1.5px var(--ink);width:40px;flex:none}.steps h2{font-size:28px;margin-bottom:10px}.steps p,.policy p{font-size:16px;color:var(--muted)}
.policy{border-top:5px solid var(--ink);padding:30px;background:var(--white)}.policy h2{font-size:30px}
.submission-form{max-width:1000px}.submission-form fieldset{display:grid;grid-template-columns:1fr 1fr;gap:22px;border:0;border-top:2px solid var(--ink);padding:27px 0;margin:35px 0}.submission-form legend{font:700 12px/1.5 var(--display);letter-spacing:.08em;padding-right:20px}
.submission-form .wide-field{grid-column:1/-1}.submission-form fieldset[hidden]{display:none}.submission-ready h3{font-size:20px;margin:26px 0 8px}#instance-json{margin-top:18px}
.submission-form .check-label{flex-direction:row;align-items:center;grid-column:1/-1;font:400 15px/1.5 var(--serif)}.check-label input{width:18px;height:18px;min-height:18px;accent-color:var(--ink);flex:none}
.optional{font:400 11px/1.4 var(--display);color:var(--muted);text-transform:none;letter-spacing:0}
.form-note{font-size:14.5px;color:var(--muted);max-width:720px}.form-note a{text-decoration:underline}
.submission-ready{margin-top:45px;border-top:6px solid var(--yellow);padding:30px;background:var(--white)}.submission-ready>p{max-width:750px;font-size:15px}
pre{white-space:pre;overflow:auto;font-size:12.5px;background:var(--sand);padding:24px;line-height:1.7}.submission-ready pre{margin-top:28px}#submission-error{color:#a02018;margin-top:16px;font-family:var(--display);font-size:14px}

/* Articles */
.article-layout{display:grid;grid-template-columns:minmax(0,760px) 200px;gap:56px;padding-top:50px;padding-bottom:75px;align-items:start}
.article-toc{position:sticky;top:24px;font-family:var(--display);font-size:12px}.article-actions{display:flex;gap:18px;flex:none}
.article-toc .eyebrow{margin-bottom:12px}.article-toc nav{display:flex;flex-direction:column;border-left:2px solid var(--ink)}.article-toc a{padding:6px 0 6px 14px;font:500 12.5px/1.35 var(--display);color:var(--muted)}.article-toc a:hover{color:var(--ink)}
.article-top{display:flex;justify-content:space-between;gap:20px;align-items:start}.article-top .eyebrow{margin-bottom:25px;display:flex;gap:14px;align-items:center;flex-wrap:wrap}.article-top .key{text-transform:none;letter-spacing:0;font-weight:400}
.article-content{font-size:18px;line-height:1.7}
.article-content h1{font-size:56px;line-height:1.02;letter-spacing:-.045em;padding-bottom:25px;border-bottom:3px solid var(--ink);margin-bottom:28px}
.article-content h2{font-size:28px;letter-spacing:-.03em;margin-top:46px;line-height:1.2;padding-top:18px;border-top:1px solid var(--line)}.article-content h3{font-size:21px;margin-top:30px}
.article-content h2 a,.article-content h3 a{color:inherit;text-decoration:none}
.article-content p{margin-bottom:20px}.article-content a{color:#b32a1f;text-decoration:underline;text-underline-offset:3px;text-decoration-thickness:1px}.article-content a:hover{color:#7d1a12;text-decoration-thickness:2px}
.article-content strong{font-weight:600}.article-content em{font-style:italic}
.article-content code{font-size:.82em;background:var(--sand);padding:2px 5px}
.article-content .katex-display{overflow-x:auto;overflow-y:hidden;padding:22px 16px;background:var(--sand);font-size:.98em;margin:24px 0;border-left:3px solid var(--ink)}.article-content .katex{font-size:1.06em}
.article-content ul,.article-content ol{padding-left:24px;margin-bottom:20px}.article-content li{margin-bottom:8px}.article-content li::marker{font-family:var(--mono);font-size:.85em;color:var(--muted)}
.article-content h2:has(+ ul) + ul,.article-content h2 + p + ul{margin-top:0}
.status{font:700 10px/1 var(--display);text-transform:uppercase;letter-spacing:.12em;padding:5px 8px;border:1.5px solid currentColor}.status-draft{color:var(--ochre)}.status-reviewed{color:var(--ink)}
.article-content blockquote{margin:0 0 28px;padding:18px 22px;border:2px solid var(--ink);border-left-width:8px;background:var(--white);font-size:16.5px;line-height:1.6}.article-content blockquote p:last-child{margin-bottom:0}.article-content blockquote strong{font-family:var(--display);font-weight:800;letter-spacing:-.01em}
.article-content table{font-size:15px;margin:0 0 26px;display:block;overflow-x:auto}.article-content th{font-size:10px;padding:10px 12px}.article-content td{padding:10px 12px;vertical-align:top}.article-content td:first-child{font-family:inherit;white-space:nowrap}
.article-end{display:flex;gap:25px;border-top:2px solid var(--ink);padding-top:30px;margin-top:50px}.small-mark{width:45px;height:45px;background:var(--yellow);clip-path:polygon(50% 0,100% 100%,0 100%);flex:none}.article-end h2{font-size:25px}.article-end p{font-size:15px;color:var(--muted)}

@media(min-width:1500px){.hero{gap:90px}.hero h1{font-size:93px}}
@media(max-width:1250px){.article-layout{grid-template-columns:minmax(0,1fr)}.article-toc{display:none}}
@media(max-width:1100px){.shell{grid-template-columns:232px minmax(0,1fr)}.site-nav{padding:22px 18px}main,footer{padding-left:35px;padding-right:35px}.hero{gap:35px}.equation-band{grid-template-columns:140px 1fr}.equation-band>p{display:none}.article-layout{gap:35px;grid-template-columns:190px minmax(0,1fr)}.book-contents{grid-template-columns:1fr}.contents-column+.contents-column{border-left:0;border-top:1px solid var(--line)}.toolbar{grid-template-columns:1fr 1fr}.toolbar .button{grid-column:1/-1;justify-self:start}}
@media(max-width:760px){
  .shell{grid-template-columns:1fr}.site-nav{position:static;height:auto;border-right:0;border-bottom:2px solid var(--ink);padding:18px 22px}.nav-head{margin-bottom:0}.nav-toggle{display:inline-block}.nav-body{display:none;margin-top:18px}.site-nav.open .nav-body{display:block}main{padding:0 22px}
  body{font-size:16px}.hero{grid-template-columns:1fr;padding:42px 0;gap:35px}.hero h1{font-size:clamp(44px,11.6vw,70px)}.lede{font-size:17px}.hero-footnote{margin-top:25px}
  .logo-plate{max-width:300px;justify-self:center}.name-block{grid-template-columns:34px 1fr;gap:14px;padding:18px 0}.name-mark{width:34px;height:34px;margin-top:6px}.name-block p{font-size:15px}
  .manifesto{grid-template-columns:60px 1fr;padding:24px 0;gap:15px}.manifesto p{font-size:21px}.manifesto-note{display:none}
  .section-top{margin-top:40px;gap:20px;align-items:center}.section-top h2{font-size:29px}.section-top>a{font-size:10px;white-space:nowrap}
  .contents-column{padding:20px 6px 12px}.contents-entry strong{font-size:18px}
  .equation-band{grid-template-columns:1fr;padding:22px;gap:8px;margin-top:35px}.hero-math{font-size:17px}
  .how-it-works{grid-template-columns:1fr}.how-it-works>div+div{border-left:0;border-top:1px solid var(--line)}.how-it-works>div{padding:22px 6px 6px}
  .contribution-banner{margin-top:38px;gap:18px;flex-wrap:wrap;padding-top:28px}.banner-dot{height:45px;width:45px}.contribution-banner h2{font-size:29px}.contribution-banner>div{flex-basis:70%}.contribution-banner>.button{margin-left:63px}
  .interior{padding-top:38px}.interior h1{font-size:56px}.page-heading{flex-wrap:wrap;gap:5px;margin-bottom:20px}.page-heading h1{margin-bottom:15px}
  .toolbar{grid-template-columns:1fr;gap:16px}.definition{padding:22px 18px}.definition-head{flex-direction:column;gap:12px}.definition dl{grid-template-columns:1fr;gap:7px}.definition dd{margin-bottom:15px}.definition .katex{font-size:1em}
  .empty{padding:28px 20px;gap:20px}.empty-mark{width:35px;height:35px}.empty h3{font-size:21px}.table-heading h2{font-size:25px}
  .wiki-row{grid-template-columns:40px 1fr 20px;gap:12px;padding:20px 5px}.wiki-row h3{font-size:22px}.wiki-row p{font-size:14px}.wiki-row .wiki-number{font-size:20px}.wiki-group-title{padding-left:5px}
  .contribute-options{grid-template-columns:1fr}.contribute-options>a+a{border-left:0;border-top:2px solid var(--ink)}.contribute-options>a{padding:24px}
  .steps li{gap:18px}.steps h2{font-size:25px}.steps li>span{font-size:40px;width:30px}.submission-form fieldset{grid-template-columns:1fr}.submission-ready{padding:23px 18px}
  .article-layout{grid-template-columns:minmax(0,1fr);padding-top:30px;gap:32px}.article-top{flex-direction:column;gap:10px}
  .article-content h1{font-size:42px}.article-content{font-size:16.5px}.article-content .katex-display{font-size:.9em;padding:18px 12px}.article-top .text-link{font-size:10px}.article-top .eyebrow{font-size:9px;flex-wrap:wrap}.article-end{gap:18px}.article-end h2{font-size:23px}
  footer{padding:25px 22px;flex-wrap:wrap;gap:15px}footer p{display:none}.view{padding-bottom:50px}
}
@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;transition:none!important}}

/* Ketboard overview */
.back-link{display:inline-block;margin:6px 0 22px;font:700 12px/1 var(--display);text-transform:uppercase;letter-spacing:.14em}.back-link:before{content:'';display:inline-block;width:0;height:0;border-right:6px solid var(--blue);border-top:5px solid transparent;border-bottom:5px solid transparent;margin-right:10px;vertical-align:-1px}.back-link:hover{color:var(--blue)}
.board-family{margin-top:46px}.family-head{display:flex;flex-wrap:wrap;align-items:center;gap:10px 22px;border-top:2px solid var(--ink);padding:18px 0 14px}.family-head h2{display:flex;align-items:center;gap:14px;font-size:28px;letter-spacing:-.03em;margin:0}.family-head svg{width:36px;height:36px;stroke:var(--ink);fill:var(--paper);flex:none}.family-meta{margin:0 auto 0 0;font:500 12px/1.4 var(--mono);color:var(--muted)}
.board-family .ledger{min-width:640px}.instance-link{font:700 15px/1.3 var(--display);text-decoration:none}.instance-link:hover{color:var(--blue);text-decoration:underline}