/* Shared by every page: colour tokens, fonts and base text styles.
   Change a colour here and it updates the index and all posts. */
:root{
  --bg: #ffffff;
  --text: #111827;
  --muted: #6b7280;
  --border: rgba(17,24,39,.12);
  --link: #1e3a8a;
  --code-bg: #f6f8fa;
  --code-border: rgba(17,24,39,.10);
  --figure-bg: #fafafa;
  --max: 780px;
  --mono: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono","Courier New", monospace;
  --sans: ui-sans-serif, system-ui, -apple-system, Segoe UI, Roboto, Helvetica, Arial, "Apple Color Emoji","Segoe UI Emoji";
}

html, body { height: 100%; }
body{
  margin: 0;
  font-family: var(--sans);
  background: var(--bg);
  color: var(--text);
  line-height: 1.8;
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
}

a{ color: var(--link); text-decoration: none; }
a:hover{ text-decoration: underline; }

.wrap{ max-width: var(--max); margin: 0 auto; padding: 34px 18px 84px; }

@media print{
  a{ color: inherit; text-decoration: none; }
}