/* lean-theorem-ui.css — Lean formalization UI styles */
/* All values use design tokens. No hardcoded hex, spacing, or fonts. */

/* ============================================================
   Statement language toggle
   ============================================================ */

/* Container — sits inside .theorem-box, above .content-renderer */
.stmt-lang-toggle {
  display: flex;
  gap: var(--spacing-xs);
  margin-bottom: var(--spacing-sm);
  border-bottom: 1px solid var(--color-border-subtle);
  padding-bottom: var(--spacing-xs);
}

/* Ghost tab buttons */
.stmt-lang-btn {
  background: transparent;
  border: none;
  padding: var(--spacing-xs) var(--spacing-sm);
  font-size: var(--font-size-sm);
  font-weight: var(--font-weight-normal);
  color: var(--color-text-secondary);
  cursor: pointer;
  border-radius: var(--radius-sm);
  transition: color 0.15s, font-weight 0.15s, background 0.15s;
}

/* Active: weight-change only, no colored underline (design principle #14) */
.stmt-lang-btn.active {
  font-weight: var(--font-weight-semibold);
  color: var(--color-text-primary);
}

/* Hover non-active: accent 8% tint (design principle #4) */
.stmt-lang-btn:hover:not(.active) {
  background: color-mix(in srgb, var(--color-accent) 8%, transparent);
  color: var(--color-text-primary);
}

/* Natural language view (default visible) */
.stmt-natural-view { display: block; }
.stmt-natural-view.hidden { display: none; }

/* Lean type-signature view (hidden by default) */
.stmt-lean-view { display: none; }
.stmt-lean-view.active { display: block; }

/* Lean type-signature code — lighter treatment than full code block */
.stmt-lean-code {
  font-family: var(--font-mono);
  font-size: var(--font-size-sm);
  line-height: 1.55;
  color: var(--color-text-primary);
  background: var(--color-bg-secondary);
  border-radius: var(--radius-md);
  padding: var(--spacing-sm) var(--spacing-md);
  overflow-x: auto;
  white-space: pre;
  margin: 0;
}

/* ============================================================
   Lean section header and badge
   ============================================================ */

.lean-section-header {
  display: flex;
  align-items: center;
  gap: var(--spacing-sm);
  flex-wrap: wrap;
}

/* Text-only badge, no pill — design principle #14 (Badges / Status Labels) */
.lean-status-badge {
  font-size: var(--font-size-xs);
  font-weight: var(--font-weight-semibold);
  text-transform: uppercase;
  letter-spacing: 0.05em;
  background: none;
  border: none;
  padding: 0;
}

.lean-status-badge.verified { color: var(--color-success); }
.lean-status-badge.failed   { color: var(--color-danger); }
.lean-status-badge.pending  { color: var(--color-warning); }

/* ============================================================
   Code block — fill only, no border (design-system.md block rule)
   ============================================================ */

.lean-code-wrapper {
  position: relative;
  margin-top: var(--spacing-sm);
}

.lean-code-block {
  background: var(--color-bg-secondary);
  border-radius: var(--radius-lg);
  padding: var(--spacing-md);
  overflow-x: auto;
}

.lean-code-block pre {
  font-family: var(--font-mono);
  font-size: var(--font-size-sm);
  line-height: 1.6;
  color: var(--color-text-primary);
  margin: 0;
  white-space: pre;
  overflow-x: auto;
}

/* ============================================================
   Copy button — ghost icon-only (design principle #8)
   ============================================================ */

.lean-copy-btn {
  position: absolute;
  top: var(--spacing-sm);
  right: var(--spacing-sm);
  background: transparent;
  border: none;
  cursor: pointer;
  color: var(--color-text-tertiary);
  padding: var(--spacing-sm);
  border-radius: var(--radius-sm);
  transition: color 0.15s, background 0.15s;
  line-height: 1;
}

.lean-copy-btn:hover {
  color: var(--color-text-primary);
  background: color-mix(in srgb, var(--color-accent) 8%, transparent);
}

.lean-copy-btn.copied {
  color: var(--color-success);
}

/* ============================================================
   Meta row and Mathlib reference
   ============================================================ */

/* Meta: accent-colored, xs size — design principle #14 (Meta / Secondary Information) */
.lean-meta {
  margin-top: var(--spacing-sm);
  font-size: var(--font-size-xs);
  color: var(--color-accent);
  display: flex;
  flex-wrap: wrap;
  gap: var(--spacing-md);
  align-items: baseline;
}

.lean-mathlib-ref {
  font-size: var(--font-size-sm);
  margin-top: var(--spacing-sm);
  color: var(--color-text-secondary);
}

.lean-mathlib-ref a {
  color: var(--color-link-external);
  text-decoration: none;
}

.lean-mathlib-ref a:hover {
  text-decoration: underline;
}

/* ============================================================
   Error block — subtle danger tint, no border
   ============================================================ */

.lean-error-block {
  margin-top: var(--spacing-sm);
  background: color-mix(in srgb, var(--color-danger) 6%, var(--color-bg-primary));
  border-radius: var(--radius-md);
  padding: var(--spacing-sm) var(--spacing-md);
}

.lean-error-block summary {
  font-size: var(--font-size-sm);
  font-weight: var(--font-weight-medium);
  color: var(--color-danger);
  cursor: pointer;
}

.lean-error-block pre {
  font-family: var(--font-mono);
  font-size: var(--font-size-sm);
  color: var(--color-danger);
  margin: var(--spacing-xs) 0 0 0;
  overflow-x: auto;
  white-space: pre;
}

/* ============================================================
   Mobile (max-width: 640px)
   ============================================================ */

@media (max-width: 640px) {
  .lean-code-block {
    padding: var(--spacing-sm);
    border-radius: var(--radius-md);
  }

  .lean-code-block pre {
    font-size: var(--font-size-xs);
  }

  .lean-meta {
    flex-direction: column;
    gap: var(--spacing-xs);
  }

  .stmt-lang-toggle {
    margin-bottom: var(--spacing-xs);
  }
}