/* Scoped styling for set-theory-and-foundations interactive simulations */
#sim-container {
  margin: 1.5rem 0;
}
.logic-sim-card {
  background: #0f172a;
  border: 1px solid #334155;
  border-radius: 12px;
  padding: 1.25rem;
  margin-bottom: 1.5rem;
  color: #f8fafc;
}
.logic-sim-card h3 {
  margin-top: 0;
  margin-bottom: 0.5rem;
  color: #38bdf8;
  font-size: 1.2rem;
}
.logic-sim-card .sim-desc {
  color: #94a3b8;
  font-size: 0.92rem;
  margin-bottom: 1rem;
}
.logic-sim-card .sim-controls {
  background: #1e293b;
  border: 1px solid #334155;
  border-radius: 8px;
  padding: 1rem;
  margin-bottom: 1rem;
  display: flex;
  flex-wrap: wrap;
  gap: 12px;
  align-items: center;
}
.logic-sim-card label {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  font-size: 0.88rem;
  color: #cbd5e1;
  background: #0f172a;
  padding: 6px 10px;
  border-radius: 6px;
  border: 1px solid #334155;
}
.logic-sim-card select, .logic-sim-card input[type="text"], .logic-sim-card input[type="number"] {
  background: #0f172a;
  color: #f8fafc;
  border: 1px solid #475569;
  border-radius: 6px;
  padding: 5px 8px;
  font-size: 0.88rem;
}
.logic-sim-card select:focus, .logic-sim-card input:focus {
  border-color: #38bdf8;
  outline: none;
}
.logic-sim-card .sim-output {
  background: #020617;
  border: 1px solid #1e293b;
  border-radius: 8px;
  padding: 1rem;
  margin-bottom: 0.75rem;
  overflow-x: auto;
}
.logic-sim-card table {
  border-collapse: collapse;
  width: 100%;
  margin: 0.5rem 0;
  font-size: 0.88rem;
}
.logic-sim-card th, .logic-sim-card td {
  border: 1px solid #334155;
  padding: 6px 10px;
  text-align: center;
}
.logic-sim-card th {
  background: #1e293b;
  color: #38bdf8;
}
.logic-sim-card td {
  background: #0f172a;
  color: #e2e8f0;
}
.logic-sim-card .ok {
  color: #34d399;
  font-weight: 600;
  margin: 0.5rem 0 0;
}
.logic-sim-card .no {
  color: #f87171;
  font-weight: 600;
  margin: 0.5rem 0 0;
}
.logic-sim-card .warn {
  color: #fbbf24;
  font-weight: 600;
  margin: 0.5rem 0 0;
}
.logic-sim-card ol {
  margin: 0.5rem 0 0 1.25rem;
  padding: 0;
  color: #cbd5e1;
  font-size: 0.9rem;
}
.logic-sim-card ol li {
  margin-bottom: 4px;
}
.logic-sim-card .sim-tag {
  display: inline-block;
  background: #0369a1;
  color: #f0f9ff;
  border-radius: 9999px;
  padding: 2px 8px;
  font-size: 0.72rem;
  font-weight: 700;
  margin-right: 6px;
  margin-bottom: 6px;
}