/* Articles: one readable column (about 68 characters), the site's header and status bar, light and dark. */
main { padding-block: clamp(24px, 5vw, 48px) 32px; }
main:focus { outline: none; }
.article { max-width: 68ch; margin-inline: auto; padding-inline: var(--gutter); box-sizing: content-box; font-size: 18px; line-height: 1.7; }
.article > * + * { margin-top: 1.1em; }
.crumb { font: 500 13px var(--mono); color: var(--muted); }
.crumb a { color: var(--accent); text-underline-offset: 3px; }
.article h1 { margin-top: 8px; font: 600 clamp(2rem, 6vw, 2.8rem)/1.1 var(--mono); letter-spacing: -0.045em; text-wrap: balance; }
.article .lead { margin-top: 16px; font-size: 1.2em; line-height: 1.5; color: var(--text); text-wrap: pretty; }
.byline { margin-top: 10px; font: 500 13.5px/1.6 var(--mono); color: var(--muted); }
.byline .with { padding: 1px 7px; border-radius: 6px; background: var(--accent-soft); color: var(--text); }
.byline .dot, .statusbar .dot { margin-inline: 8px; opacity: .5; font-style: normal; }
.article h2 { margin-top: 2em; font: 600 1.35rem/1.25 var(--mono); letter-spacing: -0.03em; scroll-margin-top: 80px; }
.article h2 + * { margin-top: .7em; }
.article a { color: var(--accent); text-underline-offset: 3px; }
.article strong { font-weight: 650; }
.article code { padding: 1px 5px; border-radius: 5px; background: var(--sunk); border: 1px solid var(--line); font: 500 .84em var(--mono); overflow-wrap: anywhere; }
.article ol { padding-left: 1.4em; }
.article li + li { margin-top: .5em; }
.article li::marker { font: 600 .9em var(--mono); color: var(--muted); }
/* Denis's own words */
.article blockquote { padding: 4px 0 4px 18px; border-left: 3px solid var(--accent); color: var(--text); font-style: italic; }
.article blockquote p { text-wrap: pretty; }
/* tables scroll sideways inside their own box on a phone, never the page */
.table { overflow-x: auto; border: 1px solid var(--line); border-radius: var(--radius); background: var(--surface); }
.table table { width: 100%; border-collapse: collapse; font-size: 15px; line-height: 1.5; }
.table th, .table td { padding: 9px 14px; text-align: left; vertical-align: top; border-bottom: 1px solid var(--line); }
.table tr:last-child td { border-bottom: 0; }
.table th { background: var(--sunk); font: 600 13px var(--mono); white-space: nowrap; }
.table td:first-child { font-family: var(--mono); font-size: 14px; font-variant-numeric: tabular-nums; white-space: nowrap; }
@media (max-width: 559px) { .table table:has(th:nth-child(3)) { min-width: 560px; } }   /* three columns scroll; two wrap */
/* the loop diagram: drawn with the site's colours, so it follows light and dark; sideways scroll on a phone */
.flow-fig { margin-block: 1.6em; }
.flow-scroll { overflow-x: auto; border: 1px solid var(--line); border-radius: var(--radius); background: var(--surface); }
.flow { display: block; width: 100%; min-width: 640px; height: auto; font-family: var(--mono); }
.flow-box rect { fill: var(--surface); stroke: var(--line-strong); stroke-width: 1.2; }
.flow-gate rect { fill: var(--accent); stroke: var(--accent); }
.flow text { text-anchor: middle; }
.flow-label { font-size: 12.5px; font-weight: 600; fill: var(--text); }
.flow .flow-n { text-anchor: start; font-size: 10.5px; fill: var(--muted); }
.flow .flow-gate .flow-label, .flow .flow-gate .flow-n, .flow .flow-gate .flow-sub { fill: var(--on-accent); }
.flow-sub { font-size: 10.5px; fill: var(--muted); }
.flow-title { font-size: 14px; font-weight: 600; fill: var(--text); }
.flow-arrow { fill: none; stroke: var(--muted); stroke-width: 1.4; }
.flow-loop { stroke: var(--accent); stroke-dasharray: 4 4; }
.flow-loop-label { fill: var(--accent); }
.flow-headpath { fill: var(--muted); }
.flow-fig figcaption { margin-top: 8px; font: 400 13px/1.5 var(--mono); color: var(--muted); }
/* the article list */
.list { list-style: none; padding: 0; }
.list li + li { margin-top: 1.4em; }
.list a { font: 600 1.2rem/1.3 var(--mono); text-decoration: none; color: var(--text); }
.list a:hover { color: var(--accent); }
.list p { margin-top: 4px; color: var(--muted); }
.list .byline { margin-top: 4px; }
/* the status bar as the page's foot */
.page-foot { max-width: var(--max); margin: 8px auto 24px; }
.page-foot .statusbar { border: 1px solid var(--line); border-radius: var(--radius); }