/**
 * Functors Styles
 */

/* Hero */
.functors-hero {
  padding: 8rem 0 4rem;
  text-align: center;
  background: radial-gradient(ellipse at center, rgba(255,215,0,0.08) 0%, transparent 60%);
}

.functors-hero .hero-badge {
  display: inline-flex;
  align-items: center;
  gap: 0.5rem;
  background: rgba(255,215,0,0.1);
  border: 1px solid rgba(255,215,0,0.3);
  padding: 0.5rem 1rem;
  border-radius: 100px;
  color: var(--color-phi);
  font-size: 0.875rem;
  margin-bottom: 1.5rem;
}

.functors-hero .hero-title {
  font-size: clamp(2.5rem, 6vw, 4rem);
  font-weight: 700;
  margin-bottom: 1rem;
}

.functors-hero .hero-title .subtitle {
  display: block;
  font-size: 0.5em;
  font-weight: 400;
  color: rgba(224,224,255,0.7);
  margin-top: 0.5rem;
}

.functors-hero .hero-description {
  font-size: 1.125rem;
  color: rgba(224,224,255,0.8);
  max-width: 600px;
  margin: 0 auto 2rem;
  line-height: 1.6;
}

.functors-hero .hero-description strong {
  color: var(--star-white);
}

.completeness-stats {
  display: flex;
  justify-content: center;
  gap: 3rem;
  flex-wrap: wrap;
  margin-top: 2rem;
}

.comp-stat {
  text-align: center;
}

.comp-value {
  font-size: 2.5rem;
  font-weight: 700;
  color: var(--color-phi);
  text-shadow: 0 0 20px rgba(255,215,0,0.3);
}

.comp-label {
  font-size: 0.875rem;
  color: rgba(224,224,255,0.6);
  margin-top: 0.25rem;
}

/* Functors Grid */
.functors-grid-section {
  padding: 5rem 0;
  background: linear-gradient(180deg, transparent 0%, rgba(0,0,0,0.2) 100%);
}

.functors-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
  gap: 1.5rem;
  max-width: 1000px;
  margin: 3rem auto 0;
  padding: 0 2rem;
}

.functor-card {
  background: rgba(255,255,255,0.03);
  border: 1px solid rgba(255,255,255,0.08);
  border-radius: 12px;
  padding: 1.5rem;
  display: flex;
  gap: 1rem;
  transition: all 0.3s ease;
}

.functor-card:hover {
  transform: translateY(-4px);
  border-color: rgba(255,215,0,0.2);
}

.functor-card.highlight {
  border-color: rgba(136,68,255,0.3);
  background: rgba(136,68,255,0.05);
}

.functor-card.highlight:hover {
  border-color: rgba(136,68,255,0.5);
}

.functor-symbol {
  width: 60px;
  height: 60px;
  background: rgba(255,215,0,0.1);
  border: 2px solid rgba(255,215,0,0.3);
  border-radius: 12px;
  display: flex;
  align-items: center;
  justify-content: center;
  font-size: 1.75rem;
  font-weight: 700;
  color: var(--color-phi);
  flex-shrink: 0;
}

.functor-card.highlight .functor-symbol {
  background: rgba(136,68,255,0.1);
  border-color: rgba(136,68,255,0.3);
  color: var(--color-fra-r);
}

.functor-info {
  flex: 1;
}

.functor-info h3 {
  font-size: 1.125rem;
  font-weight: 600;
  color: var(--star-white);
  margin-bottom: 0.25rem;
}

.functor-type {
  font-size: 0.75rem;
  padding: 0.25rem 0.5rem;
  background: rgba(255,215,0,0.1);
  border-radius: 4px;
  color: var(--color-phi);
  font-weight: 500;
}

.functor-type.special {
  background: rgba(136,68,255,0.2);
  color: var(--color-fra-r);
}

.functor-desc {
  font-size: 0.875rem;
  color: rgba(224,224,255,0.7);
  margin: 0.75rem 0;
  line-height: 1.5;
}

.functor-formula {
  font-family: 'Space Grotesk', monospace;
  font-size: 0.8125rem;
  color: var(--star-white);
  padding: 0.5rem;
  background: rgba(0,0,0,0.2);
  border-radius: 4px;
  margin-bottom: 0.5rem;
}

.functor-invariant {
  font-size: 0.75rem;
  color: rgba(224,224,255,0.5);
}

/* Composition Section */
.composition-section {
  padding: 5rem 0;
  background: radial-gradient(ellipse at center, rgba(136,68,255,0.05) 0%, transparent 60%);
}

.compositions-list {
  display: flex;
  flex-direction: column;
  gap: 1rem;
  max-width: 800px;
  margin: 3rem auto 0;
  padding: 0 2rem;
}

