@import url("https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:wght@400;500&family=IBM+Plex+Sans:wght@400;500&family=STIX+Two+Text:ital,wght@0,400;0,500;0,600;1,400&display=swap");

:root {
  --paper: #ffffff;
  --ink: #111315;
  --muted: #686d72;
  --line: #d9dcde;
  --line-dark: #1a1c1e;
  --wash: #f6f7f6;
  --accent: #174c70;
  --serif: "STIX Two Text", "Times New Roman", serif;
  --sans: "IBM Plex Sans", Arial, sans-serif;
  --mono: "IBM Plex Mono", Consolas, monospace;
}

/* Front page: a restrained journal index. */
.home-page.site-shell {
  width: min(calc(100% - 56px), 860px);
  padding-top: 62px;
  padding-bottom: 116px;
}

.home-page .site-masthead {
  align-items: flex-start;
  padding-bottom: 54px;
  border-bottom: 0;
}

.home-identity {
  min-width: 0;
}

.home-title {
  margin: 0;
  font: inherit;
}

.home-page .wordmark {
  display: inline-block;
  font-size: clamp(2rem, 5vw, 2.55rem);
  font-weight: 400;
  letter-spacing: -0.035em;
  line-height: 0.98;
}

.home-title::after {
  display: block;
  width: 38px;
  margin-top: 21px;
  border-top: 1px solid var(--line-dark);
  content: "";
}

.home-page .masthead-links {
  gap: 20px;
}

.home-page .site-nav {
  padding-top: 12px;
  font-family: var(--serif);
  font-size: 0.82rem;
  font-variant-caps: all-small-caps;
  letter-spacing: 0.065em;
  text-transform: none;
}

.home-page .site-nav a {
  color: #4f5357;
}

.home-page .masthead-portrait,
.home-page .masthead-portrait img {
  width: 52px;
  height: 52px;
}

.home-page .masthead-portrait img {
  padding: 2px;
  border: 1px solid #d7d9da;
  background: var(--paper);
}

.home-page .home-content {
  max-width: 760px;
  margin: 0 auto;
}

.home-page .post-list li {
  margin: 0;
}

.home-page .post-list li + li {
  margin-top: 2.15rem;
}

.home-page .post-title {
  color: #17191b;
  font-size: 1.14rem;
  font-weight: 400;
  letter-spacing: -0.012em;
  line-height: 1.22;
  text-decoration: none;
}

.home-page .post-title:hover {
  color: var(--accent);
  text-decoration: underline;
  text-decoration-thickness: 1px;
  text-underline-offset: 0.2em;
}

.home-page .post-description {
  max-width: 690px;
  margin-top: 6px;
  color: #65696d;
  font-family: var(--serif);
  font-size: 0.82rem;
  line-height: 1.48;
}

@media (max-width: 540px) {
  .home-page.site-shell {
    width: calc(100% - 32px);
    padding-top: 38px;
  }

  .home-page .site-masthead {
    padding-bottom: 42px;
  }

  .home-page .wordmark {
    font-size: 1.9rem;
  }

  .home-title::after {
    margin-top: 16px;
  }

  .home-page .site-nav {
    padding-top: 8px;
  }

  .home-page .masthead-portrait,
  .home-page .masthead-portrait img {
    width: 42px;
    height: 42px;
  }

  .home-page .post-list li + li {
    margin-top: 1.75rem;
  }

  .home-page .post-title {
    font-size: 1.04rem;
  }

  .home-page .post-description {
    font-size: 0.78rem;
  }
}

* {
  box-sizing: border-box;
}

html {
  background: var(--paper);
  color: var(--ink);
  font-size: 18px;
  font-synthesis: none;
}

body {
  min-height: 100vh;
  margin: 0;
  background: var(--paper);
  font-family: var(--serif);
  line-height: 1.66;
  text-rendering: optimizeLegibility;
}

img {
  max-width: 100%;
}

a {
  color: var(--accent);
  text-decoration-thickness: 1px;
  text-underline-offset: 0.18em;
}

a:hover {
  color: var(--ink);
}

a:focus-visible {
  outline: 2px solid var(--accent);
  outline-offset: 4px;
}

.site-shell {
  width: min(calc(100% - 48px), 920px);
  margin-inline: auto;
  padding: 38px 0 92px;
}

.site-masthead {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 24px;
  padding-bottom: 17px;
  border-bottom: 1px solid #e9ebec;
}

.masthead-links {
  display: flex;
  align-items: center;
  gap: 22px;
}

