/* ========================================
   Test Dashboard - Modern Animated Styles
   ======================================== */

:root {
  /* Color Palette - Deep Ocean Theme */
  --bg-primary: #0a0e17;
  --bg-secondary: #111827;
  --bg-tertiary: #1a2332;
  --bg-card: linear-gradient(145deg, #141b2d 0%, #0d1321 100%);
  
  --accent-primary: #00d4ff;
  --accent-secondary: #7c3aed;
  --accent-gradient: linear-gradient(135deg, #00d4ff 0%, #7c3aed 100%);
  
  --success: #10b981;
  --success-glow: rgba(16, 185, 129, 0.3);
  --warning: #f59e0b;
  --warning-glow: rgba(245, 158, 11, 0.3);
  --error: #ef4444;
  --error-glow: rgba(239, 68, 68, 0.3);
  
  --text-primary: #f3f4f6;
  --text-secondary: #9ca3af;
  --text-muted: #6b7280;
  
  --border-color: rgba(255, 255, 255, 0.08);
  --border-glow: rgba(0, 212, 255, 0.2);
  
  /* Typography */
  --font-display: 'Plus Jakarta Sans', sans-serif;
  --font-mono: 'JetBrains Mono', monospace;
  
  /* Spacing */
  --spacing-xs: 0.25rem;
  --spacing-sm: 0.5rem;
  --spacing-md: 1rem;
  --spacing-lg: 1.5rem;
  --spacing-xl: 2rem;
  --spacing-2xl: 3rem;
  
  /* Animations */
  --transition-fast: 150ms ease;
  --transition-normal: 250ms ease;
  --transition-slow: 400ms cubic-bezier(0.4, 0, 0.2, 1);
}

/* Reset & Base */
*, *::before, *::after {
  box-sizing: border-box;
  margin: 0;
  padding: 0;
}

html {
  font-size: 16px;
  scroll-behavior: smooth;
}

body {
  font-family: var(--font-display);
  background: var(--bg-primary);
  color: var(--text-primary);
  line-height: 1.6;
  min-height: 100vh;
  overflow-x: hidden;
}

/* Background Pattern */
body::before {
  content: '';
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  bottom: 0;
  background: 
    radial-gradient(ellipse at 20% 20%, rgba(0, 212, 255, 0.08) 0%, transparent 50%),
    radial-gradient(ellipse at 80% 80%, rgba(124, 58, 237, 0.08) 0%, transparent 50%),
    radial-gradient(ellipse at 50% 50%, rgba(0, 0, 0, 0.4) 0%, transparent 100%);
  pointer-events: none;
  z-index: -1;
}

/* App Container */
.app {
  max-width: 1400px;
  margin: 0 auto;
  padding: var(--spacing-lg);
}

/* ========================================
   Header
   ======================================== */
.header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: var(--spacing-lg) var(--spacing-xl);
  background: var(--bg-card);
  border-radius: 16px;
  border: 1px solid var(--border-color);
  margin-bottom: var(--spacing-xl);
  animation: slideDown 0.5s ease-out;
}

@keyframes slideDown {
  from {
    opacity: 0;
    transform: translateY(-20px);
  }
  to {
    opacity: 1;
    transform: translateY(0);
  }
}

.header-left {
  display: flex;
  align-items: center;
  gap: var(--spacing-md);
}

.logo {
  display: flex;
  align-items: center;
  gap: var(--spacing-sm);
}

.logo-icon {
  font-size: 2rem;
  animation: pulse 2s infinite;
}

@keyframes pulse {
  0%, 100% { transform: scale(1); }
  50% { transform: scale(1.1); }
}

.logo-text {
  font-size: 1.5rem;
  font-weight: 700;
  background: var(--accent-gradient);
  -webkit-background-clip: text;
  -webkit-text-fill-color: transparent;
  background-clip: text;
}

.version {
  font-size: 0.75rem;
  color: var(--text-muted);
  padding: var(--spacing-xs) var(--spacing-sm);
  background: var(--bg-tertiary);
  border-radius: 20px;
}

.header-right {
  display: flex;
  align-items: center;
  gap: var(--spacing-lg);
}

.status-indicator {
  display: flex;
  align-items: center;
  gap: var(--spacing-sm);
  padding: var(--spacing-sm) var(--spacing-md);
  background: var(--bg-tertiary);
  border-radius: 20px;
}

.status-dot {
  width: 10px;
  height: 10px;
  border-radius: 50%;
  background: var(--success);
  animation: blink 2s infinite;
}

.status-dot.running {
  background: var(--warning);
  animation: blink 0.5s infinite;
}

.status-dot.failed {
  background: var(--error);
}

@keyframes blink {
  0%, 100% { opacity: 1; }
  50% { opacity: 0.4; }
}

.status-text {
  font-size: 0.875rem;
  font-weight: 500;
}

/* Buttons */
.btn {
  display: inline-flex;
  align-items: center;
  gap: var(--spacing-sm);
  padding: var(--spacing-sm) var(--spacing-lg);
  font-family: var(--font-display);
  font-size: 0.875rem;
  font-weight: 600;
  border: none;
  border-radius: 10px;
  cursor: pointer;
  transition: all var(--transition-normal);
}

.btn-primary {
  background: var(--accent-gradient);
  color: white;
  box-shadow: 0 4px 15px rgba(0, 212, 255, 0.3);
}

.btn-primary:hover {
  transform: translateY(-2px);
  box-shadow: 0 6px 20px rgba(0, 212, 255, 0.4);
}

.btn-primary:active {
  transform: translateY(0);
}

.btn-primary:disabled {
  opacity: 0.6;
  cursor: not-allowed;
  transform: none;
}

.btn-small {
  padding: var(--spacing-xs) var(--spacing-md);
  font-size: 0.75rem;
  background: var(--bg-tertiary);
  color: var(--text-secondary);
  border: 1px solid var(--border-color);
}

.btn-small:hover {
  background: var(--bg-secondary);
  color: var(--text-primary);
}

.btn-icon {
  font-size: 0.75rem;
}

/* ========================================
   Stats Grid
   ======================================== */
.stats-grid {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: var(--spacing-lg);
  margin-bottom: var(--spacing-xl);
}

.stat-card {
  position: relative;
  padding: var(--spacing-xl);
  background: var(--bg-card);
  border-radius: 16px;
  border: 1px solid var(--border-color);
  overflow: hidden;
  animation: fadeInUp 0.5s ease-out backwards;
}

.stat-card:nth-child(1) { animation-delay: 0.1s; }
.stat-card:nth-child(2) { animation-delay: 0.2s; }
.stat-card:nth-child(3) { animation-delay: 0.3s; }
.stat-card:nth-child(4) { animation-delay: 0.4s; }

@keyframes fadeInUp {
  from {
    opacity: 0;
    transform: translateY(20px);
  }
  to {
    opacity: 1;
    transform: translateY(0);
  }
}

.stat-card::before {
  content: '';
  position: absolute;
  top: 0;
  left: 0;
  right: 0;
  height: 3px;
  background: var(--accent-gradient);
  opacity: 0;
  transition: opacity var(--transition-normal);
}

.stat-card:hover::before {
  opacity: 1;
}

.stat-icon {
  font-size: 2rem;
  margin-bottom: var(--spacing-md);
}

.stat-value {
  font-size: 2.5rem;
  font-weight: 700;
  font-family: var(--font-mono);
  line-height: 1;
  margin-bottom: var(--spacing-xs);
}

.stat-label {
  font-size: 0.875rem;
  color: var(--text-secondary);
  text-transform: uppercase;
  letter-spacing: 0.05em;
}

.stat-passed .stat-value { color: var(--success); }
.stat-failed .stat-value { color: var(--error); }
.stat-coverage .stat-value { color: var(--accent-primary); }

.stat-progress {
  position: absolute;
  bottom: 0;
  left: 0;
  height: 4px;
  background: var(--success);
  transition: width 0.8s cubic-bezier(0.4, 0, 0.2, 1);
}

.stat-failed .stat-progress {
  background: var(--error);
}

/* Coverage Ring */
.stat-ring-container {
  position: absolute;
  right: var(--spacing-lg);
  top: 50%;
  transform: translateY(-50%);
  width: 60px;
  height: 60px;
}

.coverage-ring {
  width: 100%;
  height: 100%;
  transform: rotate(-90deg);
}

.coverage-ring-bg {
  fill: none;
  stroke: var(--bg-tertiary);
  stroke-width: 8;
}

.coverage-ring-progress {
  fill: none;
  stroke: url(#gradient);
  stroke-width: 8;
  stroke-linecap: round;
  stroke-dasharray: 251.2;
  stroke-dashoffset: 251.2;
  transition: stroke-dashoffset 1s cubic-bezier(0.4, 0, 0.2, 1);
}

/* ========================================
   Controls Section
   ======================================== */
.controls-section {
  display: grid;
  grid-template-columns: 1fr 2fr;
  gap: var(--spacing-xl);
  padding: var(--spacing-xl);
  background: var(--bg-card);
  border-radius: 16px;
  border: 1px solid var(--border-color);
  margin-bottom: var(--spacing-xl);
  animation: fadeInUp 0.5s ease-out 0.5s backwards;
}

.control-label {
  display: block;
  font-size: 0.75rem;
  font-weight: 600;
  color: var(--text-secondary);
  text-transform: uppercase;
  letter-spacing: 0.1em;
  margin-bottom: var(--spacing-sm);
}

.control-input {
  width: 100%;
  padding: var(--spacing-md);
  font-family: var(--font-mono);
  font-size: 0.875rem;
  background: var(--bg-primary);
  border: 1px solid var(--border-color);
  border-radius: 10px;
  color: var(--text-primary);
  transition: all var(--transition-normal);
}

.control-input:focus {
  outline: none;
  border-color: var(--accent-primary);
  box-shadow: 0 0 0 3px var(--border-glow);
}

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

.quick-filters {
  display: flex;
  gap: var(--spacing-sm);
  flex-wrap: wrap;
}

.filter-btn {
  padding: var(--spacing-sm) var(--spacing-md);
  font-family: var(--font-display);
  font-size: 0.8rem;
  font-weight: 500;
  background: var(--bg-primary);
  border: 1px solid var(--border-color);
  border-radius: 8px;
  color: var(--text-secondary);
  cursor: pointer;
  transition: all var(--transition-fast);
}

.filter-btn:hover {
  background: var(--bg-tertiary);
  border-color: var(--accent-primary);
  color: var(--accent-primary);
}

.filter-btn.active {
  background: var(--accent-gradient);
  border-color: transparent;
  color: white;
}

/* ========================================
   Section Titles
   ======================================== */
.section-title {
  display: flex;
  align-items: center;
  gap: var(--spacing-sm);
  font-size: 1.125rem;
  font-weight: 600;
  margin-bottom: var(--spacing-lg);
}

.section-icon {
  font-size: 1.25rem;
}

/* ========================================
   Coverage Section
   ======================================== */
.coverage-section {
  padding: var(--spacing-xl);
  background: var(--bg-card);
  border-radius: 16px;
  border: 1px solid var(--border-color);
  margin-bottom: var(--spacing-xl);
  animation: fadeInUp 0.5s ease-out 0.6s backwards;
}

.coverage-grid {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: var(--spacing-lg);
}

.coverage-item {
  position: relative;
}

.coverage-bar {
  height: 8px;
  background: var(--bg-primary);
  border-radius: 4px;
  overflow: hidden;
  margin-bottom: var(--spacing-sm);
}

.coverage-fill {
  height: 100%;
  background: var(--accent-gradient);
  border-radius: 4px;
  width: 0%;
  transition: width 1s cubic-bezier(0.4, 0, 0.2, 1);
}

.coverage-fill.low { background: var(--error); }
.coverage-fill.medium { background: var(--warning); }
.coverage-fill.high { background: var(--success); }

.coverage-info {
  display: flex;
  justify-content: space-between;
  align-items: center;
}

.coverage-type {
  font-size: 0.875rem;
  color: var(--text-secondary);
}

.coverage-value {
  font-family: var(--font-mono);
  font-size: 0.875rem;
  font-weight: 600;
  color: var(--text-primary);
}

/* ========================================
   Suites Section
   ======================================== */
.suites-section {
  padding: var(--spacing-xl);
  background: var(--bg-card);
  border-radius: 16px;
  border: 1px solid var(--border-color);
  margin-bottom: var(--spacing-xl);
  animation: fadeInUp 0.5s ease-out 0.7s backwards;
}

.suites-list {
  display: flex;
  flex-direction: column;
  gap: var(--spacing-md);
}

.suite-item {
  padding: var(--spacing-lg);
  background: var(--bg-primary);
  border-radius: 12px;
  border: 1px solid var(--border-color);
  transition: all var(--transition-normal);
  animation: fadeInLeft 0.3s ease-out backwards;
}

.suite-item:hover {
  border-color: var(--border-glow);
  transform: translateX(4px);
}

.suite-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  margin-bottom: var(--spacing-md);
}

.suite-name {
  display: flex;
  align-items: center;
  gap: var(--spacing-sm);
  font-family: var(--font-mono);
  font-size: 0.875rem;
  font-weight: 500;
}

.suite-status {
  font-size: 1rem;
}

.suite-stats {
  display: flex;
  gap: var(--spacing-lg);
  font-size: 0.8rem;
  color: var(--text-secondary);
}

.suite-stat {
  display: flex;
  align-items: center;
  gap: var(--spacing-xs);
}

.suite-stat.passed { color: var(--success); }
.suite-stat.failed { color: var(--error); }

.suite-tests {
  display: flex;
  flex-direction: column;
  gap: var(--spacing-xs);
  padding-left: var(--spacing-lg);
  border-left: 2px solid var(--border-color);
}

.test-item {
  display: flex;
  align-items: center;
  gap: var(--spacing-sm);
  padding: var(--spacing-sm);
  font-size: 0.8rem;
  border-radius: 6px;
  transition: background var(--transition-fast);
}

.test-item:hover {
  background: var(--bg-tertiary);
}

.test-status {
  font-size: 0.75rem;
}

.test-name {
  color: var(--text-secondary);
}

.test-duration {
  margin-left: auto;
  font-family: var(--font-mono);
  font-size: 0.7rem;
  color: var(--text-muted);
}

@keyframes fadeInLeft {
  from {
    opacity: 0;
    transform: translateX(-20px);
  }
  to {
    opacity: 1;
    transform: translateX(0);
  }
}

/* ========================================
   Console Section
   ======================================== */
.console-section {
  padding: var(--spacing-xl);
  background: var(--bg-card);
  border-radius: 16px;
  border: 1px solid var(--border-color);
  margin-bottom: var(--spacing-xl);
  animation: fadeInUp 0.5s ease-out 0.8s backwards;
}

.console-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  margin-bottom: var(--spacing-lg);
}

