@font-face {
  font-family: "Gontserrat";
  src: url("/assets/fonts/Gontserrat-Regular.ttf") format("truetype");
  font-style: normal;
  font-weight: 400;
  font-display: swap;
}

:root {
  --sans: "Gontserrat", "Montserrat", Arial, sans-serif;
  /* A strict ink and paper palette drawn from the profile portrait. */
  --paper: #ffffff;
  --panel: #fafafa;
  --ink: #151515;
  --muted: #686868;
  --line: #d6d6d6;
  --line-dark: #999999;
  --wash: #f2f2f2;
  --accent: #333333;
  --accent-bright: #000000;
}

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

body {
  background:
    radial-gradient(circle at 84% -8%, rgb(0 0 0 / 4%), transparent 32rem),
    var(--paper);
  color: var(--ink);
  font-family: var(--sans);
  line-height: 1.58;
}

::selection {
  background: #222222;
  color: #ffffff;
}

a {
  color: var(--accent);
}

a:hover {
  color: var(--accent-bright);
}

a:focus-visible {
  outline-color: var(--accent-bright);
}

.site-shell,
.home-page.site-shell {
  width: min(calc(100% - 48px), 872px);
  padding: 32px 0 86px;
}

.site-masthead,
.home-page .site-masthead {
  align-items: center;
  padding-bottom: 20px;
  border-bottom: 0;
}

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

.wordmark,
.home-page .wordmark {
  color: var(--ink);
  font-family: var(--sans);
  font-weight: 400;
  letter-spacing: -0.035em;
}

.home-page .wordmark {
  font-size: clamp(2.05rem, 5vw, 2.5rem);
}

.home-title::after {
  display: none;
}

.masthead-links {
  gap: 18px;
}

.site-nav,
.home-page .site-nav {
  padding-top: 0;
  font-family: var(--sans);
  font-size: 0.73rem;
  font-variant-caps: normal;
  letter-spacing: 0.02em;
  text-transform: none;
}

.site-nav a,
.home-page .site-nav a {
  color: var(--muted);
}

.site-nav a:hover,
.home-page .site-nav a:hover {
  color: var(--accent-bright);
}

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

.masthead-portrait img,
.home-page .masthead-portrait img {
  padding: 2px;
  border: 1px solid var(--line-dark);
  background: var(--panel);
  box-shadow: 0 0 0 3px rgb(255 255 255 / 5%);
}

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

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

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

.home-page .post-title {
  color: var(--ink);
  font-family: var(--sans);
  font-size: 1.16rem;
  font-weight: 400;
  letter-spacing: -0.025em;
  line-height: 1.24;
  text-decoration-color: transparent;
  white-space: nowrap;
}

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

.post-date,
.article-date {
  display: block;
  margin-top: 0.42rem;
  color: var(--muted);
  font-family: var(--sans);
  font-size: 0.72rem;
  font-weight: 400;
  letter-spacing: 0.02em;
  line-height: 1.35;
}

.article-date {
  margin-top: 0.75rem;
  font-size: 0.78rem;
}

.article-column {
  max-width: 872px;
  margin: 46px auto 0;
}

.article-header,
.page-heading {
  padding: 0 0 24px;
  border-bottom: 0;
}

.article-header h1,
.page-heading h1 {
  max-width: 872px;
  color: var(--ink);
  font-family: var(--sans);
  font-size: clamp(2rem, 4.4vw, 2.2rem);
  font-weight: 400;
  letter-spacing: -0.04em;
  line-height: 1.12;
}

.prose {
  padding-top: 0;
  font-family: var(--sans);
}

.prose p,
.prose li,
.page-content p:first-child {
  color: #222222;
  font-family: var(--sans);
  font-size: 1rem;
  line-height: 1.6;
}

.prose p {
  margin-bottom: 1.15em;
}

.prose h2 {
  margin: 2.75rem 0 0.85rem;
  color: var(--ink);
  font-family: var(--sans);
  font-size: 1.48rem;
  font-weight: 500;
  letter-spacing: -0.03em;
}

.prose h3 {
  color: var(--ink);
  font-family: var(--sans);
}

.prose blockquote {
  border-left-color: var(--accent);
  color: #555555;
}

.prose :not(pre) > code {
  border-color: var(--line);
  background: var(--wash);
  color: #222222;
}

.technical-post > pre,
.code-block,
.technical-post pre.listing {
  border: 1px solid var(--line);
  border-radius: 3px;
  background: #f7f7f7;
  box-shadow: none;
}

.technical-post > pre,
.code-block pre,
.technical-post pre.listing {
  font-size: 0.78rem;
  line-height: 1.58;
}

.code-block figcaption {
  border-bottom-color: var(--line);
  background: #eeeeee;
  color: var(--muted);
}

.technical-post .code-line::before {
  border-right-color: var(--line);
  color: #777777;
}

.token.comment,
.token.prolog,
.token.doctype,
.token.cdata {
  color: #777777;
}

.token.punctuation {
  color: #444444;
}

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

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

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

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

.token.keyword,
.token.directive {
  color: #333333;
}

.token.regex,
.token.important {
  color: #555555;
}

.math-block,
.llvm-anatomy,
.llvm-reading-order,
.technical-post th,
.technical-post td {
  border-color: var(--line);
}

.technical-post th,
.effect-rules span {
  background: var(--wash);
}

.tree-matcher-demo,
.effect-rules {
  border-color: var(--line-dark);
  background: #f7f7f7;
}

.tree-matcher-demo > input[type="text"] {
  border-color: var(--line-dark);
  background: var(--wash);
  color: var(--ink);
}

.tree-demo-result,
.effect-rules > div,
.effect-rules code {
  border-color: var(--line);
}

.tree-demo-render {
  color: var(--muted);
}

.tree-demo-term.is-match {
  background: #d0d0d0;
  color: #111111;
  box-shadow: 0 0 0 2px #d0d0d0;
}

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

.llvm-window,
.llvm-window:not(.llvm-terminal-window),
.llvm-terminal-window,
.llvm-trace {
  border-color: var(--line);
  background: #f7f7f7;
  box-shadow: none;
}

.llvm-window pre,
.llvm-window:not(.llvm-terminal-window) pre,
.llvm-terminal-window pre {
  background: #f7f7f7;
}

.llvm-window figcaption,
.llvm-window:not(.llvm-terminal-window) figcaption,
.llvm-terminal-window figcaption,
.llvm-trace-head {
  border-color: var(--line);
  background: #eeeeee;
  color: var(--muted);
}

.llvm-window figcaption span:last-child,
.llvm-trace-head code,
.llvm-trace dt,
.llvm-reading-order span {
  color: #666666;
}

.llvm-trace dl > div {
  border-color: var(--line);
}

.llvm-trace dd {
  color: var(--ink);
}

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

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

.graphviz-diagram img {
  background: transparent !important;
  filter: grayscale(1) contrast(1.08);
}

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

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

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

  .article-header h1,
  .page-heading h1 {
    font-size: 1.8rem;
  }

  .prose p,
  .prose li,
  .page-content p:first-child {
    font-size: 0.96rem;
  }

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

  .home-page .post-title {
    font-size: 1.14rem;
    white-space: normal;
  }
}