.composition-item {
  display: grid;
  grid-template-columns: 200px 1fr;
  gap: 1.5rem;
  background: rgba(255,255,255,0.03);
  border: 1px solid rgba(255,255,255,0.08);
  border-radius: 12px;
  padding: 1.25rem;
  align-items: center;
  transition: all 0.3s ease;
}

.composition-item:hover {
  border-color: rgba(136,68,255,0.2);
  transform: translateX(4px);
}

.comp-formula {
  font-family: 'Space Grotesk', monospace;
  font-size: 1.25rem;
  font-weight: 600;
  color: var(--color-phi);
  text-align: center;
  padding: 0.75rem;
  background: rgba(0,0,0,0.2);
  border-radius: 8px;
}

.comp-info h4 {
  font-size: 1rem;
  font-weight: 600;
  color: var(--star-white);
  margin-bottom: 0.25rem;
}

.comp-info p {
  font-size: 0.875rem;
  color: rgba(224,224,255,0.7);
}

/* Theorems Section */
.theorems-section {
  padding: 5rem 0;
  background: linear-gradient(180deg, rgba(0,0,0,0.2) 0%, transparent 100%);
}

.properties-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(280px, 1fr));
  gap: 1.5rem;
  max-width: 900px;
  margin: 3rem auto 0;
  padding: 0 2rem;
}

.property-card {
  background: rgba(255,255,255,0.03);
  border: 1px solid rgba(255,255,255,0.08);
  border-radius: 12px;
  padding: 1.5rem;
  transition: all 0.3s ease;
}

.property-card:hover {
  border-color: rgba(255,215,0,0.2);
}

.property-card h4 {
  font-size: 1.125rem;
  font-weight: 600;
  color: var(--star-white);
  margin-bottom: 0.75rem;
}

.property-card p {
  font-size: 0.875rem;
  color: rgba(224,224,255,0.7);
  line-height: 1.5;
  margin-bottom: 1rem;
}

.proof-tag {
  font-size: 0.75rem;
  color: var(--color-o2);
  font-weight: 500;
}

/* MALL Section */
.mall-section {
  padding: 5rem 0;
  background: radial-gradient(ellipse at center, rgba(68,136,255,0.05) 0%, transparent 60%);
}

.mall-content {
  max-width: 700px;
  margin: 3rem auto 0;
  padding: 0 2rem;
}

.mall-intro {
  text-align: center;
  font-size: 1rem;
  color: rgba(224,224,255,0.8);
  margin-bottom: 2rem;
}

.mall-table {
  background: rgba(0,0,0,0.2);
  border-radius: 12px;
  overflow: hidden;
}

.mall-row {
  display: grid;
  grid-template-columns: 1.2fr 1fr 1.2fr;
  gap: 1rem;
  padding: 1rem 1.5rem;
  border-bottom: 1px solid rgba(255,255,255,0.05);
  align-items: center;
}

.mall-row:last-child {
  border-bottom: none;
}

.mall-row.header {
  background: rgba(68,136,255,0.1);
  font-weight: 600;
  color: var(--star-white);
  font-size: 0.875rem;
}

.functor-name {
  font-family: 'Space Grotesk', monospace;
  color: var(--color-phi);
}

.connective {
  font-family: 'Space Grotesk', monospace;
  color: var(--color-fra-f);
}

.mall-row:not(.header) span:last-child {
  color: rgba(224,224,255,0.7);
  font-size: 0.875rem;
}

/* Responsive */
@media (max-width: 768px) {
  .completeness-stats {
    gap: 1.5rem;
  }
  
  .comp-value {
    font-size: 2rem;
  }
  
  .functor-card {
    flex-direction: column;
    text-align: center;
  }
  
  .composition-item {
    grid-template-columns: 1fr;
  }
  
  .mall-row {
    grid-template-columns: 1fr;
    gap: 0.5rem;
  }
  
  .mall-row.header {
    display: none;
  }
}

/* ============================================
   THEOREMS SECTION FIXES
   ============================================ */

.theorems-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(280px, 1fr));
  gap: 1.5rem;
  margin-top: 2rem;
  max-width: 1000px;
  margin-left: auto;
  margin-right: auto;
}

.theorem-card {
  padding: 1.5rem;
  background: rgba(255,255,255,0.03);
  border: 1px solid rgba(255,255,255,0.08);
  border-radius: 12px;
}

.theorem-card h3 {
  font-size: 1.1rem;
  margin-bottom: 0.75rem;
  color: var(--star-white);
}

.theorem-card p {
  font-size: 0.9375rem;
  line-height: 1.6;
  color: rgba(224,224,255,0.7);
}

@media (max-width: 768px) {
  .theorems-grid {
    grid-template-columns: 1fr;
  }
}