.console-output {
  height: 300px;
  overflow-y: auto;
  padding: var(--spacing-lg);
  background: #0d0d0d;
  border-radius: 10px;
  font-family: var(--font-mono);
  font-size: 0.8rem;
  line-height: 1.8;
}

.console-output::-webkit-scrollbar {
  width: 8px;
}

.console-output::-webkit-scrollbar-track {
  background: var(--bg-primary);
}

.console-output::-webkit-scrollbar-thumb {
  background: var(--bg-tertiary);
  border-radius: 4px;
}

.console-line {
  padding: 2px 0;
}

.console-line.pass { color: var(--success); }
.console-line.fail { color: var(--error); }
.console-line.info { color: var(--accent-primary); }

.console-welcome {
  color: var(--text-muted);
}

.console-prompt {
  color: var(--accent-primary);
  margin-right: var(--spacing-sm);
}

/* ========================================
   History Section
   ======================================== */
.history-section {
  padding: var(--spacing-xl);
  background: var(--bg-card);
  border-radius: 16px;
  border: 1px solid var(--border-color);
  animation: fadeInUp 0.5s ease-out 0.9s backwards;
}

.history-list {
  display: flex;
  flex-direction: column;
  gap: var(--spacing-sm);
}

.history-item {
  display: flex;
  align-items: center;
  gap: var(--spacing-md);
  padding: var(--spacing-md);
  background: var(--bg-primary);
  border-radius: 10px;
  border: 1px solid var(--border-color);
  font-size: 0.8rem;
}

