:root {
  --bg: #07090c;
  --fg: #d7dde3;
  --dim: #7a8590;
  --accent: #7fd1c4;
  --accent-dim: #3a5d57;
  --fail: #e08b8b;
  --mono: ui-monospace, "SF Mono", "JetBrains Mono", Menlo, Consolas, monospace;
}

* { box-sizing: border-box; }

html, body {
  margin: 0;
  padding: 0;
  background: var(--bg);
  color: var(--fg);
  font-family: var(--mono);
  -webkit-font-smoothing: antialiased;
}

body {
  min-height: 100dvh;
  background-image: repeating-linear-gradient(
    0deg,
    rgba(127, 209, 196, 0.025) 0px,
    rgba(127, 209, 196, 0.025) 1px,
    transparent 1px,
    transparent 3px
  );
}

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

.wrap { max-width: 720px; margin: 0 auto; padding: 12vh 24px 10vh; }

.kicker {
  text-transform: uppercase;
  letter-spacing: 0.32em;
  font-size: 0.72rem;
  color: var(--accent);
  margin: 0 0 1.2rem;
}
.kicker a { color: var(--accent); }

.title, h1 {
  font-size: clamp(2.2rem, 7vw, 4.2rem);
  line-height: 1.04;
  letter-spacing: -0.02em;
  margin: 0 0 1.4rem;
  font-weight: 600;
}

.lede { font-size: 1.05rem; line-height: 1.7; max-width: 60ch; }

.byline { margin-top: 2.2rem; color: var(--dim); letter-spacing: 0.04em; }

.more { margin-top: 2rem; }

.status {
  margin-top: 3.2rem;
  color: var(--dim);
  font-size: 0.85rem;
  display: flex;
  align-items: center;
  gap: 0.6rem;
}
.dot {
  width: 8px; height: 8px; border-radius: 50%;
  background: var(--accent); box-shadow: 0 0 10px var(--accent);
  animation: pulse 2.4s ease-in-out infinite;
}
@keyframes pulse { 0%,100% { opacity: 0.35; } 50% { opacity: 1; } }

/* blog list */
.posts { list-style: none; padding: 0; margin: 2rem 0; }
.posts li {
  display: flex; justify-content: space-between; gap: 1rem;
  padding: 0.7rem 0; border-bottom: 1px solid #161b21; align-items: baseline;
}
.posts time { color: var(--dim); font-size: 0.8rem; white-space: nowrap; }
.muted { color: var(--dim); }
.back { margin-top: 3rem; font-size: 0.85rem; }

/* post */
.post .meta { color: var(--dim); font-size: 0.85rem; display: block; margin-bottom: 2rem; }
.content { line-height: 1.75; }
.content h2, .content h3 { margin-top: 2.2rem; letter-spacing: -0.01em; }
.content p { margin: 1.1rem 0; }
.content a { text-decoration: underline; }
.content code {
  background: #0c0f13; border: 1px solid #1c2228; border-radius: 4px;
  padding: 0.1em 0.35em; font-size: 0.9em;
}
.content pre {
  background: #0c0f13; border: 1px solid #1c2228; border-radius: 6px;
  padding: 1rem; overflow-x: auto;
}
.content pre code { background: none; border: none; padding: 0; }
.content blockquote {
  border-left: 2px solid var(--accent-dim); margin: 1.2rem 0;
  padding-left: 1rem; color: var(--dim);
}
.tags { margin-top: 2rem; color: var(--dim); font-size: 0.8rem; }
.tags span { margin-right: 0.4rem; }

/* /prove */
.prove .lede { color: var(--dim); }
.prove em { color: var(--fg); font-style: italic; }
.proveform { display: flex; gap: 0.6rem; margin: 2.2rem 0 1rem; flex-wrap: wrap; }
.proveform input {
  flex: 1 1 280px; background: #0c0f13; border: 1px solid var(--accent-dim);
  color: var(--fg); font-family: var(--mono); font-size: 1rem;
  padding: 0.8rem 1rem; border-radius: 6px; outline: none;
}
.proveform input:focus { border-color: var(--accent); }
.proveform button {
  background: var(--accent); color: #04201b; border: none;
  font-family: var(--mono); font-weight: 600; font-size: 1rem;
  padding: 0.8rem 1.6rem; border-radius: 6px; cursor: pointer;
}
.proveform button:disabled { opacity: 0.4; cursor: not-allowed; }
.result {
  white-space: pre-wrap; line-height: 1.6; padding: 1rem 1.2rem;
  border-radius: 6px; border: 1px solid var(--accent-dim);
  background: #0a1614; margin: 1rem 0;
}
.result.ok { border-color: var(--accent); color: var(--accent); }
.result.fail, .result.error {
  border-color: var(--fail); color: var(--fail); background: #170c0c;
}
.fineprint { margin-top: 2.5rem; color: var(--dim); font-size: 0.78rem; line-height: 1.6; max-width: 56ch; }