.wordmark {
  color: var(--ink);
  font-size: 1.08rem;
  font-weight: 500;
  letter-spacing: -0.012em;
  line-height: 1;
  text-decoration: none;
}

.masthead-portrait {
  display: block;
  width: 46px;
  height: 46px;
  color: inherit;
  text-decoration: none;
}

.masthead-portrait img {
  display: block;
  width: 46px;
  height: 46px;
  border-radius: 50%;
  background: var(--wash);
  object-fit: cover;
}

.site-nav {
  display: flex;
  gap: 16px;
  font-family: var(--mono);
  font-size: 0.68rem;
  letter-spacing: 0.045em;
  line-height: 1.4;
  text-transform: uppercase;
}

.site-nav a {
  color: var(--muted);
  text-decoration: none;
}

.site-nav a:hover {
  color: var(--accent);
}

.home-content {
  max-width: 820px;
  margin: 66px auto 0;
}

.post-index {
  min-width: 0;
}

.post-list {
  margin: 0;
  padding: 0;
  list-style: none;
}

.post-list li {
  margin-bottom: 28px;
}

.post-copy {
  min-width: 0;
}

.post-title {
  color: var(--ink);
  font-size: 1.12rem;
  font-weight: 400;
  letter-spacing: -0.006em;
  line-height: 1.3;
  text-decoration-color: #aeb8bf;
}

.post-title:hover {
  color: var(--accent);
  text-decoration-color: var(--accent);
}

.post-description {
  max-width: 610px;
  margin: 8px 0 0;
  color: var(--muted);
  font-family: var(--sans);
  font-size: 0.81rem;
  line-height: 1.52;
}

.article-column {
  width: 100%;
  max-width: 720px;
  min-width: 0;
  margin: 72px auto 0;
}

.article-header {
  padding: 0 0 43px;
}

.article-header h1 {
  max-width: 680px;
  margin: 0;
  font-size: clamp(2.05rem, 5vw, 2.7rem);
  font-weight: 400;
  letter-spacing: -0.025em;
  line-height: 1.08;
}

.page-heading {
  padding-bottom: 32px;
}

.page-heading h1 {
  font-size: 2.25rem;
}

.prose {
  width: 100%;
  padding-top: 38px;
}

.prose > :first-child {
  margin-top: 0;
}

.prose p,
.prose li {
  font-size: 1rem;
  line-height: 1.75;
}

.prose p {
  margin: 0 0 1.3em;
}

.page-content p {
  margin-bottom: 1.55em;
}

.page-content p:first-child {
  font-size: 1.08rem;
  line-height: 1.72;
}

.prose h2 {
  margin: 3.3rem 0 1rem;
  font-size: 1.42rem;
  font-weight: 500;
  letter-spacing: -0.012em;
  line-height: 1.28;
}

.prose h2 .section-number {
  display: inline-block;
  min-width: 1.75em;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.66em;
  font-weight: 400;
}

.prose h3 {
  margin: 2.25rem 0 0.75rem;
  font-size: 1.16rem;
  font-weight: 500;
  line-height: 1.3;
}

.prose ul,
.prose ol {
  padding-left: 1.35rem;
}

.prose blockquote {
  margin: 2.2rem 0;
  padding: 2px 0 2px 22px;
  border-left: 2px solid var(--accent);
  color: #34383b;
  font-style: italic;
}

.prose code,
.prose pre {
  font-family: var(--mono);
  font-variant-ligatures: none;
}

.prose :not(pre) > code {
  padding: 0.08em 0.28em;
  border: 1px solid #e1e3e4;
  background: var(--wash);
  font-size: 0.82em;
}

.technical-post > pre,
.code-block,
.technical-post pre.listing {
  overflow-x: auto;
  margin: 1.7rem 0 2rem;
  border: 1px solid var(--line);
  border-radius: 0;
  background: var(--wash);
}

.technical-post > pre {
  padding: 17px 19px;
  font-size: 0.76rem;
  line-height: 1.62;
  tab-size: 4;
}

.technical-post > pre code {
  display: block;
  min-width: max-content;
}

.code-block {
  overflow: hidden;
}

.code-block figcaption {
  display: flex;
  justify-content: space-between;
  padding: 8px 13px;
  border-bottom: 1px solid var(--line);
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.65rem;
}

.code-block pre {
  overflow-x: auto;
  margin: 0;
  padding: 17px 19px;
  font-size: 0.76rem;
  line-height: 1.62;
}

