/* ProofTree — coming soon theme (matches product UI) */

:root {
  --bg: #fdfbf7;
  --bg-card: #f5f2ed;
  --text: #1a1a1a;
  --text-secondary: #6b6560;
  --text-muted: #9a948c;
  --border: #e8e4de;
  --border-strong: #d4cfc6;
  --accent: #9b4433;
  --accent-hover: #823a2c;
  --accent-soft: #f3ebe8;
  --green-bg: #e8f5e9;
  --green-text: #2e5c32;
  --pending-bg: #f8efe8;
  --pending-text: #8b4a3a;
  --link: #3d6b8a;
  --radius: 8px;
  --radius-sm: 4px;
  --font-serif: "Source Serif 4", Georgia, "Times New Roman", serif;
  --font-sans: "DM Sans", system-ui, -apple-system, sans-serif;
  --shadow: 0 1px 2px rgba(26, 26, 26, 0.04);
  --max-width: 720px;
}

*,
*::before,
*::after {
  box-sizing: border-box;
}

html {
  font-size: 16px;
  -webkit-font-smoothing: antialiased;
}

body {
  margin: 0;
  min-height: 100dvh;
  font-family: var(--font-sans);
  font-size: 0.9375rem;
  line-height: 1.55;
  color: var(--text);
  background: var(--bg);
}

.page {
  min-height: 100dvh;
  display: flex;
  flex-direction: column;
  max-width: 1100px;
  margin: 0 auto;
  padding: 1.5rem 1.25rem 2rem;
}

/* Header */
.header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  margin-bottom: 2.5rem;
  flex-wrap: wrap;
}

.logo {
  display: inline-flex;
  align-items: center;
  gap: 0.5rem;
  text-decoration: none;
  color: var(--text);
}

.logo-mark {
  display: flex;
  align-items: center;
  justify-content: center;
  width: 1.75rem;
  height: 1.75rem;
  font-size: 0.85rem;
  color: var(--accent);
  background: var(--accent-soft);
  border-radius: var(--radius-sm);
}

.logo-text {
  font-weight: 600;
  font-size: 1.05rem;
  letter-spacing: -0.02em;
}

.header-tag {
  font-size: 0.75rem;
  color: var(--text-muted);
  letter-spacing: 0.02em;
}

/* Layout */
.main {
  flex: 1;
  display: grid;
  grid-template-columns: 1fr;
  gap: 1.25rem;
  align-items: start;
}

@media (min-width: 768px) {
  .main {
    grid-template-columns: minmax(0, var(--max-width)) 220px;
    gap: 1.5rem;
  }
}

/* Cards */
.card {
  background: var(--bg);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  box-shadow: var(--shadow);
}

.hero-card {
  padding: 1.75rem 1.5rem 2rem;
}

@media (min-width: 480px) {
  .hero-card {
    padding: 2rem 2rem 2.25rem;
  }
}

.side-card {
  padding: 1.25rem 1.25rem 1.5rem;
  background: var(--bg-card);
}

/* Tags */
.card-tags {
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem;
  margin-bottom: 1.25rem;
}

.tag {
  display: inline-block;
  font-size: 0.6875rem;
  font-weight: 500;
  text-transform: lowercase;
  letter-spacing: 0.03em;
  padding: 0.2rem 0.55rem;
  border-radius: 999px;
  border: 1px solid transparent;
}

.tag-muted {
  color: var(--text-secondary);
  background: var(--bg-card);
  border-color: var(--border);
}

.tag-pending {
  color: var(--pending-text);
  background: var(--pending-bg);
  border-color: #e8d5cc;
}

.tag-lean {
  color: var(--green-text);
  background: var(--green-bg);
  border-color: #c8e6c9;
}

.tag-conditional {
  color: var(--pending-text);
  background: var(--pending-bg);
  border-color: #e8d5cc;
}

