// Modal always uses dark theme for visibility over any content
.deriving-overlay {
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  bottom: 0;
  background: rgba(0, 0, 0, 0.85);
  display: flex;
  align-items: center;
  justify-content: center;
  z-index: 9999;
  backdrop-filter: blur(4px);
}

.deriving-modal {
  background: #1a1a1a;
  border-radius: 12px;
  padding: 2rem;
  text-align: center;
  min-width: 280px;
  box-shadow: 0 4px 24px rgba(0, 0, 0, 0.5);
  border: 1px solid #3d3d3d;

  h3 {
    margin: 1rem 0 0.5rem;
    color: #fafafa;
    font-size: 1.1rem;
    font-weight: 600;
  }
}

.deriving-note {
  margin: 0.5rem 0 0;
  color: #a1a1a1;
  font-size: 0.85rem;
}

.deriving-spinner {
  width: 48px;
  height: 48px;
  border: 4px solid #3d3d3d;
  border-top-color: #ff3eb5;
  border-radius: 50%;
  animation: spin 1s linear infinite;
  margin: 0 auto;
}

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