.technical-post pre.listing {
  padding: 14px 0;
  counter-reset: line;
  font-size: 0.75rem;
  line-height: 1.58;
}

.technical-post pre.listing code {
  display: block;
  min-width: max-content;
}

.technical-post .code-line {
  position: relative;
  display: block;
  min-height: 1.58em;
  padding: 0 16px 0 54px;
  white-space: pre;
}

.technical-post .code-line::before {
  position: absolute;
  left: 0;
  width: 40px;
  padding-right: 9px;
  border-right: 1px solid var(--line);
  color: #8a8f93;
  content: counter(line);
  counter-increment: line;
  font-size: 0.8em;
  text-align: right;
}

.token.comment,
.token.prolog,
.token.doctype,
.token.cdata {
  color: #72777b;
  font-style: italic;
}

.token.punctuation {
  color: #4d5256;
}

.token.namespace {
  opacity: 0.8;
}

.token.property,
.token.tag,
.token.constant,
.token.symbol,
.token.deleted,
.token.number,
.token.boolean {
  color: #8b3148;
}

.token.selector,
.token.attr-name,
.token.string,
.token.char,
.token.builtin,
.token.inserted {
  color: #246348;
}

.token.operator,
.token.entity,
.token.url,
.token.variable {
  color: #6b4c29;
}

.token.atrule,
.token.attr-value,
.token.function,
.token.class-name {
  color: #165b82;
}

.token.keyword,
.token.directive {
  color: #503a91;
  font-weight: 500;
}

.token.regex,
.token.important {
  color: #9b551d;
}

.token.important,
.token.bold {
  font-weight: 600;
}

.token.italic {
  font-style: italic;
}

.katex {
  color: var(--ink);
  font-size: 1.01em;
}

.katex-display {
  overflow-x: auto;
  overflow-y: hidden;
  margin: 0.25em 0 !important;
  padding: 0.25em 0;
}

.math-block {
  overflow-x: auto;
  margin: 2rem 0;
  padding: 19px 24px;
  border-block: 1px solid var(--line);
  text-align: center;
}

.technical-post img {
  display: block;
  width: auto;
  max-width: 100%;
  height: auto;
  margin: 1.7rem auto 2rem;
  border: 1px solid var(--line);
}

.technical-post p:has(> img) {
  text-align: center;
}

.technical-post figure {
  margin: 1.7rem 0 2rem;
}

.technical-post .article-diagram {
  display: flex;
  width: 100%;
  flex-direction: column;
  align-items: center;
  margin: 1.9rem 0 2.2rem;
}

.technical-post .article-diagram img {
  margin-inline: auto;
  border: 0;
  background: transparent;
}

.technical-post .tcb-diagram {
  margin: 2rem auto 2.3rem;
  text-align: center;
}

.technical-post .tcb-diagram img {
  width: 100%;
  max-width: 1000px;
  margin-inline: auto;
  border: 0;
  background: transparent;
}

.graphviz-diagram img {
  width: auto;
  max-width: 100%;
  padding: 0;
  border: 0 !important;
  background: var(--paper) !important;
}

.technical-post .tree-colour-diagram img {
  width: auto;
  max-width: min(520px, 100%);
  padding: 0;
  border: 0 !important;
}

.technical-post p:has(+ .tree-colour-diagram),
.technical-post pre:has(+ p + .tree-colour-diagram) {
  margin-bottom: 0.45rem;
}

.technical-post .tree-colour-diagram {
  margin-top: 0.45rem;
}

.technical-post .tree-colour-diagram.trie-diagram img {
  max-width: min(640px, 100%);
}

.technical-post .tree-colour-diagram.automaton-diagram img {
  max-width: min(680px, 100%);
}

.technical-post .llvm-intro-diagram {
  margin-block: 1.35rem 1.85rem;
}

.technical-post .llvm-intro-diagram img {
  width: auto;
  max-width: min(680px, 100%);
}

.technical-post .llvm-pipeline-diagram img {
  max-width: min(720px, 100%);
}

.technical-post .llvm-cfg-diagram img,
.technical-post .llvm-loop-diagram img {
  max-width: min(560px, 100%);
}

.technical-post .llvm-memory-diagram img {
  max-width: min(620px, 100%);
}

.technical-post .llvm-dominance-diagram img,
.technical-post .llvm-passes-diagram img {
  max-width: min(470px, 100%);
}

.technical-post .llvm-alias-diagram img,
.technical-post .llvm-atomic-diagram img {
  max-width: min(680px, 100%);
}

.technical-post .llvm-worked-diagram img {
  max-width: min(540px, 100%);
}