/* Typography */
.title {
  font-family: var(--font-serif);
  font-size: clamp(2rem, 5vw, 2.75rem);
  font-weight: 600;
  line-height: 1.15;
  margin: 0 0 1rem;
  letter-spacing: -0.02em;
}

.lead {
  font-family: var(--font-serif);
  font-size: 1.125rem;
  line-height: 1.6;
  color: var(--text);
  margin: 0 0 1.5rem;
}

.lead strong {
  font-weight: 600;
}

.body-text {
  margin: 0 0 1.75rem;
  color: var(--text-secondary);
  max-width: 52ch;
}

/* Statement preview block */
.statement-block {
  margin: 0 0 1.5rem;
  padding: 1rem 1.15rem;
  background: var(--bg-card);
  border: 1px solid var(--border);
  border-radius: var(--radius);
}

.statement-label {
  font-size: 0.6875rem;
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 0.06em;
  color: var(--text-muted);
  margin: 0 0 0.5rem;
}

.statement-math {
  font-family: var(--font-serif);
  font-size: 1.05rem;
  margin: 0 0 0.75rem;
  line-height: 1.5;
}

.math {
  white-space: nowrap;
}

.math-sep {
  margin: 0 0.35rem;
  color: var(--text-muted);
}

.statement-tags {
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem;
}

/* Notify form */
.notify-form {
  margin-top: 0.25rem;
  padding-top: 1.5rem;
  border-top: 1px solid var(--border);
}

.notify-label {
  display: block;
  font-size: 0.8125rem;
  font-weight: 500;
  color: var(--text-secondary);
  margin-bottom: 0.5rem;
}

.notify-row {
  display: flex;
  flex-direction: column;
  gap: 0.5rem;
}

@media (min-width: 420px) {
  .notify-row {
    flex-direction: row;
    align-items: stretch;
  }
}

.notify-input {
  flex: 1;
  min-width: 0;
  font-family: var(--font-sans);
  font-size: 0.9375rem;
  padding: 0.65rem 0.85rem;
  border: 1px solid var(--border-strong);
  border-radius: var(--radius-sm);
  background: var(--bg);
  color: var(--text);
}

.notify-input::placeholder {
  color: var(--text-muted);
}

.notify-input:focus {
  outline: 2px solid var(--accent);
  outline-offset: 1px;
  border-color: var(--accent);
}

.btn {
  font-family: var(--font-sans);
  font-size: 0.875rem;
  font-weight: 600;
  cursor: pointer;
  border: none;
  border-radius: var(--radius-sm);
  padding: 0.65rem 1.25rem;
  white-space: nowrap;
  transition: background 0.15s ease;
}

.btn-primary {
  background: var(--accent);
  color: #fff;
}

.btn-primary:hover {
  background: var(--accent-hover);
}

.notify-hint {
  margin: 0.65rem 0 0;
  font-size: 0.8125rem;
  color: var(--text-muted);
}

.notify-hint a {
  color: var(--link);
  text-decoration: none;
}

.notify-hint a:hover {
  text-decoration: underline;
}

/* Sidebar */
.side-title {
  font-size: 0.75rem;
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 0.06em;
  color: var(--text-muted);
  margin: 0 0 0.85rem;
}

.status-list {
  list-style: none;
  margin: 0;
  padding: 0;
  font-size: 0.8125rem;
  color: var(--text-secondary);
}

.status-list li {
  display: flex;
  align-items: center;
  gap: 0.5rem;
  margin-bottom: 0.55rem;
}

.status-list li:last-child {
  margin-bottom: 0;
}

.status-dot {
  width: 6px;
  height: 6px;
  border-radius: 50%;
  flex-shrink: 0;
}

.status-dot-warm {
  background: var(--accent);
}

.status-dot-muted {
  background: var(--text-muted);
}

.status-dot-green {
  background: var(--green-text);
}

/* Footer */
.footer {
  margin-top: 2.5rem;
  padding-top: 1rem;
  font-size: 0.75rem;
  color: var(--text-muted);
  border-top: 1px solid var(--border);
}

.footer p {
  margin: 0;
}