/* ==========================================================================
   FLUXIONLABS & AETHER COMPLETE INDEPENDENT DESIGN SYSTEM
   Zero External Dependencies Required • 100% Self-Contained High-Craft CSS
   Linear / Stripe Docs / Raycast Aesthetic
   ========================================================================== */

:root {
  --bg-deep: #05080e;
  --bg-canvas: #070b12;
  --bg-surface: #0b111e;
  --bg-surface-elevated: #111a2e;
  --bg-input: #080d18;
  --border-subtle: #192438;
  --border-muted: #24344d;
  --border-accent: #38bdf8;
  
  --text-primary: #f8fafc;
  --text-secondary: #94a3b8;
  --text-muted: #64748b;
  --text-accent: #38bdf8;
  --text-verified: #10b981;
  --text-warning: #f59e0b;
  --text-danger: #ef4444;

  --font-sans: 'Inter', -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, sans-serif;
  --font-mono: 'JetBrains Mono', 'Fira Code', monospace;
}

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

html, body {
  background-color: #070b12 !important;
  color: #f8fafc !important;
  font-family: var(--font-sans);
  min-height: 100vh;
  line-height: 1.5;
  -webkit-font-smoothing: antialiased;
}

/* ==========================================================================
   FORM INPUT HARD RESETS (GUARANTEED NO WHITE BACKGROUND / BLACK TEXT)
   ========================================================================== */
input, select, textarea, button {
  background-color: #080d18 !important;
  color: #f8fafc !important;
  border: 1px solid #1e293b !important;
  font-family: var(--font-mono) !important;
  border-radius: 6px !important;
  padding: 8px 12px !important;
  font-size: 13px !important;
  transition: all 0.15s ease !important;
}

input::placeholder, textarea::placeholder {
  color: #475569 !important;
}

input:focus, select:focus, textarea:focus {
  background-color: #0a1120 !important;
  color: #ffffff !important;
  border-color: #38bdf8 !important;
  outline: none !important;
  box-shadow: 0 0 0 1px #38bdf8, 0 0 14px rgba(56, 189, 248, 0.2) !important;
}

select option {
  background-color: #0b1120 !important;
  color: #f8fafc !important;
}

/* Scrollbars */
::-webkit-scrollbar {
  width: 6px;
  height: 6px;
}
::-webkit-scrollbar-track {
  background: #05080e;
}
::-webkit-scrollbar-thumb {
  background: #1e293b;
  border-radius: 3px;
}
::-webkit-scrollbar-thumb:hover {
  background: #334155;
}

/* Base Cards & Glass Surfaces */
.glass-card, .card {
  background: rgba(11, 17, 30, 0.88) !important;
  backdrop-filter: blur(12px);
  -webkit-backdrop-filter: blur(12px);
  border: 1px solid rgba(255, 255, 255, 0.08) !important;
  border-radius: 8px !important;
  transition: all 0.2s cubic-bezier(0.16, 1, 0.3, 1);
}

.glass-card:hover, .card:hover {
  border-color: rgba(56, 189, 248, 0.25) !important;
  box-shadow: 0 8px 30px rgba(0, 0, 0, 0.5), 0 0 20px rgba(56, 189, 248, 0.05);
}

/* Code Window & Editor */
.code-window, .code-panel {
  background: #05080e !important;
  border: 1px solid #1a263d !important;
  border-radius: 8px !important;
  overflow: hidden;
  box-shadow: 0 12px 36px rgba(0, 0, 0, 0.65);
}

.code-titlebar, .code-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: 8px 14px;
  background: #090e18 !important;
  border-bottom: 1px solid #162033 !important;
  font-family: var(--font-mono);
  font-size: 11px;
  color: #94a3b8;
}

.mac-dots {
  display: flex;
  align-items: center;
  gap: 6px;
}

.mac-dot {
  width: 9px;
  height: 9px;
  border-radius: 50%;
  display: inline-block;
}

.mac-dot-red { background: #ef4444; }
.mac-dot-yellow { background: #f59e0b; }
.mac-dot-green { background: #10b981; }

/* Syntax Highlighting */
.syn-kw { color: #f43f5e; font-weight: 600; }
.syn-type { color: #38bdf8; font-weight: 500; }
.syn-fn { color: #a78bfa; font-weight: 600; }
.syn-str { color: #34d399; }
.syn-attr { color: #fbbf24; }
.syn-num { color: #fb923c; }
.syn-cmt { color: #526077; font-style: italic; }
.syn-op { color: #94a3b8; }
.syn-dec { color: #2dd4bf; font-weight: 600; }

/* Formal Inference Deduction Rules */
.formal-rule-container, .math-rule-box {
  background: #060a12 !important;
  border: 1px solid #1a273f !important;
  border-left: 3px solid #38bdf8 !important;
  border-radius: 6px;
  padding: 16px 20px;
  margin: 16px 0;
}

.inference-box, .inference-rule {
  display: flex;
  flex-direction: column;
  align-items: center;
  padding: 12px 0;
  font-family: var(--font-mono);
  font-size: 0.8125rem;
}

.inference-top, .inference-premise {
  padding-bottom: 6px;
  color: #94a3b8;
  letter-spacing: 0.02em;
  text-align: center;
}

.inference-bar, .inference-divider {
  width: 100%;
  max-width: 520px;
  height: 1px;
  background: #334155;
  margin: 4px 0 8px;
}

.inference-bottom, .inference-conclusion {
  color: #38bdf8;
  font-weight: 600;
  text-align: center;
}

/* Tabs */
.tab-btn {
  background: transparent !important;
  border: none !important;
  border-bottom: 2px solid transparent !important;
  color: #64748b !important;
  font-family: var(--font-mono);
  font-size: 12px;
  padding: 8px 14px !important;
  cursor: pointer;
  transition: all 0.15s ease;
}

.tab-btn:hover {
  color: #f8fafc !important;
}

.tab-btn.active {
  color: #38bdf8 !important;
  border-bottom-color: #38bdf8 !important;
  background: rgba(56, 189, 248, 0.05) !important;
}

.tab-pane {
  display: none;
}

.tab-pane.active {
  display: block;
}

/* Copy Buttons */
.copy-btn {
  display: inline-flex;
  align-items: center;
  gap: 4px;
  background: #090e18 !important;
  border: 1px solid #1e293b !important;
  border-radius: 4px !important;
  padding: 3px 8px !important;
  font-size: 11px !important;
  font-family: var(--font-mono) !important;
  color: #94a3b8 !important;
  cursor: pointer;
  transition: all 0.15s ease;
}

.copy-btn:hover {
  background: #131c2e !important;
  color: #f8fafc !important;
  border-color: #38bdf8 !important;
}

.copy-btn.copied {
  color: #10b981 !important;
  border-color: #10b981 !important;
}

/* Benchmark Tables */
table {
  width: 100%;
  border-collapse: collapse;
}

th, td {
  padding: 10px 14px;
  border-bottom: 1px solid #1e293b;
}

tr:hover td {
  background-color: rgba(30, 41, 59, 0.25);
}

/* Common Fallback Typography & Links */
a {
  color: #38bdf8;
  text-decoration: none;
}

a:hover {
  color: #7dd3fc;
}

h1, h2, h3, h4, h5, h6 {
  color: #f8fafc;
  font-weight: 600;
}