.technical-post .cancellation-wide-diagram img {
  max-width: min(690px, 100%);
}

.technical-post .cancellation-stack-diagram img {
  max-width: min(470px, 100%);
}

.technical-post .cancellation-race-diagram img {
  max-width: min(660px, 100%);
}

.technical-post .cancellation-scope-diagram img {
  max-width: min(520px, 100%);
}

.technical-post .cancellation-code-capture {
  margin-block: 1.55rem 2rem;
}

.technical-post .boundary-capture {
  margin: 1.15rem 0 1.85rem;
}

.technical-post .boundary-capture img {
  width: 100%;
  max-width: 753px;
  margin: 0 auto;
  border: 0;
}

.technical-post .game-proof {
  display: flex;
  justify-content: center;
  gap: 1rem;
  margin: 1rem 0 2rem;
}

.technical-post .game-proof img {
  width: min(256px, calc(50% - 0.5rem));
  height: auto;
  margin: 0;
  border: 0;
  image-rendering: auto;
}

.technical-post .game-proof-single img {
  width: min(256px, 100%);
}

@media (max-width: 580px) {
  .technical-post .game-proof {
    flex-direction: column;
    align-items: center;
  }

  .technical-post .game-proof img {
    width: min(256px, 100%);
  }
}

.technical-post .boundary-map img {
  max-width: min(720px, 100%);
}

.technical-post .boundary-recovery img {
  max-width: min(740px, 100%);
}

.technical-post .cancellation-invariants {
  overflow: visible;
  margin-block: 2.25rem 2.5rem;
  padding: 0;
  border: 0;
}

.technical-post .cancellation-invariants .katex-display {
  overflow: visible;
  margin-block: 0.85rem !important;
  padding: 0;
}

.technical-post .article-references {
  padding-left: 1.35rem;
}

.technical-post .article-references li {
  margin-bottom: 0.9rem;
  font-size: 0.84rem;
  line-height: 1.62;
}

.technical-post .article-references code {
  font-size: 0.77em;
}

.technical-post .llvm-terminal-shot {
  margin: 1.65rem 0 2.1rem;
}

.technical-post .llvm-terminal-shot img {
  width: 100%;
  max-width: 720px;
  margin: 0 auto;
  border: 1px solid #d8d8d8;
  border-radius: 0;
  background: #fff;
  box-shadow: none;
}

.technical-post .emacs-editor-capture {
  width: 100%;
  margin: 1.7rem 0 2rem;
}

.technical-post .emacs-editor-capture img {
  display: block;
  width: 100%;
  max-width: 720px;
  height: auto;
  margin: 0 auto;
  border: 1px solid #c5c7ca;
  background: #fff;
  box-shadow: 0 8px 22px rgb(30 34 38 / 6%);
}

.technical-post .terminal-capture img {
  border-color: #d5d7da;
  box-shadow: none;
}

.technical-post .llvm-pair:has(.emacs-editor-capture) {
  grid-template-columns: minmax(0, 1fr);
}

.technical-post .llvm-pair:has(.emacs-editor-capture) .emacs-editor-capture {
  margin-block: 0.65rem;
}

.llvm-window {
  border-color: #c8cbcd;
  background: #fbfbfa;
  box-shadow: 0 8px 24px rgb(28 31 33 / 5%);
}

.llvm-window:not(.llvm-terminal-window) {
  display: flex;
  flex-direction: column;
  border-color: #c9cbce;
  background: #fff;
  box-shadow: 0 8px 22px rgb(30 34 38 / 6%);
}

.llvm-window:not(.llvm-terminal-window) pre {
  order: 1;
  background: #fff;
  font-family: "SFMono-Regular", "SF Mono", Menlo, Monaco, Consolas, "Liberation Mono", monospace;
  font-size: 0.82rem;
  line-height: 1.64;
}

.llvm-window:not(.llvm-terminal-window) figcaption {
  order: 2;
  min-height: 30px;
  padding: 6px 11px;
  border-top: 1px solid #c7c9cc;
  border-bottom: 0;
  background: #e7e8e9;
  color: #25292d;
  font-family: -apple-system, BlinkMacSystemFont, "SF Pro Text", "Helvetica Neue", sans-serif;
  font-size: 0.64rem;
  letter-spacing: 0;
}

.llvm-window:not(.llvm-terminal-window) figcaption span:last-child::before {
  content: "Emacs  ·  ";
  color: #676c70;
}

