/*
 * components.css — Specialized styles for interactive tool pages.
 * Only loaded on pages that need it (experiments, Chinese tools).
 * Extends style.css with buttons, data tables, logic engine, and status messages.
 */

/* ========================================
   LOGIC ENGINE COMPONENTS
   ======================================== */

/* Wide container for logic engine */
body.logic-engine {
  background: var(--color-bg-body);
  padding: 0;
}

.logic-engine-container {
  max-width: 960px;
  margin: 0 auto;
  padding: 0 1rem 3rem;
}

/* Dark header with icon */
.logic-engine-header {
  background: var(--color-bg-header);
  color: var(--color-header-text);
  padding: 1.5rem 0 2rem;
  margin-bottom: 2rem;
  box-shadow: 0 4px 6px rgb(0, 0, 0, 0.1);
}

.logic-engine-header .container-inner {
  max-width: 960px;
  margin: 0 auto;
  padding: 0 1rem;
}

.logic-engine-header .breadcrumbs {
  font-size: 0.875rem;
  margin-bottom: 0.5rem;
  color: var(--color-header-breadcrumb);
}

.logic-engine-header .breadcrumbs a {
  color: var(--color-header-breadcrumb);
  text-decoration: none;
}

.logic-engine-header .breadcrumbs a:hover {
  color: var(--color-header-text);
}

.logic-engine-header .breadcrumbs .separator {
  margin: 0 0.5rem;
}

.logic-engine-header .breadcrumbs .current {
  color: var(--color-header-text);
}

.logic-engine-header h1 {
  font-size: 1.875rem;
  font-weight: bold;
  margin: 0;
  display: flex;
  align-items: center;
  gap: 0.75rem;
}

.logic-engine-header h1 svg {
  width: 2rem;
  height: 2rem;
  flex-shrink: 0;
}

.logic-engine-header p {
  color: var(--color-header-breadcrumb);
  margin-top: 0.5rem;
}

/* Card sections */
.logic-card {
  background: var(--color-bg-container);
  border-radius: 0.5rem;
  box-shadow: 0 1px 3px rgb(0, 0, 0, 0.1);
  padding: 1.5rem;
  margin-bottom: 1.5rem;
}

.logic-card h2 {
  font-size: 1.25rem;
  font-weight: bold;
  margin: 0 0 1rem;
  color: var(--color-text-heading);
  display: flex;
  align-items: center;
  gap: 0.5rem;
}

.logic-card h2 svg {
  width: 1.5rem;
  height: 1.5rem;
}

.logic-card h3 {
  font-size: 1.125rem;
  font-weight: 600;
  margin: 0 0 0.75rem;
  color: var(--color-text-heading);
}

.logic-card p {
  color: var(--color-text-secondary);
  font-size: 0.875rem;
  margin-bottom: 1rem;
}

/* Input field */
.logic-input {
  flex: 1;
  padding: 0.5rem 1rem;
  border: 1px solid var(--color-border);
  border-radius: 0.25rem;
  font-family: monospace;
  font-size: 0.875rem;
  background: var(--color-bg-input);
  color: var(--color-text);
}

.logic-input:focus {
  outline: none;
  box-shadow: 0 0 0 2px var(--color-primary);
  border-color: var(--color-primary);
}

.logic-input:disabled {
  background: var(--color-bg-form);
  cursor: not-allowed;
}

/* Buttons */
.btn-primary {
  padding: 0.5rem 1.5rem;
  background: var(--color-primary);
  color: white;
  border: none;
  border-radius: 0.25rem;
  font-weight: 500;
  cursor: pointer;
  transition: background-color 0.2s;
  display: inline-flex;
  align-items: center;
  gap: 0.5rem;
}

.btn-primary:hover:not(:disabled) {
  background: var(--color-primary-hover);
}

.btn-primary:focus {
  outline: 2px solid var(--color-primary);
  outline-offset: 2px;
}

.btn-primary:disabled {
  opacity: 0.5;
  cursor: not-allowed;
}

.btn-secondary {
  padding: 0.5rem 1.5rem;
  background: var(--color-success);
  color: white;
  border: none;
  border-radius: 0.25rem;
  font-weight: 500;
  cursor: pointer;
  transition: background-color 0.2s;
  display: inline-flex;
  align-items: center;
  gap: 0.5rem;
}

.btn-secondary:hover:not(:disabled) {
  background: var(--color-success-hover);
}

.btn-secondary:focus {
  outline: 2px solid var(--color-success);
  outline-offset: 2px;
}

.btn-secondary:disabled {
  opacity: 0.5;
  cursor: not-allowed;
}

.btn-tertiary {
  padding: 0.5rem 1.5rem;
  background: var(--color-bg-code);
  color: var(--color-text-heading);
  border: none;
  border-radius: 0.25rem;
  font-weight: 500;
  cursor: pointer;
  transition: background-color 0.2s;
}