.history-status {
  font-size: 1rem;
}

.history-time {
  font-family: var(--font-mono);
  color: var(--text-muted);
}

.history-pattern {
  color: var(--text-secondary);
}

.history-duration {
  margin-left: auto;
  font-family: var(--font-mono);
  color: var(--accent-primary);
}

/* ========================================
   Empty States
   ======================================== */
.empty-state {
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  padding: var(--spacing-2xl);
  color: var(--text-muted);
}

.empty-icon {
  font-size: 3rem;
  margin-bottom: var(--spacing-md);
  opacity: 0.5;
}

.empty-text {
  font-size: 0.9rem;
}

/* ========================================
   Loading Overlay
   ======================================== */
.loading-overlay {
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  bottom: 0;
  background: rgba(10, 14, 23, 0.9);
  backdrop-filter: blur(10px);
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  z-index: 1000;
  opacity: 0;
  visibility: hidden;
  transition: all var(--transition-normal);
}

.loading-overlay.active {
  opacity: 1;
  visibility: visible;
}

.loading-spinner {
  position: relative;
  width: 80px;
  height: 80px;
  margin-bottom: var(--spacing-xl);
}

.spinner-ring {
  position: absolute;
  width: 100%;
  height: 100%;
  border: 3px solid transparent;
  border-radius: 50%;
}