.llvm-window:not(.llvm-terminal-window) figcaption span:last-child {
  text-transform: none;
}

.llvm-window figcaption {
  min-height: 34px;
  align-items: center;
  padding: 8px 14px;
  background: #f0f1f1;
  color: #555a5e;
  font-family: var(--sans);
  font-size: 0.65rem;
  letter-spacing: 0.015em;
}

.llvm-window figcaption span:last-child {
  color: #74797d;
  font-size: 0.6rem;
  text-transform: uppercase;
}

.llvm-window pre {
  background: #fbfbfa;
}

.llvm-focused-window {
  max-width: 680px;
  margin-inline: auto;
}

.llvm-terminal-window pre {
  background: #fff;
  font-family: "SFMono-Regular", "SF Mono", Menlo, Monaco, Consolas, "Liberation Mono", monospace;
  font-size: 0.82rem;
  line-height: 1.65;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}

.llvm-terminal-window pre code {
  min-width: 0;
}

.llvm-terminal-window {
  border-color: #d0d2d4;
  background: #fff;
  box-shadow: none;
}

.llvm-terminal-window figcaption {
  border-bottom-color: #d0d2d4;
  background: #f4f4f3;
  color: #30353a;
  font-family: -apple-system, BlinkMacSystemFont, "SF Pro Text", "Helvetica Neue", sans-serif;
  font-size: 0.64rem;
  letter-spacing: 0;
  text-transform: none;
}

.llvm-terminal-window figcaption span:last-child {
  text-transform: none;
}

.llvm-terminal-window .shell-prompt {
  color: #286a42;
}

.llvm-terminal-window .shell-directory {
  color: #3c628c;
}

.llvm-anatomy,
.llvm-reading-order {
  display: grid;
  margin: 1.5rem 0 2rem;
  border-block: 1px solid var(--line);
}

.llvm-anatomy > div {
  display: grid;
  grid-template-columns: 110px minmax(0, 1fr);
  gap: 16px;
  padding: 10px 4px;
  border-bottom: 1px solid var(--line);
  font-family: var(--sans);
  font-size: 0.71rem;
  line-height: 1.5;
}

.llvm-anatomy > div:last-child {
  border-bottom: 0;
}

.llvm-anatomy span {
  color: var(--muted);
}

.llvm-anatomy strong {
  font-weight: 450;
}

.llvm-trace {
  margin: 1.45rem 0 2rem;
  border: 1px solid #c8cbcd;
  background: #fbfbfa;
  box-shadow: 0 8px 24px rgb(28 31 33 / 4%);
}

.llvm-trace-head {
  display: flex;
  min-height: 34px;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
  padding: 8px 14px;
  border-bottom: 1px solid #c8cbcd;
  background: #f0f1f1;
  color: #555a5e;
  font-family: var(--sans);
  font-size: 0.65rem;
}

.llvm-trace-head code {
  padding: 0;
  border: 0;
  background: transparent;
  color: #4a4f52;
  font-size: 0.68rem;
}

.llvm-trace dl {
  margin: 0;
}

.llvm-trace dl > div {
  display: grid;
  grid-template-columns: 105px minmax(0, 1fr);
  gap: 15px;
  padding: 9px 14px;
  border-bottom: 1px solid #e0e2e3;
}

.llvm-trace dl > div:last-child {
  border-bottom: 0;
}

.llvm-trace dt,
.llvm-trace dd {
  margin: 0;
  font-family: var(--sans);
  font-size: 0.7rem;
  line-height: 1.5;
}

.llvm-trace dt {
  color: var(--muted);
}

.llvm-trace dd {
  color: #323638;
}

.llvm-pair {
  display: grid;
  gap: 18px;
  margin: 1.7rem 0 2rem;
}

.llvm-pair .llvm-window {
  margin: 0;
}

.llvm-reading-order > div {
  display: grid;
  grid-template-columns: 34px minmax(0, 1fr);
  gap: 12px;
  padding: 11px 4px;
  border-bottom: 1px solid var(--line);
}

.llvm-reading-order > div:last-child {
  border-bottom: 0;
}

.llvm-reading-order span {
  color: #7a7f82;
  font-family: var(--mono);
  font-size: 0.66rem;
}

.llvm-reading-order p {
  margin: 0;
  font-family: var(--sans);
  font-size: 0.72rem;
  line-height: 1.55;
}

.llvm-reading-order strong {
  font-weight: 550;
}

.technical-post table {
  display: block;
  width: 100%;
  overflow-x: auto;
  margin: 1.7rem 0 2rem;
  border-collapse: collapse;
  font-family: var(--sans);
  font-size: 0.74rem;
  line-height: 1.45;
}

