/* Blog: the post list and the post layout. */

/* Syntax colours. Code blocks sit on --code-bg, which is dark in every theme,
   so only solarized needs its own set. */
:root {
  --tok-c: #6c7d90;
  --tok-k: #c49cff;
  --tok-s: #8fd6a8;
  --tok-f: #6fd3ef;
  --tok-t: #f2c879;
  --tok-m: #ff9f80;
}
:root[data-theme="solarized"] {
  --tok-c: #657b83;
  --tok-k: #6c71c4;
  --tok-s: #859900;
  --tok-f: #268bd2;
  --tok-t: #b58900;
  --tok-m: #cb4b16;
}

/* Index */
.blog-intro .wrap {
  grid-template-columns: minmax(0, 1fr);
}
.blog-intro .section-head {
  margin-bottom: 0;
}
.blog-intro .section-head p {
  max-width: 56ch;
}
.feed-link {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  margin-top: 22px;
  font-weight: 600;
  font-size: 15px;
}
.feed-link svg {
  width: 16px;
  height: 16px;
}
.blog-list {
  padding: 56px 0 96px;
}
.blog-list .wrap {
  max-width: calc(760px + 2 * var(--gutter));
}
.post-list {
  margin: 0;
  padding: 0;
  list-style: none;
}
.post-list > li + li {
  border-top: 1px solid var(--line);
}
.post-card {
  display: grid;
  padding: 28px 0;
}
.post-card h2 {
  font-size: clamp(22px, 2.6vw, 27px);
  font-weight: 700;
  letter-spacing: -0.025em;
  text-wrap: balance;
}
.post-card h2 a {
  color: var(--text);
}
.post-card h2 a:hover {
  color: var(--accent-text);
}
.post-card p {
  color: var(--muted);
  max-width: 64ch;
}
/* Post card thumbnails */
.post-thumb.ck {
  --cat: #141b23;
  --cat-edge: #141b23;
  --fur: #ffffff;
  --ear: #5b6773;
  --bad: #b42318;
  --bad-soft: rgba(180, 35, 24, 0.1);
  --gold: #f0b429;
  --paper: #fffdf5;
  --mouse: #9aa6b2;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) .post-thumb.ck {
    --cat: #121820;
    --cat-edge: #aebdcb;
    --fur: #e3eaf1;
    --ear: #3d4853;
    --bad: #ff8073;
    --bad-soft: rgba(255, 128, 115, 0.12);
    --paper: #18212b;
    --mouse: #7f8d9b;
  }
}
:root[data-theme="dark"] .post-thumb.ck {
  --cat: #121820;
  --cat-edge: #aebdcb;
  --fur: #e3eaf1;
  --ear: #3d4853;
  --bad: #ff8073;
  --bad-soft: rgba(255, 128, 115, 0.12);
  --paper: #18212b;
  --mouse: #7f8d9b;
}
:root[data-theme="solarized"] .post-thumb.ck {
  --cat: #00161c;
  --cat-edge: #93a1a1;
  --fur: #eee8d5;
  --ear: #284b54;
  --bad: #ef5350;
  --bad-soft: rgba(239, 83, 80, 0.14);
  --gold: #e0b43a;
  --paper: #0b404d;
  --mouse: #839496;
}
.post-thumb .ck-svg text {
  font-family: var(--sans);
  font-weight: 600;
  fill: var(--text);
}
.post-thumb .ck-svg .mono {
  font-family: var(--mono);
  font-weight: 500;
}
.post-thumb .ck-svg .m { fill: var(--muted); font-weight: 500; }
.post-thumb .ck-svg .a { fill: var(--accent-text); }
.post-thumb .ck-svg .ok { fill: var(--ok); }
.post-thumb .ck-svg .bad { fill: var(--bad); }
.post-thumb .ck-svg .wn { fill: var(--warn); }
.post-thumb .ck-svg .hand { font-family: "Lobster Two", var(--sans); font-style: italic; font-weight: 700; }
.post-thumb .ck-svg .cap { font-family: var(--mono); font-weight: 500; letter-spacing: 0.06em; fill: var(--faint); }
.post-thumb .ck-svg .rough { filter: url(#ck-rough); }
.post-thumb .ck-svg .ln,
.post-thumb .ck-svg .lnm,
.post-thumb .ck-svg .lna,
.post-thumb .ck-svg .lnb,
.post-thumb .ck-svg .lnok {
  fill: none;
  stroke: var(--text);
  stroke-width: 2;
  stroke-linecap: round;
  stroke-linejoin: round;
}
.post-thumb .ck-svg .lnm { stroke: var(--faint); }
.post-thumb .ck-svg .lna { stroke: var(--accent); stroke-width: 2.2; }
.post-thumb .ck-svg .lnb { stroke: var(--bad); stroke-width: 2.2; }
.post-thumb .ck-svg .lnok { stroke: var(--ok); stroke-width: 2.2; }
.post-thumb .ck-svg .dash { stroke-dasharray: 5 6; }
.post-thumb .ck-svg .lane { stroke: var(--line-strong); stroke-width: 3; stroke-linecap: round; fill: none; }
.post-thumb .ck-svg .cf { fill: var(--cat); stroke: var(--cat-edge); stroke-width: 2.4; stroke-linejoin: round; }
.post-thumb .ck-svg .cw { fill: var(--fur); }
.post-thumb .ck-svg .ce { fill: var(--ear); }
.post-thumb .ck-svg .cn { fill: #e58a9a; }
.post-thumb .ck-svg .cp { fill: #141b23; }
.post-thumb .ck-svg .wh { fill: none; stroke: var(--faint); stroke-width: 1.6; stroke-linecap: round; }
.post-thumb .ck-svg .lid { fill: none; stroke: var(--cat); stroke-width: 3.5; stroke-linecap: round; }
.post-thumb .ck-svg .hap { fill: none; stroke: var(--fur); stroke-width: 3.6; stroke-linecap: round; stroke-linejoin: round; }
.post-thumb .ck-svg .mo { fill: none; stroke: #141b23; stroke-width: 2.4; stroke-linecap: round; stroke-linejoin: round; }
.post-thumb .ck-svg .tl { fill: none; stroke: var(--cat); stroke-width: 10; stroke-linecap: round; }
.post-thumb .ck-svg .tl-e { fill: none; stroke: var(--cat-edge); stroke-width: 15; stroke-linecap: round; }
.post-thumb .ck-svg .crown { fill: var(--gold); stroke: #8a5a00; stroke-width: 2; stroke-linejoin: round; }
.post-thumb .ck-svg .tg { fill: var(--paper); stroke: var(--accent); stroke-width: 2; }
.post-thumb .ck-svg .tgb { fill: var(--accent); }
.post-thumb .ck-svg .tgt { fill: var(--on-accent); font-family: var(--mono); font-weight: 500; letter-spacing: 0.08em; }
.post-thumb .ck-svg .tgv { fill: var(--text); }
.post-thumb .ck-svg .tag-new .tg { stroke: var(--warn); }
.post-thumb .ck-svg .tag-new .tgb { fill: var(--warn); }
.post-thumb .ck-svg .tag-new .tgt { fill: var(--bg-raised); }
.post-thumb .ck-svg .chw rect { fill: var(--accent-soft); stroke: var(--accent); stroke-width: 2; }
.post-thumb .ck-svg .chw text { fill: var(--accent-text); }
.post-thumb .ck-svg .chc rect { fill: var(--accent-soft); stroke: var(--accent); stroke-width: 2; stroke-dasharray: 4 4; }
.post-thumb .ck-svg .chc text { fill: var(--accent-text); }
.post-thumb .ck-svg .chr rect { fill: var(--bg-sunken); stroke: var(--line-strong); stroke-width: 2; }
.post-thumb .ck-svg .chx rect { fill: var(--bad-soft); stroke: var(--bad); stroke-width: 2; }
.post-thumb .ck-svg .chx text { fill: var(--bad); }
.post-thumb .ck-svg .chg rect { fill: none; stroke: var(--faint); stroke-width: 2; stroke-dasharray: 4 4; }
.post-thumb .ck-svg .chg text { fill: var(--faint); }
.post-thumb .ck-svg .strike { stroke: var(--bad); stroke-width: 2.6; stroke-linecap: round; }
.post-thumb .ck-svg .bolt { fill: var(--gold); stroke: #8a5a00; stroke-width: 1.6; stroke-linejoin: round; }
.post-thumb .ck-svg .okp rect { fill: var(--ok-soft); stroke: var(--ok); stroke-width: 2; }
.post-thumb .ck-svg .okp text { fill: var(--ok); }
.post-thumb .ck-svg .badp rect { fill: var(--bad-soft); stroke: var(--bad); stroke-width: 2; }
.post-thumb .ck-svg .badp text { fill: var(--bad); }
.post-thumb .ck-svg .accp rect { fill: var(--accent-soft); stroke: var(--accent); stroke-width: 2; }
.post-thumb .ck-svg .accp text { fill: var(--accent-text); }
.post-thumb .ck-svg .box { fill: var(--bg-raised); stroke: var(--line-strong); stroke-width: 2; }
.post-thumb .ck-svg .boxa { fill: var(--accent-soft); stroke: var(--accent); stroke-width: 2; }
.post-thumb .ck-svg .note { fill: var(--paper); stroke: var(--warn); stroke-width: 1.6; }
.post-thumb .ck-svg .paper { fill: var(--paper); stroke: var(--text); stroke-width: 2; stroke-linejoin: round; }
.post-thumb .ck-svg .bubble { fill: var(--bg-raised); stroke: var(--text); stroke-width: 2; stroke-linejoin: round; }
.post-thumb .ck-svg .ground { fill: none; stroke: var(--line-strong); stroke-width: 2.5; stroke-linecap: round; }
.post-thumb .ck-svg .metal { fill: var(--bg-sunken); stroke: var(--text); stroke-width: 2; stroke-linejoin: round; }
.post-thumb .ck-svg .dark { fill: var(--faint); opacity: 0.35; }
.post-thumb .ck-svg .mouse { fill: var(--mouse); stroke: var(--text); stroke-width: 1.6; }
.post-thumb .ck-svg .ear-p { fill: #e8a0ac; }
.post-thumb .ck-svg .dot { fill: var(--text); }
.post-thumb .ck-svg .ledok { fill: var(--ok); }
.post-thumb .ck-svg .panel { fill: none; stroke: var(--line-strong); stroke-width: 2; }
.post-thumb .ck-svg .panel-bad { fill: var(--bad-soft); stroke: var(--bad); stroke-width: 2; opacity: 0.9; }
.post-thumb .ck-svg .panel-ok { fill: var(--ok-soft); stroke: var(--ok); stroke-width: 2; }
.post-thumb .ck-svg .stars { fill: var(--gold); stroke: #8a5a00; stroke-width: 1.2; }
.post-thumb .ck-svg .ballot { fill: var(--paper); stroke: var(--text); stroke-width: 2; }
.post-thumb .ck-svg .domino { fill: var(--bg-raised); stroke: var(--text); stroke-width: 2.2; stroke-linejoin: round; }
.post-thumb .ck-svg .pip { fill: var(--accent); }
/* Headline illustration on each post card. The drawings and their colours are
   the first figure of the post, copied from its page; every post's figure uses
   the same .ck rules, so they are shared here under .post-thumb. */
.post-card {
  grid-template-columns: 200px minmax(0, 1fr);
  gap: 8px 28px;
  align-items: start;
}
.post-text {
  display: grid;
  gap: 8px;
  min-width: 0;
}
.post-thumb {
  position: relative;
  isolation: isolate;
  display: block;
  box-sizing: border-box;
  width: 200px;
  aspect-ratio: 4 / 3;
  padding: 10px;
  overflow: hidden;
  border-radius: var(--radius-sm);
  background: var(--bg-raised);
  border: 1px solid color-mix(in srgb, var(--accent) 24%, var(--line));
}
.post-thumb::after {
  content: "";
  position: absolute;
  inset: 0;
  z-index: -1;
  background: radial-gradient(ellipse 60% 55% at 62% 50%, var(--accent-glow), transparent 70%);
  opacity: 0.35;
  pointer-events: none;
}
.post-thumb .ck-svg {
  display: block;
  width: 100%;
  height: 100%;
}
.ck-defs {
  position: absolute;
  width: 0;
  height: 0;
  overflow: hidden;
}
@media (max-width: 640px) {
  .post-card {
    grid-template-columns: minmax(0, 1fr);
    gap: 16px;
  }
  .post-thumb {
    width: 100%;
    aspect-ratio: auto;
    height: 180px;
  }
}

.post-meta {
  display: flex;
  flex-wrap: wrap;
  gap: 4px 14px;
  font-family: var(--mono);
  font-size: 13px;
  color: var(--faint);
}
.post-meta > * + *::before {
  content: "·";
  margin-right: 14px;
}
.post-empty {
  padding: 28px 0;
  color: var(--muted);
}
/* Hidden once the list has a post. A browser without :has() shows both. */
.post-list:has(li) + .post-empty {
  display: none;
}

/* Post header */
.post-head {
  position: relative;
  isolation: isolate;
  overflow: hidden;
  padding: 64px 0 40px;
  border-bottom: 1px solid var(--line);
}
.post-head::before {
  content: "";
  position: absolute;
  inset: 0;
  z-index: -1;
  background: radial-gradient(ellipse 55% 90% at 85% 0%, var(--accent-glow), transparent 70%);
  opacity: 0.3;
  pointer-events: none;
}
.post-head .wrap,
.post-body,
.post-end .wrap {
  max-width: calc(var(--measure) + 2 * var(--gutter));
}
.post-back {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  margin-bottom: 22px;
  font-family: var(--mono);
  font-size: 13px;
  font-weight: 500;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}
.post-back svg {
  width: 14px;
  height: 14px;
}
.post-head h1 {
  font-size: clamp(34px, 5vw, 50px);
  font-weight: 750;
  letter-spacing: -0.035em;
  text-wrap: balance;
}
.post-dek {
  margin-top: 16px;
  color: var(--muted);
  font-size: 19px;
  line-height: 1.55;
}
.byline {
  display: flex;
  align-items: center;
  gap: 12px;
  margin-top: 28px;
}
.byline img {
  width: 40px;
  height: 40px;
  border-radius: 50%;
  border: 2px solid color-mix(in srgb, var(--accent) 40%, var(--line));
  object-fit: cover;
}
.byline-name {
  display: block;
  font-weight: 600;
  font-size: 15.5px;
  line-height: 1.3;
}
.byline .post-meta {
  font-size: 12.5px;
}

/* About 70 characters of Inter at 18px. The ch unit is the width of a zero,
   which is wider than Inter's average letter, so 70ch would run near 90. */
:root {
  --measure: 660px;
}
.post-body {
  margin: 0 auto;
  padding: 48px var(--gutter) 24px;
  font-size: 18px;
  line-height: 1.72;
}
.post-body > * + * {
  margin-top: 1.15em;
}
.post-body h2 {
  margin-top: 2.2em;
  font-size: 1.6em;
  font-weight: 700;
  letter-spacing: -0.025em;
  text-wrap: balance;
}
.post-body h3 {
  margin-top: 1.8em;
  font-size: 1.22em;
  font-weight: 650;
  letter-spacing: -0.015em;
}
.post-body h2 + *,
.post-body h3 + * {
  margin-top: 0.6em;
}
.post-body a {
  text-decoration: underline;
  text-decoration-color: color-mix(in srgb, var(--accent-text) 40%, transparent);
  text-underline-offset: 3px;
}
.post-body a:hover {
  text-decoration-color: currentColor;
}
.post-body ul,
.post-body ol {
  padding-left: 1.4em;
}
.post-body li + li {
  margin-top: 0.35em;
}
.post-body li::marker {
  color: var(--faint);
}
.post-body blockquote {
  margin-left: 0;
  margin-right: 0;
  padding-left: 20px;
  border-left: 3px solid var(--line-strong);
  color: var(--muted);
}
.post-body hr {
  margin: 2.4em 0;
  border: 0;
  border-top: 1px solid var(--line);
}
.post-body strong {
  font-weight: 650;
}

/* Code blocks. data-lang puts a label in the top corner. */
.code {
  position: relative;
  margin-left: 0;
  margin-right: 0;
  padding: 20px 22px;
  border-radius: var(--radius-sm);
  background: var(--code-bg);
  color: var(--code-text);
  border: 1px solid var(--line);
  font-size: 14px;
  line-height: 1.7;
  tab-size: 4;
  overflow-x: auto;
}
.code[data-lang] {
  padding-top: 38px;
}
.code[data-lang]::before {
  content: attr(data-lang);
  position: absolute;
  top: 10px;
  left: 22px;
  font-family: var(--mono);
  font-size: 11.5px;
  font-weight: 500;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--tok-c);
}
.code code {
  font-size: inherit;
}
/* JetBrains Mono draws -> and /\ as single glyphs; readers copy these blocks,
   so show the characters they will paste. */
.code {
  font-variant-ligatures: none;
}
.tok-c {
  color: var(--tok-c);
  font-style: italic;
}
.tok-k {
  color: var(--tok-k);
}
.tok-s {
  color: var(--tok-s);
}
.tok-f {
  color: var(--tok-f);
}
.tok-t {
  color: var(--tok-t);
}
.tok-m {
  color: var(--tok-m);
}

/* TLA+ reads more like a formula than a program, so it is set on the page
   background instead of a dark terminal. */
.code.tla {
  background: var(--bg-sunken);
  color: var(--text);
  border-color: var(--line-strong);
  border-left: 3px solid var(--idea);
}
.code.tla::before {
  color: var(--idea);
}
.tla .tla-rule {
  color: var(--faint);
}
.tla .tla-k {
  color: var(--idea);
  font-weight: 500;
}
.tla .tla-op {
  color: var(--accent-text);
}
.tla .tla-def {
  color: var(--text);
  font-weight: 500;
}
.tla .tla-c {
  color: var(--faint);
  font-style: italic;
}

/* Callouts */
.callout {
  padding: 16px 20px;
  border-radius: var(--radius-sm);
  background: var(--accent-soft);
  border: 1px solid color-mix(in srgb, var(--accent) 28%, transparent);
  font-size: 0.94em;
  line-height: 1.65;
}
.callout > * + * {
  margin-top: 0.6em;
}
.callout-t {
  display: flex;
  align-items: center;
  gap: 8px;
  font-weight: 650;
  color: var(--accent-text);
}
.callout-t svg {
  flex: none;
  width: 18px;
  height: 18px;
}
.callout.warn {
  background: var(--warn-soft);
  border-color: color-mix(in srgb, var(--warn) 30%, transparent);
}
.callout.warn .callout-t {
  color: var(--warn);
}

/* Figures */
.fig {
  margin-left: 0;
  margin-right: 0;
}
.post-body .fig {
  margin-top: 1.8em;
  margin-bottom: 1.8em;
}
.fig .stage {
  padding: 22px;
}
.fig .tz-svg {
  max-width: 520px;
  margin: 0 auto;
}
.fig figcaption {
  margin-top: 12px;
  color: var(--muted);
  font-size: 15px;
  line-height: 1.55;
}
.fig figcaption b {
  font-family: var(--mono);
  font-size: 13px;
  font-weight: 500;
  color: var(--faint);
  margin-right: 6px;
}

/* Tables scroll inside their box on a phone instead of widening the page. */
.table-wrap {
  overflow-x: auto;
  border: 1px solid var(--line);
  border-radius: var(--radius-sm);
  background: var(--bg-raised);
}
.post-body table {
  width: 100%;
  border-collapse: collapse;
  font-size: 15.5px;
  line-height: 1.5;
}
.post-body th,
.post-body td {
  padding: 11px 16px;
  text-align: left;
  vertical-align: top;
}
.post-body th {
  font-family: var(--mono);
  font-size: 12px;
  font-weight: 500;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--faint);
  background: var(--bg-sunken);
  white-space: nowrap;
}
.post-body tr + tr td {
  border-top: 1px solid var(--line);
}
.post-body td.num {
  font-family: var(--mono);
  font-size: 14px;
  text-align: right;
  white-space: nowrap;
}

/* Marks the unlisted style sample. */
.sample-note {
  display: inline-block;
  margin-bottom: 14px;
  padding: 3px 10px;
  border-radius: 999px;
  background: var(--warn-soft);
  color: var(--warn);
  font-family: var(--mono);
  font-size: 12px;
  font-weight: 500;
  letter-spacing: 0.04em;
}

/* Post footer */
.post-end {
  padding: 32px 0 96px;
}
.try-card {
  padding: 26px 28px;
  border-radius: var(--radius);
  background: radial-gradient(ellipse 80% 120% at 0% 0%, var(--accent-soft), transparent 70%), var(--bg-raised);
  border: 1px solid color-mix(in srgb, var(--accent) 35%, var(--line));
  box-shadow: var(--shadow-md);
}
.try-card h2 {
  font-size: 24px;
  font-weight: 700;
  letter-spacing: -0.025em;
}
.try-card > p {
  margin-top: 8px;
  color: var(--muted);
  font-size: 15.5px;
}
.try-card .code {
  margin: 16px 0 0;
  padding: 14px 18px;
  font-size: 13.5px;
}
.post-links {
  display: flex;
  flex-wrap: wrap;
  gap: 10px 22px;
  margin-top: 20px;
  font-size: 15px;
  font-weight: 600;
}
.post-links a {
  display: inline-flex;
  align-items: center;
  gap: 7px;
}
.post-links svg {
  width: 16px;
  height: 16px;
}

@media (max-width: 760px) {
  .blog-list {
    padding: 32px 0 72px;
  }
  .post-card {
    padding: 22px 0;
  }
  .post-head {
    padding: 40px 0 28px;
  }
  .post-dek {
    font-size: 17px;
  }
  .post-body {
    padding-top: 32px;
    font-size: 17px;
    line-height: 1.68;
  }
  .post-body h2 {
    font-size: 1.45em;
  }
  .code {
    padding: 16px;
    font-size: 13px;
  }
  .code[data-lang] {
    padding-top: 34px;
  }
  .code[data-lang]::before {
    left: 16px;
  }
  .fig .stage {
    padding: 14px 12px;
  }
  .post-body th,
  .post-body td {
    padding: 10px 12px;
  }
  .try-card {
    padding: 22px 18px;
  }
  .feed-link,
  .post-back,
  .post-links a {
    min-height: 44px;
  }
  .post-back {
    margin-bottom: 8px;
  }
}

/* Topics, search and paging on the blog index */
.sr-only {
  position: absolute;
  width: 1px;
  height: 1px;
  margin: -1px;
  padding: 0;
  overflow: hidden;
  clip: rect(0 0 0 0);
  white-space: nowrap;
  border: 0;
}
.blog-tools {
  padding: 28px 0 0;
}
.blog-tools .wrap {
  max-width: calc(760px + 2 * var(--gutter));
}
.topic-chips {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  margin: 0;
  padding: 0;
  list-style: none;
}
.post-head .topic-chips {
  margin-top: 20px;
}
.post-card .topic-chips {
  margin-top: 14px;
}
.chip {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  min-height: 30px;
  padding: 3px 12px;
  border: 1px solid var(--line-strong);
  border-radius: 999px;
  background: var(--bg-raised);
  color: var(--muted);
  font-family: var(--mono);
  font-size: 12.5px;
  font-weight: 500;
  letter-spacing: 0.02em;
  text-decoration: none;
}
.chip:hover,
.chip[aria-current="page"] {
  border-color: var(--accent);
  background: var(--accent-soft);
  color: var(--accent-text);
}
.chip-n {
  color: var(--faint);
}
.topic-nav-label {
  margin: 0 0 10px;
  color: var(--faint);
  font-family: var(--mono);
  font-size: 12px;
  font-weight: 500;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}
.back-line {
  margin: 18px 0 0;
}
.blog-search label {
  display: block;
  margin-bottom: 8px;
  font-weight: 600;
  font-size: 15px;
}
.search-row {
  display: flex;
  gap: 8px;
}
.search-row input {
  flex: 1;
  min-width: 0;
  min-height: 44px;
  padding: 8px 14px;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius-sm);
  background: var(--bg-raised);
  color: var(--text);
  font: inherit;
}
.search-row input::placeholder {
  color: var(--faint);
}
.search-row button {
  min-height: 44px;
  padding: 8px 18px;
  border: 1px solid var(--accent);
  border-radius: var(--radius-sm);
  background: var(--accent);
  color: var(--on-accent);
  font: inherit;
  font-weight: 600;
  cursor: pointer;
}
.search-status {
  min-height: 1.5em;
  margin: 10px 0 0;
  color: var(--muted);
  font-size: 15px;
}
.blog-search {
  margin-bottom: 28px;
}
.search-results {
  margin: 0;
  padding: 0;
  list-style: none;
}
.search-results[hidden],
.post-list[hidden],
.pager[hidden] {
  display: none;
}
.search-results li {
  padding: 18px 0;
  border-top: 1px solid var(--line);
}
.search-results h2 {
  font-size: 21px;
  font-weight: 700;
  letter-spacing: -0.02em;
}
.search-results h2 a {
  color: var(--text);
}
.search-results h2 a:hover {
  color: var(--accent-text);
}
.search-results p {
  margin-top: 6px;
  color: var(--muted);
}
.pager {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  margin-top: 36px;
  padding-top: 24px;
  border-top: 1px solid var(--line);
  font-size: 15px;
}
.pager-pages {
  display: flex;
  gap: 6px;
  margin: 0;
  padding: 0;
  list-style: none;
}
.pager-pages a,
.pager-step {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-width: 44px;
  min-height: 44px;
  padding: 0 10px;
  border-radius: var(--radius-sm);
  font-weight: 600;
}
.pager-pages a[aria-current="page"] {
  background: var(--accent-soft);
  color: var(--accent-text);
}
.pager-step.is-off {
  color: var(--faint);
  font-weight: 500;
}
@media (max-width: 640px) {
  .search-row button {
    padding: 8px 14px;
  }
  .pager-step {
    padding: 0 6px;
  }
}