/* ═══════════════════════════════════════════════════════════════════════════
 * DOPE Modal — Structural Styles
 * PRD-62 T3-A: Extracted from inline cssText in dope_modal.js
 * ═══════════════════════════════════════════════════════════════════════════ */

.dope-modal-backdrop {
  position: fixed;
  inset: 0;
  background: rgba(0, 0, 0, 0.6);
  z-index: 10001;
  display: none;
}

.dope-modal {
  position: fixed;
  top: 50%;
  left: 50%;
  transform: translate(-50%, -50%);
  width: 620px;
  max-height: 85vh;
  background: var(--dark-bg-1-solid, rgba(15, 25, 35, 0.98));
  border: 1px solid var(--cyan-30, rgba(0, 200, 255, 0.3));
  border-radius: 12px;
  z-index: 10002;
  display: none;
  flex-direction: column;
  overflow: hidden;
  box-shadow: 0 8px 32px rgba(0, 0, 0, 0.5);
}

/* ── Tab states ───────────────────────────────────────────────────────── */

.dope-tab {
  background: transparent;
  border-color: var(--border-subtle, rgba(255, 255, 255, 0.1));
  color: var(--text-secondary, #aaa);
  transition: background 0.15s, border-color 0.15s, color 0.15s;
}

.dope-tab.active {
  background: var(--cyan-20, rgba(0, 200, 255, 0.2));
  border-color: var(--cyan-40, rgba(0, 200, 255, 0.4));
  color: var(--text-primary, #fff);
}

/* ── Drag cursors ─────────────────────────────────────────────────────── */

.dope-modal--dragging {
  cursor: grabbing;
}

.dope-modal--dragging .dope-modal__header {
  cursor: grabbing;
}

.dope-modal__header {
  cursor: grab;
}

/* ── Proof row interactivity ──────────────────────────────────────────── */

.proof-var-row {
  cursor: pointer;
}