/* Theorems Card Design — aligned with design-tokens.css */

.theorems-grid {
  padding: 20px 0;
}

.theorems-cards {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(min(400px, 100%), 1fr));
  gap: 20px;
  max-width: 1400px;
  margin: 0 auto;
}

.theorem-card {
  background: var(--color-bg-primary, #fff);
  border-radius: 16px;
  border: 1px solid var(--color-border-primary, rgba(0, 0, 0, 0.08));
  padding: 24px;
  cursor: pointer;
  transition: all 0.3s cubic-bezier(0.4, 0.0, 0.2, 1);
  box-shadow: 0 1px 3px rgba(0, 0, 0, 0.05);
  position: relative;
  overflow: hidden;
  min-width: 0;
}

.theorem-card:hover {
  transform: translateY(-4px);
  box-shadow: 0 12px 24px rgba(0, 0, 0, 0.1);
  border-color: var(--color-text-primary, #1A1A1A);
}

.theorem-card:active {
  transform: translateY(-2px);
  transition: transform 0.1s;
}

/* Card Header */
.theorem-card-header {
  margin-bottom: 16px;
}

.theorem-card-title {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  margin-bottom: 12px;
}

.theorem-name {
  font-size: 18px;
  font-weight: 600;
  color: var(--color-text-primary, #1A1A1A);
  margin: 0;
  line-height: 1.3;
  flex: 1;
  margin-right: 12px;
  min-width: 0;
  overflow-wrap: break-word;
}

.theorem-id {
  background: var(--color-bg-secondary, #f5f5f3);
  color: var(--color-text-tertiary, #8A8A8A);
  font-size: 12px;
  font-weight: 500;
  padding: 4px 8px;
  border-radius: 8px;
  white-space: nowrap;
  flex-shrink: 0;
}

/* Tags */
.theorem-card-tags {
  margin-bottom: 16px;
}

.theorem-card-tags .tag-container {
  display: flex;
  flex-wrap: wrap;
  gap: 6px;
}

.theorem-tag {
  display: inline-flex;
  align-items: center;
  padding: 4px 10px;
  border-radius: 12px;
  font-size: 12px;
  font-weight: 500;
  text-decoration: none;
  transition: all 0.2s ease;
}

.theorem-tag.area-tag {
  background: var(--color-bg-secondary, #f5f5f3);
  color: var(--color-text-secondary, #6B6B6B);
  border: 1px solid var(--color-border-primary, #E0E0E0);
}

.theorem-tag.subarea-tag {
  background: rgba(90, 122, 106, 0.08);
  color: var(--accent-color, #5A7A6A);
  border: 1px solid rgba(90, 122, 106, 0.15);
}

.theorem-tag.custom-tag {
  background: var(--color-bg-secondary, #f5f5f3);
  color: var(--color-text-tertiary, #8A8A8A);
  border: 1px solid var(--color-border-secondary, #E0E0E0);
}

.theorem-tag:hover {
  transform: scale(1.05);
}

/* Card Content */
.theorem-card-content {
  margin-bottom: 20px;
  min-width: 0;
}

.theorem-statement,
.theorem-description {
  margin-bottom: 16px;
  overflow-x: auto;
  overflow-y: hidden;
  min-width: 0;
}

.theorem-statement:last-child,
.theorem-description:last-child {
  margin-bottom: 0;
}

.statement-label,
.description-label {
  font-size: 11px;
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 0.5px;
  color: var(--color-text-tertiary, #8A8A8A);
  margin-bottom: 6px;
}

.statement-text,
.description-text {
  font-size: 14px;
  line-height: 1.5;
  color: var(--color-text-secondary, #6B6B6B);
  margin: 0;
  word-break: break-word;
  overflow-wrap: break-word;
}

/* MathJax overflow containment */
.theorem-statement mjx-container,
.theorem-description mjx-container {
  max-width: 100% !important;
  overflow-x: auto !important;
  overflow-y: hidden !important;
}

.theorem-statement mjx-container[jax="CHTML"][display="true"],
.theorem-description mjx-container[jax="CHTML"][display="true"] {
  overflow-x: auto !important;
  overflow-y: hidden !important;
  max-width: 100% !important;
}

/* Card preview renderer for list view */
.theorem-statement .card-preview-renderer,
.theorem-description .card-preview-renderer {
  font-size: 14px;
  line-height: 1.5;
  color: var(--color-text-secondary, #6B6B6B);
  position: relative;
  word-break: break-word;
  overflow-wrap: break-word;
  min-width: 0;
}

/* Math in card previews: match the card's font-size so inline math aligns
   with surrounding text. */
.card-preview-renderer mjx-container {
  font-size: inherit !important;
}

.card-preview-renderer mjx-container[display="true"] {
  color: inherit;
}

.theorem-statement .card-preview-renderer .rendered-markdown-content p,
.theorem-description .card-preview-renderer .rendered-markdown-content p {
  margin: 0 0 0.4rem 0;
  font-size: inherit;
  color: inherit;
  line-height: inherit;
}

.theorem-statement .card-preview-renderer .rendered-markdown-content h1,
.theorem-statement .card-preview-renderer .rendered-markdown-content h2,
.theorem-statement .card-preview-renderer .rendered-markdown-content h3,
.theorem-description .card-preview-renderer .rendered-markdown-content h1,
.theorem-description .card-preview-renderer .rendered-markdown-content h2,
.theorem-description .card-preview-renderer .rendered-markdown-content h3 {
  font-size: 0.9rem;
  font-weight: 600;
  margin: 0 0 0.25rem 0;
}

.theorem-statement .card-preview-renderer .rendered-markdown-content ul,
.theorem-statement .card-preview-renderer .rendered-markdown-content ol,
.theorem-description .card-preview-renderer .rendered-markdown-content ul,
.theorem-description .card-preview-renderer .rendered-markdown-content ol {
  margin: 0 0 0.4rem 1.25rem;
  padding: 0;
}

/* Card Footer */
.theorem-card-footer {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding-top: 16px;
  border-top: 1px solid var(--color-border-secondary, #E0E0E0);
  margin-top: auto;
}

.theorem-meta {
  display: flex;
  gap: 8px;
  flex-wrap: wrap;
}

.theorem-area,
.theorem-subarea {
  font-size: 12px;
  color: var(--color-text-tertiary, #8A8A8A);
  background: var(--color-bg-secondary, #f5f5f3);
  padding: 2px 6px;
  border-radius: 4px;
}

.theorem-actions {
  color: var(--color-text-tertiary, #8A8A8A);
  transition: color 0.2s ease;
}

.theorem-card:hover .theorem-actions {
  color: var(--color-text-primary, #1A1A1A);
}

.chevron-right {
  width: 14px;
  height: 14px;
}

/* Empty State */
.empty-state {
  text-align: center;
  padding: 80px 20px;
  max-width: 400px;
  margin: 0 auto;
}

.empty-state-icon {
  margin-bottom: 24px;
  color: var(--color-border-primary, #E0E0E0);
}

.empty-state h3 {
  font-size: 20px;
  font-weight: 600;
  color: var(--color-text-primary, #1A1A1A);
  margin: 0 0 8px 0;
}

.empty-state p {
  font-size: 16px;
  color: var(--color-text-tertiary, #8A8A8A);
  margin: 0 0 32px 0;
  line-height: 1.4;
}

/* Search Form */
.theorem-search-container {
  margin-bottom: 32px;
}

.search-form-redesign {
  background: var(--color-bg-primary, #fff);
  border-radius: 16px;
  border: 1px solid var(--color-border-primary, rgba(0, 0, 0, 0.08));
  padding: 24px;
  box-shadow: 0 1px 3px rgba(0, 0, 0, 0.05);
  max-width: 800px;
  margin: 0 auto;
}

.search-grid {
  display: grid;
  grid-template-columns: 1fr;
  gap: 16px;
  margin-bottom: 20px;
}

.search-field-group {
  display: flex;
  flex-direction: column;
  gap: 12px;
}

.search-input-redesign {
  width: 100%;
  padding: 12px 16px;
  border: 1px solid var(--color-border-primary, rgba(0, 0, 0, 0.1));
  border-radius: 10px;
  font-size: 14px;
  background: var(--color-bg-secondary, #f5f5f3);
  transition: all 0.2s ease;
  outline: none;
  box-sizing: border-box;
}

.search-input-redesign:focus {
  border-color: var(--color-text-primary, #1A1A1A);
  background: var(--color-bg-primary, #fff);
  box-shadow: 0 0 0 3px rgba(0, 0, 0, 0.06);
}

.search-input-redesign::placeholder {
  color: var(--color-text-tertiary, #8A8A8A);
}

.search-actions {
  display: flex;
  justify-content: center;
  gap: 12px;
}

.btn-search {
  background: var(--color-text-primary, #1A1A1A);
  color: var(--color-text-inverse, #FFFFFF);
  border: none;
  padding: 12px 24px;
  border-radius: 10px;
  font-size: 14px;
  font-weight: 500;
  cursor: pointer;
  transition: all 0.2s ease;
  display: flex;
  align-items: center;
  gap: 8px;
}

.btn-search:hover {
  opacity: 0.9;
  transform: translateY(-1px);
}

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

.btn-clear {
  background: transparent;
  color: var(--color-text-tertiary, #8A8A8A);
  border: 1px solid var(--color-border-primary, rgba(0, 0, 0, 0.1));
  padding: 12px 20px;
  border-radius: 10px;
  font-size: 14px;
  font-weight: 500;
  text-decoration: none;
  cursor: pointer;
  transition: all 0.2s ease;
  display: flex;
  align-items: center;
}

.btn-clear:hover {
  background: var(--color-bg-secondary, #f5f5f3);
  border-color: var(--color-border-primary, rgba(0, 0, 0, 0.2));
  color: var(--color-text-secondary, #6B6B6B);
}

/* Pagination Controls */
.pagination-container {
  display: flex;
  flex-direction: column;
  align-items: center;
  gap: 16px;
  margin-top: 32px;
  padding: 24px 0;
}

.load-more-btn {
  background: var(--color-bg-primary, #fff);
  border: 1px solid var(--color-border-primary, rgba(0, 0, 0, 0.1));
  color: var(--color-text-primary, #1A1A1A);
  padding: 12px 24px;
  border-radius: 12px;
  font-size: 14px;
  font-weight: 500;
  cursor: pointer;
  transition: all 0.2s ease;
  display: flex;
  align-items: center;
  gap: 8px;
  min-width: 160px;
  justify-content: center;
  margin: 0 auto;
}

.load-more-btn:hover {
  background: var(--color-bg-secondary, #f5f5f3);
  border-color: var(--color-border-primary, rgba(0, 0, 0, 0.2));
  transform: translateY(-1px);
}

.load-more-btn:disabled {
  opacity: 0.5;
  cursor: not-allowed;
  transform: none;
}

.pagination-info {
  font-size: 13px;
  color: var(--color-text-tertiary, #8A8A8A);
  text-align: center;
}

/* Loading and Error States */
.loading-state, .error-state {
  display: flex;
  justify-content: center;
  align-items: center;
  padding: 60px 20px;
  font-size: 16px;
  color: var(--color-text-tertiary, #8A8A8A);
}

.loading-state {
  animation: pulse 1.5s ease-in-out infinite;
}

@keyframes pulse {
  0%, 100% { opacity: 1; }
  50% { opacity: 0.5; }
}

.error-state {
  color: var(--color-error, #8A6060);
  flex-direction: column;
  gap: 16px;
}

/* Spin animation for loading icon */
.animate-spin {
  animation: spin 1s linear infinite;
}

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

/* Dark mode support */
:root[data-theme="dark"] .theorem-card {
  background: var(--color-bg-primary, #1a1a1a);
  border-color: var(--color-border-primary, rgba(255, 255, 255, 0.1));
}

:root[data-theme="dark"] .theorem-card:hover {
  border-color: var(--color-text-primary, #fff);
  box-shadow: 0 12px 24px rgba(0, 0, 0, 0.3);
}

:root[data-theme="dark"] .search-form-redesign {
  background: var(--color-bg-primary, #1a1a1a);
  border-color: var(--color-border-primary, rgba(255, 255, 255, 0.1));
}

:root[data-theme="dark"] .search-input-redesign {
  background: var(--color-bg-secondary, #2a2a2a);
  border-color: var(--color-border-primary, rgba(255, 255, 255, 0.1));
  color: var(--color-text-primary, #fff);
}

:root[data-theme="dark"] .search-input-redesign:focus {
  background: var(--color-bg-secondary, #2a2a2a);
  border-color: var(--color-text-primary, #fff);
  box-shadow: 0 0 0 3px rgba(255, 255, 255, 0.08);
}

:root[data-theme="dark"] .load-more-btn {
  background: var(--color-bg-secondary, #2a2a2a);
  border-color: var(--color-border-primary, rgba(255, 255, 255, 0.1));
  color: var(--color-text-primary, #fff);
}

:root[data-theme="dark"] .load-more-btn:hover {
  background: var(--color-bg-hover, #3a3a3a);
}

/* Responsive Design */
@media (max-width: 1024px) {
  .theorems-cards {
    grid-template-columns: repeat(auto-fill, minmax(min(350px, 100%), 1fr));
    gap: 18px;
  }

  .theorem-card {
    padding: 20px;
  }

  .theorem-name {
    font-size: 17px;
  }
}

/* Small tablets */
@media (max-width: 768px) {
  .theorem-search-container {
    margin-bottom: 24px;
  }

  .theorems-cards {
    grid-template-columns: 1fr;
    gap: 16px;
    padding: 0 16px;
  }

  .theorem-card {
    padding: 20px;
    border-radius: 12px;
  }

  .theorem-name {
    font-size: 16px;
  }

  .theorem-card-title {
    flex-direction: column;
    align-items: flex-start;
    gap: 8px;
  }

  .theorem-card-title .theorem-name {
    margin-right: 0;
  }

  .search-form-redesign {
    padding: 16px;
    border-radius: 12px;
  }
}

/* Larger phones */
@media (max-width: 600px) {
  .theorems-cards {
    padding: 0 12px;
  }

  .theorem-card {
    padding: 16px;
  }

  .theorem-name {
    font-size: 15px;
    line-height: 1.4;
  }

  .statement-text,
  .description-text {
    font-size: 13px;
  }

  .search-form-redesign {
    padding: 14px;
  }
}

/* Small phones */
@media (max-width: 480px) {
  .theorems-cards {
    padding: 0 8px;
  }

  .theorem-card {
    padding: 14px;
  }

  .empty-state {
    padding: 60px 20px;
  }

  .theorem-card-footer {
    flex-direction: column;
    align-items: flex-start;
    gap: 8px;
  }

  .theorem-actions {
    align-self: flex-end;
  }

  .search-form-redesign {
    padding: 12px;
    border-radius: 10px;
  }
}

/* Animation for card entrance */
@keyframes fadeInUp {
  from {
    opacity: 0;
    transform: translateY(20px);
  }
  to {
    opacity: 1;
    transform: translateY(0);
  }
}

.theorem-card {
  animation: fadeInUp 0.4s ease-out both;
}

.theorem-card:nth-child(1) { animation-delay: 0.05s; }
.theorem-card:nth-child(2) { animation-delay: 0.1s; }
.theorem-card:nth-child(3) { animation-delay: 0.15s; }
.theorem-card:nth-child(4) { animation-delay: 0.2s; }
.theorem-card:nth-child(5) { animation-delay: 0.25s; }
.theorem-card:nth-child(6) { animation-delay: 0.3s; }