.technical-post th,
.technical-post td {
  padding: 8px 10px;
  border: 1px solid var(--line);
  text-align: left;
  vertical-align: top;
  white-space: nowrap;
}

.technical-post th {
  background: var(--wash);
  font-weight: 500;
}

.tree-matcher-demo {
  display: grid;
  gap: 9px;
  margin: 1.5rem 0 2.2rem;
  padding: 16px;
  border: 1px solid var(--line-dark);
  background: var(--paper);
}

.tree-matcher-demo > input[type="text"] {
  width: 100%;
  min-height: 36px;
  padding: 6px 9px;
  border: 1px solid #8b8e91;
  border-radius: 0;
  background: var(--paper);
  color: var(--ink);
  font-family: var(--mono);
  font-size: 0.8rem;
}

.tree-matcher-demo > input[type="text"]:focus {
  border-color: var(--accent);
  outline: 1px solid var(--accent);
  outline-offset: 0;
}

.tree-demo-strict {
  display: flex;
  width: max-content;
  align-items: center;
  gap: 6px;
  font-family: var(--sans);
  font-size: 0.74rem;
}

.tree-demo-strict input {
  margin: 0;
}

.tree-demo-result {
  margin-top: 4px;
  overflow-x: auto;
  padding: 13px 12px 9px;
  border-top: 1px solid var(--line);
}

.tree-demo-render {
  min-width: max-content;
  color: #757a7e;
  font-family: var(--mono);
  font-size: 0.82rem;
  line-height: 1.9;
  white-space: nowrap;
}

.tree-demo-term.is-match {
  background: #e6e8e8;
  color: var(--ink);
  box-shadow: 0 0 0 2px #e6e8e8;
}

.tree-demo-term.is-match[data-match-tone="1"] {
  background: #ced4d7;
  box-shadow: 0 0 0 2px #ced4d7;
}

.tree-demo-status {
  margin: 7px 0 0;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.62rem;
  line-height: 1.4;
}

.tree-demo-status.is-error {
  color: #8a2634;
}

.effect-rules {
  display: grid;
  margin: 1.7rem 0 2rem;
  border: 1px solid var(--line);
  border-bottom: 0;
}

.effect-rules > div {
  display: grid;
  grid-template-columns: 86px minmax(0, 1fr);
  border-bottom: 1px solid var(--line);
}

.effect-rules span,
.effect-rules code {
  padding: 9px 12px;
}

.effect-rules span {
  color: var(--muted);
  background: var(--wash);
  font-family: var(--mono);
  font-size: 0.66rem;
  text-transform: uppercase;
}

.effect-rules code {
  overflow-x: auto;
  border-left: 1px solid var(--line);
  font-size: 0.74rem;
  white-space: nowrap;
}

@media (max-width: 820px) {
  .site-shell {
    width: min(calc(100% - 36px), 720px);
    padding-top: 34px;
  }
}

@media (max-width: 540px) {
  html {
    font-size: 17px;
  }

  .site-shell {
    width: calc(100% - 28px);
  }

  .site-masthead {
    padding-bottom: 14px;
  }

  .masthead-links {
    gap: 16px;
  }

  .masthead-portrait,
  .masthead-portrait img {
    width: 40px;
    height: 40px;
  }

  .home-content {
    margin-top: 52px;
  }

  .post-list li {
    margin-bottom: 25px;
  }

  .post-title {
    font-size: 1.08rem;
  }

  .post-description {
    font-size: 0.78rem;
  }

  .article-column {
    margin-top: 52px;
  }

  .article-header {
    padding: 0 0 34px;
  }

  .article-header h1 {
    font-size: 1.85rem;
  }

  .prose {
    padding-top: 31px;
  }

  .prose h2 {
    margin-top: 2.8rem;
  }

  .technical-post > pre,
  .code-block pre,
  .technical-post pre.listing {
    font-size: 0.7rem;
  }

  .technical-post .code-line {
    padding-left: 48px;
  }

  .technical-post .code-line::before {
    width: 35px;
  }

  .effect-rules > div {
    grid-template-columns: 72px minmax(0, 1fr);
  }

  .llvm-anatomy > div,
  .llvm-trace dl > div {
    grid-template-columns: 82px minmax(0, 1fr);
    gap: 10px;
  }

  .llvm-trace-head {
    align-items: flex-start;
    flex-direction: column;
    gap: 4px;
  }

}