.spinner-ring:nth-child(1) {
  border-top-color: var(--accent-primary);
  animation: spin 1s linear infinite;
}

.spinner-ring:nth-child(2) {
  border-right-color: var(--accent-secondary);
  animation: spin 1.5s linear infinite reverse;
}

.spinner-ring:nth-child(3) {
  width: 60%;
  height: 60%;
  top: 20%;
  left: 20%;
  border-bottom-color: var(--success);
  animation: spin 2s linear infinite;
}

@keyframes spin {
  from { transform: rotate(0deg); }
  to { transform: rotate(360deg); }
}

.loading-text {
  font-size: 1.25rem;
  font-weight: 600;
  margin-bottom: var(--spacing-sm);
}

.loading-subtext {
  font-size: 0.875rem;
  color: var(--text-muted);
}

/* ========================================
   Toast Notifications
   ======================================== */
.toast-container {
  position: fixed;
  bottom: var(--spacing-xl);
  right: var(--spacing-xl);
  display: flex;
  flex-direction: column;
  gap: var(--spacing-sm);
  z-index: 1001;
}

.toast {
  display: flex;
  align-items: center;
  gap: var(--spacing-md);
  padding: var(--spacing-md) var(--spacing-lg);
  background: var(--bg-secondary);
  border-radius: 10px;
  border: 1px solid var(--border-color);
  box-shadow: 0 10px 40px rgba(0, 0, 0, 0.3);
  animation: slideInRight 0.3s ease-out;
}