.btn-tertiary:hover:not(:disabled) {
  background: var(--color-border);
}

.btn-tertiary:focus {
  outline: 2px solid var(--color-text-muted);
  outline-offset: 2px;
}

.btn-tertiary:disabled {
  opacity: 0.5;
  cursor: not-allowed;
}

.btn-icon {
  width: 1.25rem;
  height: 1.25rem;
  flex-shrink: 0;
}

/* Button group */
.button-group {
  display: flex;
  gap: 0.75rem;
  margin-top: 1rem;
  margin-bottom: 1rem;
}

/* Details/Summary for operators */
.operator-details {
  font-size: 0.875rem;
  color: var(--color-text-secondary);
  margin-bottom: 1rem;
}

.operator-details summary {
  cursor: pointer;
  font-weight: 500;
}

.operator-details summary:hover {
  color: var(--color-text-heading);
}

.operator-details ul {
  margin-top: 0.5rem;
  margin-left: 1.5rem;
  list-style: none;
  padding: 0;
}

.operator-details li {
  margin: 0.25rem 0;
}

.operator-details code {
  background: var(--color-bg-form);
  padding: 0.125rem 0.25rem;
  border-radius: 0.25rem;
  font-family: monospace;
}

/* Example buttons */
.example-buttons {
  display: flex;
  flex-wrap: wrap;
  gap: 0.5rem;
}

.example-btn {
  padding: 0.375rem 0.75rem;
  font-size: 0.875rem;
  background: var(--color-bg-form);
  color: var(--color-text-heading);
  border: none;
  border-radius: 0.25rem;
  cursor: pointer;
  transition: background-color 0.2s;
}

.example-btn:hover {
  background: var(--color-bg-code);
}

.example-btn:focus {
  outline: 2px solid var(--color-text-muted);
  outline-offset: 2px;
}

