/* Tarski Research — minimal single-column text site */

:root {
  --bg: #fdfdfc;
  --text: #1a1a1a;
  --muted: #666;
  --link: #1a1a1a;
  --rule: #e2e2de;
}

@media (prefers-color-scheme: dark) {
  :root {
    --bg: #131313;
    --text: #e6e4df;
    --muted: #999;
    --link: #e6e4df;
    --rule: #2c2c2c;
    }
}

* {
  margin: 0;
  padding: 0;
  box-sizing: border-box;
}

html {
  font-size: 17px;
}

body {
  background: var(--bg);
  color: var(--text);
  font-family: Charter, Georgia, Cambria, "Times New Roman", serif;
  line-height: 1.65;
  -webkit-font-smoothing: antialiased;
}

main {
  max-width: 38rem;
  margin: 0 auto;
  padding: 5rem 1.25rem 4rem;
}

header {
  margin-bottom: 3rem;
}

h1 {
  font-size: 1.5rem;
  font-weight: 600;
  letter-spacing: -0.01em;
}

.tagline {
  color: var(--muted);
  margin-top: 0.35rem;
}

h2 {
  font-size: 1.05rem;
  font-weight: 600;
  margin-bottom: 0.75rem;
}

section {
  margin-bottom: 2.75rem;
}

section p + p {
  margin-top: 1.1rem;
}

a {
  color: var(--link);
  text-decoration: underline;
  text-underline-offset: 3px;
  text-decoration-color: var(--muted);
}

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

footer {
  border-top: 1px solid var(--rule);
  padding-top: 1.5rem;
  color: var(--muted);
  font-size: 0.9rem;
}