:root {
  --bg: #f4f1ea;
  --ink: #0e0e0c;
  --dim: #8a857a;
  --ok: #5a8f3a;
  --link: #0e0e0c;
  --mono:
    'Geist Mono', ui-monospace, 'SF Mono', 'JetBrains Mono', Menlo, Consolas, monospace;
  --fs: 13px;
  --lh: 1.55;
  --col-w: 560px;
}

* {
  box-sizing: border-box;
}

html,
body {
  margin: 0;
  padding: 0;
  background: var(--bg);
  color: var(--ink);
}

html {
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
  text-rendering: optimizeLegibility;
}

body {
  font-family: var(--mono);
  font-size: var(--fs);
  line-height: var(--lh);
  font-variant-ligatures: none;
  font-feature-settings: 'ss01', 'ss02';
  letter-spacing: 0;
}

main {
  min-height: 100dvh;
  display: flex;
  align-items: flex-start;
  padding: clamp(28px, 6vw, 56px) clamp(20px, 6vw, 64px);
}

.page {
  width: 100%;
  max-width: var(--col-w);
  display: flex;
  flex-direction: column;
}

pre {
  margin: 0;
  font: inherit;
  white-space: pre;
  tab-size: 2;
}

.boot {
  margin-bottom: 2.4em;
  color: var(--ink);
  transition: opacity 400ms ease;
}
.boot.consumed {
  opacity: 0.55;
}

.head {
  font-size: 1.55em;
  line-height: 1.2;
  letter-spacing: -0.015em;
  margin-bottom: 1.8em;
}
.head .brand {
  font-weight: 600;
  color: var(--ink);
}

.body {
  margin-bottom: 2.2em;
}

.foot {
  color: var(--ink);
}

.dim {
  color: var(--dim);
}
.ok {
  color: var(--ok);
}

a {
  color: var(--link);
  text-decoration: underline;
  text-decoration-style: dotted;
  text-decoration-color: var(--dim);
  text-underline-offset: 4px;
  text-decoration-thickness: 1px;
}
a:hover {
  text-decoration-color: var(--ink);
  text-decoration-style: solid;
}

/* blinking block cursor — only on the prompt */
.cur {
  display: inline-block;
  background: var(--ink);
  color: var(--ink);
  width: 0.55ch;
  margin-left: 1px;
  animation: blink 1.05s steps(2, start) infinite;
}
@keyframes blink {
  to {
    opacity: 0;
  }
}

/* dark mode */
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #0d0d0c;
    --ink: #e8e4da;
    --dim: #6a655c;
    --link: #e8e4da;
    --ok: #69c042;
  }
}

/* mobile */
@media (max-width: 480px) {
  :root {
    --fs: 12px;
  }
  .head {
    font-size: 1.4em;
  }
}