/* Preset buttons (used in automata, series tester, markov) */
.preset-btn {
  padding: 0.35rem 0.75rem;
  border: 1px solid var(--color-border-dark, #cbd5e0);
  border-radius: 4px;
  background: var(--color-bg-card, #f8fafc);
  cursor: pointer;
  font-size: 0.85rem;
  color: var(--color-text-secondary, #4a5568);
  transition:
    border-color 0.15s,
    background 0.15s;
}

.preset-btn:hover {
  background: var(--color-bg-code, #e9ecef);
  border-color: var(--color-primary, #3182ce);
}

.preset-btn.active {
  background: var(--color-primary, #3182ce);
  border-color: var(--color-primary, #3182ce);
  color: #fff;
}

/* How-it-works section (used in hashlab, float) */
.how-section {
  margin-top: 1.5rem;
  border: 1px solid var(--color-border);
  border-radius: 8px;
  padding: 1rem 1.25rem;
  background: var(--color-bg-card);
}

.how-section h2 {
  font-size: 1.05rem;
  margin: 0 0 0.75rem;
}

.how-section p,
.how-section li {
  font-size: 0.9rem;
  color: var(--color-text-secondary);
  line-height: 1.5;
}

.how-section ul {
  margin: 0.25rem 0 0.5rem;
  padding-left: 1.25rem;
}

.how-section code {
  background: var(--color-bg-code);
  padding: 0.1rem 0.3rem;
  border-radius: 3px;
  font-size: 0.85rem;
}

/* Proof steps */
.steps-container {
  display: flex;
  flex-direction: column;
  gap: 0.25rem;
}

.proof-step {
  display: flex;
  align-items: flex-start;
  gap: 0.75rem;
  padding: 0.75rem;
  border-radius: 0.25rem;
  border: 1px solid;
}

.proof-step.premise {
  background: var(--color-info-bg);
  border-color: var(--color-info-border);
}

.proof-step.derived {
  background: var(--color-success-bg);
  border-color: var(--color-success-border);
}

.step-badge {
  flex-shrink: 0;
  width: 2rem;
  height: 2rem;
  display: flex;
  align-items: center;
  justify-content: center;
  border-radius: 50%;
  font-family: monospace;
  font-size: 0.875rem;
  font-weight: bold;
}

.step-badge.premise {
  background: #dbeafe;
  color: var(--color-primary-hover);
}

.step-badge.derived {
  background: #dcfce7;
  color: var(--color-success-hover);
}

.step-content {
  flex: 1;
  min-width: 0;
}

.step-expression {
  font-family: monospace;
  font-size: 1rem;
  margin-bottom: 0.25rem;
  color: var(--color-text);
}

.step-justification {
  font-size: 0.75rem;
}

.step-justification.premise {
  color: var(--color-primary);
  font-weight: 500;
}

.step-justification.derived {
  color: var(--color-success);
}

.step-justification .rule-name {
  font-weight: 500;
}

.step-justification .step-refs {
  color: var(--color-text-muted);
}

/* Empty state */
.empty-state {
  text-align: center;
  padding: 3rem 0;
  color: var(--color-text-muted);
}

.empty-state svg {
  margin: 0 auto 1rem;
  width: 4rem;
  height: 4rem;
  color: var(--color-border);
}

.empty-state p:first-of-type {
  font-size: 1.125rem;
  font-weight: 500;
  color: var(--color-text-muted);
}

.empty-state p:last-of-type {
  font-size: 0.875rem;
  margin-top: 0.25rem;
}

/* Status messages */
.status-message {
  padding: 1rem;
  border-radius: 0.25rem;
  border: 1px solid;
  display: flex;
  align-items: flex-start;
  gap: 0.75rem;
  margin-bottom: 1.5rem;
}

.status-message svg {
  width: 1.25rem;
  height: 1.25rem;
  flex-shrink: 0;
  margin-top: 0.125rem;
}

.status-message .message-text {
  font-size: 0.875rem;
  flex: 1;
}

.status-message.error {
  background: var(--color-error-bg);
  border-color: var(--color-error-border);
}

.status-message.error svg {
  color: var(--color-error);
}

.status-message.error .message-text {
  color: var(--color-error-text);
}

.status-message.success {
  background: var(--color-success-bg);
  border-color: var(--color-success-border);
}

.status-message.success svg {
  color: var(--color-success);
}

.status-message.success .message-text {
  color: var(--color-success-text);
}

/* Info box */
.info-card {
  margin-top: 2rem;
  background: var(--color-info-bg);
  border: 1px solid var(--color-info-border);
  border-radius: 0.5rem;
  padding: 1.5rem;
}

.info-card h3 {
  font-weight: bold;
  font-size: 1.125rem;
  margin: 0 0 0.75rem;
  display: flex;
  align-items: center;
  gap: 0.5rem;
}

.info-card h3 svg {
  width: 1.25rem;
  height: 1.25rem;
}

.info-card .info-content {
  font-size: 0.875rem;
  color: var(--color-text-heading);
}

.info-card .info-content p {
  margin-bottom: 0.5rem;
  color: var(--color-text-heading);
}

.info-card .info-content ul {
  list-style: disc;
  list-style-position: inside;
  margin-left: 1rem;
}

.info-card .info-content li {
  margin: 0.25rem 0;
}

/* Spinner animation */
@keyframes spin {
  to {
    transform: rotate(360deg);
  }
}

.animate-spin {
  animation: spin 1s linear infinite;
}

/* Flex utilities for logic engine */
.flex-row {
  display: flex;
  gap: 0.75rem;
}

.flex-1 {
  flex: 1;
}

/* ========================================
   ORIGINAL COMPONENTS
   ======================================== */

/* Data Tables */
.data-table,
.syllabary-table,
.truth-table table {
  border-collapse: collapse;
  width: 100%;
  background: var(--color-bg-container);
  font-size: 1.1rem;
  box-shadow: var(--shadow-container);
  border-radius: 8px;
  overflow: hidden;
}

.data-table th,
.syllabary-table th,
.truth-table th {
  background: var(--color-primary);
  color: white;
  padding: 0.75rem;
  text-align: center;
  font-weight: 600;
  border: 1px solid var(--color-primary-hover);
}

.data-table td,
.syllabary-table td,
.truth-table td {
  padding: 0.5rem;
  text-align: center;
  border: 1px solid var(--color-border);
  vertical-align: middle;
}

.data-table tr:nth-child(even),
.syllabary-table tr:nth-child(even),
.truth-table tr:nth-child(even) {
  background: var(--color-bg-form);
}

.data-table tr:hover,
.syllabary-table tr:hover,
.truth-table tr:hover {
  background: var(--color-bg-code);
}

/* Special table header styling */
.syllabary-table th {
  position: sticky;
  top: 0;
  z-index: 10;
}

.syllabary-table th:first-child {
  background: var(--color-text-muted);
  font-weight: 700;
  min-width: 3rem;
}

/* Table containers */
.table-container,
.syllabary-container,
.truth-table {
  overflow-x: auto;
  margin: 2rem 0;
  border-radius: 8px;
}

/* Info Boxes and Legends */
.legend,
.data-files,
.operators {
  background: var(--color-bg-form);
  padding: 1rem;
  border-radius: 4px;
  border: 1px solid var(--color-border-form);
  margin: 1rem 0;
}

.legend h3,
.data-files h3 {
  margin-top: 0;
  color: var(--color-text-secondary);
}

.data-files {
  background: var(--color-info-bg);
  border-left: 4px solid var(--color-primary);
}

.data-files h3 {
  color: var(--color-primary-hover);
}

/* Operator/Example Lists */
.operator-list,
.example-grid {
  display: flex;
  flex-wrap: wrap;
  gap: 0.5rem;
}

.operator-item,
.example-item {
  font-family: monospace;
  background: var(--color-bg-container);
  padding: 0.5rem 1rem;
  border-radius: 4px;
  border: 1px solid var(--color-border);
  font-weight: 600;
}

/* Frequency/Category Indicators */
.frequent {
  color: var(--color-text);
  font-weight: 600;
}

.infrequent {
  color: var(--color-text-muted);
  font-weight: 400;
}

.legend-item {
  display: flex;
  align-items: center;
  gap: 0.5rem;
  margin: 0.5rem 0;
}

.legend-color {
  width: 1rem;
  height: 1rem;
  border-radius: 2px;
}

.frequent-color {
  background: var(--color-text);
}

.infrequent-color {
  background: var(--color-text-muted);
}

/* Interactive Elements */
.syllabary-table span {
  cursor: pointer;
  transition: background-color 0.2s;
  border-radius: 3px;
  padding: 0.25rem;
  display: inline-block;
}

.syllabary-table span:hover {
  background: var(--color-primary) !important;
  color: var(--color-tag-text) !important;
}

/* ========================================
   DARK MODE SUPPORT
   Component-specific overrides only.
   Colors using CSS variables are handled
   automatically by the :root dark block.
   ======================================== */
@media (prefers-color-scheme: dark) {
  /* Logic Engine Dark Mode */
  body.logic-engine {
    background: var(--color-bg-body);
  }

  .logic-card {
    border: 1px solid var(--color-border);
  }

  .logic-card h3 {
    color: var(--color-text-secondary);
  }

  .logic-card p {
    color: var(--color-text-muted);
  }

  .logic-input:focus {
    border-color: var(--color-primary);
    box-shadow: 0 0 0 2px var(--color-primary);
  }

  .logic-input:disabled {
    background: var(--color-bg-container);
  }

  .operator-details {
    color: var(--color-text-muted);
  }

  .operator-details summary:hover {
    color: var(--color-text-secondary);
  }

  .operator-details code {
    background: var(--color-bg-body);
    color: var(--color-text);
  }

  .example-btn {
    background: var(--color-bg-body);
    color: var(--color-text-secondary);
    border: 1px solid var(--color-border);
  }

  .example-btn:hover {
    background: var(--color-border);
  }

  /* Proof steps — use variables (auto dark mode) */
  .proof-step.premise {
    background: var(--color-info-bg);
    border-color: var(--color-info-border);
  }

  .proof-step.derived {
    background: var(--color-success-bg);
    border-color: var(--color-success-border);
  }

  .step-badge.premise {
    background: var(--color-info-border);
    color: var(--color-info-bg);
  }

  .step-badge.derived {
    background: var(--color-success-border);
    color: var(--color-success-bg);
  }

  .step-justification.premise {
    color: var(--color-primary-hover);
  }

  .step-justification.derived {
    color: var(--color-success);
  }

  .step-justification .step-refs {
    color: var(--color-text-muted);
  }

  .empty-state {
    color: var(--color-text-muted);
  }

  .empty-state svg {
    color: var(--color-border);
  }

  .empty-state p:first-of-type {
    color: var(--color-text-muted);
  }

  /* Status messages — component-specific dark colors */
  .status-message.error {
    background: var(--color-error-bg);
    border-color: var(--color-error-border);
  }

  .status-message.error svg {
    color: var(--color-error);
  }

  .status-message.error .message-text {
    color: var(--color-error-text);
  }

  .status-message.success {
    background: var(--color-success-bg);
    border-color: var(--color-success-border);
  }

  .status-message.success svg {
    color: var(--color-success);
  }

  .status-message.success .message-text {
    color: var(--color-success-text);
  }

  .info-card {
    background: var(--color-info-bg);
    border-color: var(--color-info-border);
  }

  .info-card h3 {
    color: var(--color-text);
  }

  .info-card .info-content,
  .info-card .info-content p {
    color: var(--color-text-secondary);
  }

  /* Tables — header-specific dark colors */
  .data-table th,
  .syllabary-table th,
  .truth-table th {
    background: var(--color-primary);
    color: var(--color-bg-body);
    border-color: var(--color-primary-hover);
  }

  .syllabary-table th:first-child {
    background: var(--color-border);
    color: var(--color-text);
  }

  .data-table td,
  .syllabary-table td,
  .truth-table td {
    color: var(--color-text);
  }

  /* Info Boxes */
  .legend h3,
  .data-files h3,
  .info-box h3 {
    color: var(--color-text);
  }

  .data-files {
    background: var(--color-info-bg);
    border-color: var(--color-primary);
  }

  .data-files h3 {
    color: var(--color-primary-hover);
  }

  /* Lists */
  .operator-item,
  .example-item {
    color: var(--color-text);
  }
}