.toast.success { border-left: 3px solid var(--success); }
.toast.error { border-left: 3px solid var(--error); }
.toast.warning { border-left: 3px solid var(--warning); }

@keyframes slideInRight {
  from {
    opacity: 0;
    transform: translateX(100px);
  }
  to {
    opacity: 1;
    transform: translateX(0);
  }
}

.toast-icon {
  font-size: 1.25rem;
}

.toast-message {
  font-size: 0.875rem;
}

/* ========================================
   Responsive Design
   ======================================== */
@media (max-width: 1200px) {
  .stats-grid {
    grid-template-columns: repeat(2, 1fr);
  }
  
  .coverage-grid {
    grid-template-columns: repeat(2, 1fr);
  }
}

@media (max-width: 768px) {
  .app {
    padding: var(--spacing-md);
  }
  
  .header {
    flex-direction: column;
    gap: var(--spacing-md);
  }
  
  .stats-grid {
    grid-template-columns: 1fr;
  }
  
  .controls-section {
    grid-template-columns: 1fr;
  }
  
  .coverage-grid {
    grid-template-columns: 1fr;
  }
}

/* ========================================
   Test Data Section
   ======================================== */
.test-data-section {
  padding: var(--spacing-xl);
  background: var(--bg-card);
  border-radius: 16px;
  border: 1px solid var(--border-color);
  margin-bottom: var(--spacing-xl);
  animation: fadeInUp 0.5s ease-out 0.7s backwards;
}

.test-data-description {
  padding: var(--spacing-md);
  background: linear-gradient(135deg, rgba(0, 212, 255, 0.1), rgba(124, 58, 237, 0.1));
  border-radius: 10px;
  margin-bottom: var(--spacing-lg);
  border-left: 3px solid var(--accent-primary);
}

.test-data-description p {
  font-size: 0.875rem;
  color: var(--text-secondary);
  margin: 0;
}

