:root {
  --fg: #cfe3cf;
  --muted: #7d8c7d;
  --accent: #6ee787;
  --bg: #0c0f0c;
  --rule: #1e261e;
  /* swap this one line to try a different font */
  --mono: "Ubuntu Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
}

* { box-sizing: border-box; }

html { font-size: 17px; }

body {
  margin: 0;
  background: var(--bg);
  color: var(--fg);
  font-family: var(--mono);
  line-height: 1.6;
  -webkit-font-smoothing: antialiased;
}

main {
  max-width: 36rem;
  margin: 0 auto;
  padding: 5rem 1.5rem 4rem;
}

header {
  margin-bottom: 2.5rem;
  display: flex;
  flex-direction: column;
  align-items: flex-start;
  gap: 0.9rem;
}

.logo {
  flex: 0 0 auto;
  display: block;
  width: 1rem;
  height: 1rem;
  fill: var(--accent);
}

/* the mark doubles as a Lean goal line; the script in index.html widens the box
   while it types and hands back this 1rem one if it stands down */
.logo-goal { font-family: var(--mono); }

h1 {
  font-size: 1.9rem;
  font-weight: 600;
  margin: 0;
  line-height: 1.2;
  letter-spacing: -0.01em;
}

section { margin-bottom: 2.5rem; }

h2 {
  font-size: 0.82rem;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: var(--muted);
  font-weight: 600;
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  border-bottom: 1px solid var(--rule);
  padding-bottom: 0.4rem;
  margin-bottom: 1rem;
}

p { margin: 0 0 1rem; }

ul {
  margin: 0 0 1rem;
  padding-left: 1.2rem;
}

li { margin-bottom: 0.35rem; }

a {
  color: var(--accent);
  text-decoration: none;
  border-bottom: 1px solid transparent;
  transition: border-color 0.15s;
}

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

.prompt-label {
  font-family: var(--mono);
  font-size: 0.85rem;
  color: var(--muted);
  margin: 0 0 0.6rem;
}

.prompt-label::before {
  content: "$ ";
  color: var(--accent);
}

ul.terminal {
  list-style: none;
  padding-left: 0;
  margin: 0 0 1rem;
  font-family: var(--mono);
  font-size: 0.9rem;
}

ul.terminal li {
  position: relative;
  padding-left: 1.4rem;
  margin-bottom: 0.35rem;
}

ul.terminal li::before {
  content: "\276F"; /* ❯ */
  position: absolute;
  left: 0;
  color: var(--accent);
}

.cursor {
  display: inline-block;
  width: 0.55em;
  height: 1.05em;
  margin-left: 0.15em;
  vertical-align: text-bottom;
  background: var(--accent);
  animation: blink 1.1s step-end infinite;
}

@keyframes blink {
  50% { opacity: 0; }
}

ul.papers {
  list-style: none;
  padding-left: 0;
  margin: 0 0 1rem;
  font-size: 0.9rem;
}

ul.papers li {
  position: relative;
  padding-left: 1.4rem;
  margin-bottom: 1rem;
}

ul.papers li::before {
  content: "\276F"; /* ❯ */
  position: absolute;
  left: 0;
  color: var(--accent);
}

.note {
  color: var(--muted);
  font-size: 0.85rem;
  font-family: var(--mono);
}

.paper-title { font-style: italic; }

.authors,
.venue { color: var(--muted); }

.links { font-family: var(--mono); font-size: 0.85rem; }

footer {
  margin-top: 3.5rem;
  padding-top: 1.2rem;
  border-top: 1px solid var(--rule);
  font-family: var(--mono);
  font-size: 0.85rem;
}

.footer-cmd {
  margin: 0 0 0.3rem;
}

.footer-cmd::before {
  content: "$ ";
  color: var(--accent);
}

.sep { color: var(--rule); margin: 0 0.5rem; }