/* mitchsn.css — the whole stylesheet. */

@font-face {
  font-family: "IBM Plex Sans";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("/assets/fonts/ibm-plex-sans-latin-400-normal.woff2") format("woff2");
}

@font-face {
  font-family: "IBM Plex Sans";
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url("/assets/fonts/ibm-plex-sans-latin-400-italic.woff2") format("woff2");
}

@font-face {
  font-family: "IBM Plex Sans";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("/assets/fonts/ibm-plex-sans-latin-700-normal.woff2") format("woff2");
}

:root {
  --font-body: "IBM Plex Sans", -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;
  --font-mono: ui-monospace, "SF Mono", Menlo, Consolas, monospace;
  --bg: #ffffff;
  --text: #1a1a1a;
  --muted: #6a6a6a;
  --link: #0b57d0;
  --code-bg: #f4f4f4;
  --rule: #e0e0e0;
}

@media (prefers-color-scheme: dark) {
  :root {
    --bg: #161616;
    --text: #d6d6d6;
    --muted: #9b9b9b;
    --link: #8ab4f8;
    --code-bg: #222222;
    --rule: #3a3a3a;
  }

  /* dark syntax-highlight palette: pandoc bakes light-theme token colors
     into each page, so we override its token classes here. */
  code span.kw, code span.cf, code span.pp { color: #c678dd; }
  code span.dt { color: #e5c07b; }
  code span.dv, code span.bn, code span.fl, code span.cn, code span.at { color: #d19a66; }
  code span.st, code span.ch, code span.ss, code span.vs { color: #98c379; }
  code span.co, code span.an, code span.cv, code span.do, code span.in { color: #7d8590; }
  code span.fu { color: #61afef; }
  code span.va { color: #e06c75; }
  code span.op { color: #abb2bf; }
  code span.bu, code span.ot { color: #56b6c2; }
  code span.im { color: #61afef; }
  code span.al, code span.er { color: #e06c75; font-weight: bold; }
}

body {
  font-family: var(--font-body);
  font-size: 17px;
  line-height: 1.55;
  max-width: 72ch;
  margin: 2.5rem auto;
  padding: 0 1.25rem;
  color: var(--text);
  background: var(--bg);
  text-rendering: optimizeLegibility;
}

h1, h2, h3 { line-height: 1.25; }
h1 { font-size: 1.7em; }
h2 { font-size: 1.3em; margin-top: 2em; }

a { color: var(--link); }
a:hover { text-decoration-thickness: 2px; }

p.date, p.author { color: var(--muted); margin-top: -0.5em; }

img {
  display: block;
  margin: 1.5em auto;
  max-width: 100%;
  max-height: 700px;
}

code {
  font-family: var(--font-mono);
  font-size: 0.88em;
  background: var(--code-bg);
  padding: 0.1em 0.3em;
  border-radius: 4px;
}

pre {
  background: var(--code-bg);
  padding: 0.9em 1.1em;
  border-radius: 8px;
  overflow-x: auto;
  line-height: 1.45;
}

pre code { background: none; padding: 0; }

blockquote {
  margin-left: 0;
  padding-left: 1em;
  border-left: 3px solid var(--rule);
  color: var(--muted);
}

table {
  border-collapse: collapse;
  margin: 1.5em auto;
}

th, td {
  padding: 0.4em 0.8em;
  border-bottom: 1px solid var(--rule);
}

th { border-bottom: 2px solid var(--text); }

hr {
  border: none;
  border-top: 1px solid var(--rule);
  margin: 2.5em 0;
}