.test-data-filters {
  display: flex;
  gap: var(--spacing-sm);
  margin-bottom: var(--spacing-lg);
  flex-wrap: wrap;
}

.data-filter-btn {
  padding: var(--spacing-sm) var(--spacing-md);
  font-family: var(--font-display);
  font-size: 0.8rem;
  font-weight: 500;
  background: var(--bg-primary);
  border: 1px solid var(--border-color);
  border-radius: 8px;
  color: var(--text-secondary);
  cursor: pointer;
  transition: all var(--transition-fast);
}

.data-filter-btn:hover {
  background: var(--bg-tertiary);
  border-color: var(--accent-primary);
  color: var(--accent-primary);
}

.data-filter-btn.active {
  background: var(--accent-gradient);
  border-color: transparent;
  color: white;
}

.test-data-list {
  display: flex;
  flex-direction: column;
  gap: var(--spacing-lg);
  max-height: 800px;
  overflow-y: auto;
}

.test-file-group {
  background: var(--bg-primary);
  border-radius: 12px;
  border: 1px solid var(--border-color);
  overflow: hidden;
}

.test-file-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: var(--spacing-md) var(--spacing-lg);
  background: var(--bg-tertiary);
  cursor: pointer;
  transition: background var(--transition-fast);
}

.test-file-header:hover {
  background: var(--bg-secondary);
}

.test-file-name {
  font-family: var(--font-mono);
  font-size: 0.9rem;
  font-weight: 600;
  color: var(--accent-primary);
}

.test-file-count {
  font-size: 0.75rem;
  color: var(--text-muted);
  padding: var(--spacing-xs) var(--spacing-sm);
  background: var(--bg-primary);
  border-radius: 12px;
}

.test-file-content {
  padding: var(--spacing-lg);
  display: none;
}

.test-file-content.expanded {
  display: block;
}

.test-group {
  margin-bottom: var(--spacing-lg);
}

.test-group-name {
  font-size: 0.85rem;
  font-weight: 600;
  color: var(--text-primary);
  padding: var(--spacing-sm) 0;
  border-bottom: 1px solid var(--border-color);
  margin-bottom: var(--spacing-md);
}

.test-case {
  margin-bottom: var(--spacing-md);
  padding: var(--spacing-md);
  background: var(--bg-secondary);
  border-radius: 8px;
  border-left: 3px solid var(--accent-secondary);
}

.test-case-name {
  font-size: 0.8rem;
  font-weight: 500;
  color: var(--text-primary);
  margin-bottom: var(--spacing-sm);
}

.test-examples {
  display: flex;
  flex-direction: column;
  gap: var(--spacing-xs);
}

.test-example {
  display: flex;
  align-items: center;
  gap: var(--spacing-sm);
  font-family: var(--font-mono);
  font-size: 0.75rem;
  padding: var(--spacing-xs) var(--spacing-sm);
  background: var(--bg-primary);
  border-radius: 6px;
  overflow-x: auto;
}

.example-input {
  color: var(--warning);
}

.example-arrow {
  color: var(--text-muted);
}

.example-output {
  color: var(--success);
}

.example-function {
  color: var(--accent-primary);
}

.no-examples {
  font-size: 0.75rem;
  color: var(--text-muted);
  font-style: italic;
}

/* ========================================
   Proof Section
   ======================================== */
.proof-section {
  padding: var(--spacing-xl);
  background: var(--bg-card);
  border-radius: 16px;
  border: 1px solid var(--border-color);
  margin-bottom: var(--spacing-xl);
  animation: fadeInUp 0.5s ease-out 0.75s backwards;
}

.proof-description {
  padding: var(--spacing-md);
  background: var(--bg-primary);
  border-radius: 10px;
  margin-bottom: var(--spacing-lg);
  border-left: 3px solid var(--accent-primary);
}

.proof-description p {
  font-size: 0.875rem;
  color: var(--text-secondary);
  margin: 0;
}

.proof-list {
  display: flex;
  flex-direction: column;
  gap: var(--spacing-md);
  max-height: 500px;
  overflow-y: auto;
}

.proof-item {
  padding: var(--spacing-lg);
  background: var(--bg-primary);
  border-radius: 12px;
  border: 1px solid var(--border-color);
  cursor: pointer;
  transition: all var(--transition-normal);
}

.proof-item:hover {
  border-color: var(--accent-primary);
  transform: translateX(4px);
}

.proof-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  margin-bottom: var(--spacing-sm);
}

.proof-title {
  font-family: var(--font-mono);
  font-size: 0.875rem;
  font-weight: 600;
  color: var(--text-primary);
}

.proof-badge {
  font-size: 0.7rem;
  padding: var(--spacing-xs) var(--spacing-sm);
  border-radius: 12px;
  font-weight: 600;
}

.proof-badge.pass {
  background: rgba(16, 185, 129, 0.2);
  color: var(--success);
}

.proof-badge.fail {
  background: rgba(239, 68, 68, 0.2);
  color: var(--error);
}

.proof-context {
  font-size: 0.75rem;
  color: var(--text-muted);
  margin-bottom: var(--spacing-sm);
}

.proof-data {
  font-family: var(--font-mono);
  font-size: 0.75rem;
  padding: var(--spacing-sm);
  background: var(--bg-secondary);
  border-radius: 6px;
  color: var(--accent-primary);
  overflow-x: auto;
}

/* ========================================
   Modal
   ======================================== */
.modal {
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  bottom: 0;
  z-index: 2000;
  display: flex;
  align-items: center;
  justify-content: center;
  opacity: 0;
  visibility: hidden;
  transition: all var(--transition-normal);
}

.modal.active {
  opacity: 1;
  visibility: visible;
}

.modal-backdrop {
  position: absolute;
  top: 0;
  left: 0;
  right: 0;
  bottom: 0;
  background: rgba(0, 0, 0, 0.8);
  backdrop-filter: blur(5px);
}

.modal-content {
  position: relative;
  width: 90%;
  max-width: 900px;
  max-height: 85vh;
  background: var(--bg-secondary);
  border-radius: 16px;
  border: 1px solid var(--border-color);
  overflow: hidden;
  transform: scale(0.9);
  transition: transform var(--transition-normal);
}

.modal.active .modal-content {
  transform: scale(1);
}

.modal-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: var(--spacing-lg) var(--spacing-xl);
  border-bottom: 1px solid var(--border-color);
  background: var(--bg-tertiary);
}

.modal-title {
  font-size: 1.125rem;
  font-weight: 600;
  color: var(--text-primary);
}

.modal-close {
  width: 32px;
  height: 32px;
  border: none;
  background: var(--bg-primary);
  border-radius: 8px;
  color: var(--text-secondary);
  font-size: 1.25rem;
  cursor: pointer;
  transition: all var(--transition-fast);
}

.modal-close:hover {
  background: var(--error);
  color: white;
}

.modal-body {
  padding: var(--spacing-xl);
  max-height: calc(85vh - 80px);
  overflow-y: auto;
}

.source-tabs {
  display: flex;
  gap: var(--spacing-sm);
  margin-bottom: var(--spacing-lg);
  flex-wrap: wrap;
}

.source-tab {
  padding: var(--spacing-sm) var(--spacing-md);
  font-family: var(--font-mono);
  font-size: 0.75rem;
  background: var(--bg-primary);
  border: 1px solid var(--border-color);
  border-radius: 8px;
  color: var(--text-secondary);
  cursor: pointer;
  transition: all var(--transition-fast);
}

.source-tab:hover,
.source-tab.active {
  background: var(--accent-primary);
  border-color: var(--accent-primary);
  color: white;
}

.source-code {
  background: #0d0d0d;
  border-radius: 10px;
  padding: var(--spacing-lg);
  overflow-x: auto;
  max-height: 500px;
  overflow-y: auto;
}

.source-code code {
  font-family: var(--font-mono);
  font-size: 0.8rem;
  line-height: 1.8;
  color: var(--text-primary);
  white-space: pre;
}

.source-code .comment { color: var(--text-muted); }
.source-code .keyword { color: var(--accent-secondary); }
.source-code .string { color: var(--success); }
.source-code .function { color: var(--accent-primary); }
.source-code .number { color: var(--warning); }

.btn-secondary {
  margin-left: auto;
  background: var(--bg-tertiary);
  color: var(--text-secondary);
  border: 1px solid var(--border-color);
}

.btn-secondary:hover {
  background: var(--accent-primary);
  border-color: var(--accent-primary);
  color: white;
}