/* Paradox Playground Styles */

:root {
  --bg-primary: #1e1e2e;
  --bg-secondary: #181825;
  --bg-surface: #313244;
  --text-primary: #cdd6f4;
  --text-secondary: #a6adc8;
  --text-muted: #6c7086;
  --accent: #89b4fa;
  --accent-hover: #b4befe;
  --error: #f38ba8;
  --warning: #fab387;
  --info: #89dceb;
  --success: #a6e3a1;
  --border: #45475a;
}

* {
  margin: 0;
  padding: 0;
  box-sizing: border-box;
}

/* Scrollbar styling - WebKit (Chrome, Safari, Edge) */
::-webkit-scrollbar {
  width: 10px;
  height: 10px;
}

::-webkit-scrollbar-track {
  background: var(--bg-secondary);
}

::-webkit-scrollbar-thumb {
  background: var(--bg-surface);
  border-radius: 5px;
  border: 2px solid var(--bg-secondary);
}

::-webkit-scrollbar-thumb:hover {
  background: var(--border);
}

::-webkit-scrollbar-corner {
  background: var(--bg-secondary);
}

/* Scrollbar styling - Firefox */
* {
  scrollbar-width: thin;
  scrollbar-color: var(--bg-surface) var(--bg-secondary);
}

html,
body {
  height: 100%;
  font-family:
    -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen, Ubuntu,
    Cantarell, sans-serif;
  background: var(--bg-primary);
  color: var(--text-primary);
}

.playground {
  display: flex;
  flex-direction: column;
  height: 100vh;
}

/* Header */
header {
  display: flex;
  align-items: center;
  gap: 1rem;
  padding: 0.75rem 1.5rem;
  background: var(--bg-secondary);
  border-bottom: 1px solid var(--border);
  position: relative;
}

header h1 {
  font-size: 1.25rem;
  font-weight: 600;
  color: var(--accent);
  margin-right: auto;
}

.menu-toggle {
  display: none;
  background: transparent;
  border: 1px solid var(--border);
  border-radius: 6px;
  color: var(--text-primary);
  font-size: 1.25rem;
  padding: 0.35rem 0.6rem;
  cursor: pointer;
  line-height: 1;
}

.menu-toggle:hover {
  border-color: var(--accent);
  color: var(--accent);
}

.header-actions {
  display: flex;
  align-items: center;
  gap: 1rem;
}

header select {
  padding: 0.5rem 1rem;
  background: var(--bg-surface);
  border: 1px solid var(--border);
  border-radius: 6px;
  color: var(--text-primary);
  font-size: 0.875rem;
  cursor: pointer;
}

header select:hover {
  border-color: var(--accent);
}

header .term-input {
  padding: 0.5rem 1rem;
  background: var(--bg-surface);
  border: 1px solid var(--border);
  border-radius: 6px;
  color: var(--text-primary);
  font-size: 0.875rem;
  cursor: pointer;
}

header .term-input:hover {
  border-color: var(--accent);
}

header button {
  padding: 0.5rem 1.5rem;
  background: var(--accent);
  border: none;
  border-radius: 6px;
  color: var(--bg-primary);
  font-size: 0.875rem;
  font-weight: 600;
  cursor: pointer;
  transition: background 0.2s;
}

header button:hover {
  background: var(--accent-hover);
}

header button:disabled {
  opacity: 0.5;
  cursor: not-allowed;
}

/* Main content area */
main {
  flex: 1;
  display: flex;
  min-height: 0;
}

.editor-pane,
.output-pane {
  flex: 1;
  display: flex;
  flex-direction: column;
  min-width: 0;
  transition: flex 0.15s ease;
}

main.resizing .editor-pane,
main.resizing .output-pane {
  transition: none;
}

/* Draggable divider between panes */
.pane-divider {
  width: 6px;
  cursor: col-resize;
  background: var(--border);
  transition: background 0.2s ease;
  flex-shrink: 0;
}

.pane-divider:hover,
.pane-divider.dragging {
  background: var(--accent);
}

.pane-header {
  display: flex;
  align-items: center;
  padding: 0.5rem 1rem;
  background: var(--bg-secondary);
  border-bottom: 1px solid var(--border);
  font-size: 0.75rem;
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  color: var(--text-muted);
}

.pane-header .copy-button {
  margin-left: auto;
  padding: 0.2rem 0.6rem;
  background: transparent;
  border: 1px solid var(--border);
  border-radius: 4px;
  color: var(--text-muted);
  font-size: 0.675rem;
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  cursor: pointer;
  transition:
    color 0.2s,
    border-color 0.2s;
}

.pane-header .copy-button:hover {
  color: var(--text-primary);
  border-color: var(--accent);
}

.pane-header .copy-button:disabled {
  opacity: 0.3;
  cursor: not-allowed;
}

.editor-container {
  flex: 1;
  overflow: hidden;
}

.editor-container .cm-editor {
  height: 100%;
}

.error-output {
  flex: 1;
  overflow: auto;
  padding: 16px;
  margin: 0;
  background: var(--bg-primary);
  color: var(--text-primary);
  font-family: "JetBrains Mono", "Fira Code", "Consolas", monospace;
  font-size: 14px;
  line-height: 1.6;
  white-space: pre;
  tab-size: 4;
}

.editor-container .cm-scroller {
  font-family: "JetBrains Mono", "Fira Code", "Consolas", monospace;
  font-size: 14px;
  line-height: 1.6;
}

/* CodeMirror theme overrides */
.cm-editor {
  background: var(--bg-primary) !important;
}

.cm-gutters {
  background: var(--bg-secondary) !important;
  border-right: 1px solid var(--border) !important;
  color: var(--text-muted) !important;
}

.cm-activeLineGutter {
  background: var(--bg-surface) !important;
}

.cm-activeLine {
  background: rgba(69, 71, 90, 0.3) !important;
}

.cm-selectionBackground {
  background: rgba(137, 180, 250, 0.2) !important;
}

.cm-cursor {
  border-left-color: var(--accent) !important;
}

/* Syntax highlighting */
.cm-keyword {
  color: #cba6f7;
}
.cm-type {
  color: #f9e2af;
}
.cm-variable {
  color: #89b4fa;
}
.cm-string {
  color: #a6e3a1;
}
.cm-number {
  color: #fab387;
}
.cm-comment {
  color: #6c7086;
  font-style: italic;
}
.cm-operator {
  color: #89dceb;
}

/* Footer / Error panel */
footer {
  background: var(--bg-secondary);
  border-top: 1px solid var(--border);
  max-height: 200px;
  overflow: hidden;
  display: flex;
  flex-direction: column;
}

.error-panel-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: 0.5rem 1rem;
  border-bottom: 1px solid var(--border);
  font-size: 0.75rem;
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  color: var(--text-muted);
}

.error-count {
  display: inline-flex;
  align-items: center;
  gap: 0.25rem;
  padding: 0.125rem 0.5rem;
  background: var(--error);
  color: var(--bg-primary);
  border-radius: 9999px;
  font-size: 0.75rem;
}

.error-count.warning {
  background: var(--warning);
}

.error-count.none {
  background: var(--success);
}

.error-list {
  flex: 1;
  overflow-y: auto;
  padding: 0.5rem;
}

.error-item {
  display: flex;
  gap: 0.75rem;
  padding: 0.5rem;
  border-radius: 4px;
  font-family: monospace;
  font-size: 0.8125rem;
  cursor: pointer;
}

.error-item:hover {
  background: var(--bg-surface);
}

.error-item.error .error-icon {
  color: var(--error);
}
.error-item.warning .error-icon {
  color: var(--warning);
}
.error-item.info .error-icon {
  color: var(--info);
}

.error-location {
  color: var(--text-muted);
  min-width: 80px;
}

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

/* Connection status */
.connection-status {
  display: flex;
  align-items: center;
  gap: 0.5rem;
  font-size: 0.75rem;
  color: var(--text-muted);
}

.connection-dot {
  width: 8px;
  height: 8px;
  border-radius: 50%;
  background: var(--text-muted);
}

.connection-dot.disconnected {
  background: var(--text-muted);
}

.connection-dot.connecting {
  background: var(--warning);
  animation: pulse 1.5s ease-in-out infinite;
}

.connection-dot.connected {
  background: var(--success);
}

.connection-dot.error {
  background: var(--error);
  animation: pulse 2s ease-in-out infinite;
}

/* Output pane phase indicators */
.output-pane.phase-ready .pane-header span:first-child {
  color: var(--text-muted);
  font-style: italic;
}

.output-pane.phase-generating .pane-header span:first-child {
  animation: pulse 1.5s ease-in-out infinite;
}

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

/* Loading state */
.loading {
  display: flex;
  align-items: center;
  justify-content: center;
  height: 100%;
  color: var(--text-muted);
}

.spinner {
  width: 24px;
  height: 24px;
  border: 2px solid var(--border);
  border-top-color: var(--accent);
  border-radius: 50%;
  animation: spin 1s linear infinite;
}

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

/* LSP Hover Tooltip */
.cm-lsp-hover {
  background: var(--bg-secondary);
  color: var(--text-primary);
  border: 1px solid var(--border);
  border-radius: 8px;
  padding: 12px 16px;
  max-width: 600px;
  font-size: 13px;
  line-height: 1.5;
  box-shadow: 0 4px 12px rgba(0, 0, 0, 0.3);
}

.cm-lsp-hover code {
  background: var(--bg-surface);
  padding: 2px 6px;
  border-radius: 4px;
  font-family: "JetBrains Mono", "Fira Code", "Consolas", monospace;
  font-size: 12px;
  color: var(--accent);
}

.cm-lsp-hover pre {
  background: var(--bg-primary);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 12px;
  margin: 8px 0;
  overflow-x: auto;
  font-family: "JetBrains Mono", "Fira Code", "Consolas", monospace;
  font-size: 12px;
}

.cm-lsp-hover pre code {
  background: none;
  padding: 0;
  color: var(--text-primary);
}

.cm-lsp-hover p {
  margin: 8px 0;
}

.cm-lsp-hover p:first-child {
  margin-top: 0;
}

.cm-lsp-hover p:last-child {
  margin-bottom: 0;
}

.cm-lsp-hover strong {
  color: var(--accent);
}

.cm-lsp-hover em {
  color: var(--text-secondary);
}

/* Autocompletion Dropdown */
.cm-tooltip.cm-tooltip-autocomplete {
  background: var(--bg-secondary) !important;
  border: 1px solid var(--border) !important;
  border-radius: 8px !important;
  box-shadow: 0 4px 12px rgba(0, 0, 0, 0.3) !important;
  overflow: hidden;
}

.cm-tooltip.cm-tooltip-autocomplete > ul {
  font-family: "JetBrains Mono", "Fira Code", "Consolas", monospace !important;
  font-size: 13px !important;
  max-height: 300px !important;
}

.cm-tooltip.cm-tooltip-autocomplete > ul > li {
  padding: 6px 12px !important;
  display: flex !important;
  align-items: center !important;
  gap: 8px !important;
}

.cm-tooltip.cm-tooltip-autocomplete > ul > li[aria-selected="true"] {
  background: var(--bg-surface) !important;
  color: var(--text-primary) !important;
}

.cm-completionIcon {
  width: 16px !important;
  height: 16px !important;
  padding: 0 !important;
  margin-right: 4px !important;
  opacity: 0.8;
}

/* Completion type icons - using colors to differentiate */
.cm-completionIcon-function::after {
  content: "ƒ";
  color: #89b4fa;
}
.cm-completionIcon-method::after {
  content: "m";
  color: #89b4fa;
}
.cm-completionIcon-class::after {
  content: "C";
  color: #f9e2af;
}
.cm-completionIcon-interface::after {
  content: "I";
  color: #f9e2af;
}
.cm-completionIcon-variable::after {
  content: "x";
  color: #cdd6f4;
}
.cm-completionIcon-field::after {
  content: "•";
  color: #89dceb;
}
.cm-completionIcon-property::after {
  content: "•";
  color: #89dceb;
}
.cm-completionIcon-keyword::after {
  content: "K";
  color: #cba6f7;
}
.cm-completionIcon-type::after {
  content: "T";
  color: #f9e2af;
}
.cm-completionIcon-constant::after {
  content: "c";
  color: #fab387;
}
.cm-completionIcon-enum::after {
  content: "E";
  color: #f9e2af;
}
.cm-completionIcon-module::after {
  content: "M";
  color: #f5c2e7;
}
.cm-completionIcon-text::after {
  content: "t";
  color: #6c7086;
}

.cm-completionLabel {
  flex: 1 !important;
  color: var(--text-primary) !important;
}

.cm-completionDetail {
  color: var(--text-muted) !important;
  font-size: 11px !important;
  margin-left: auto !important;
}

/* Completion info panel */
.cm-tooltip.cm-completionInfo {
  background: var(--bg-secondary) !important;
  border: 1px solid var(--border) !important;
  border-radius: 8px !important;
  padding: 12px !important;
  max-width: 400px !important;
  font-size: 12px !important;
  color: var(--text-secondary) !important;
  box-shadow: 0 4px 12px rgba(0, 0, 0, 0.3) !important;
}

/* Lint/Diagnostic Hover Tooltip */
.cm-tooltip.cm-tooltip-hover {
  background: var(--bg-secondary) !important;
  border: 1px solid var(--border) !important;
  border-radius: 8px !important;
  box-shadow: 0 4px 12px rgba(0, 0, 0, 0.3) !important;
  overflow: hidden;
}

.cm-tooltip-lint {
  padding: 0 !important;
  margin: 0 !important;
  list-style: none !important;
}

.cm-tooltip-lint li {
  padding: 8px 12px !important;
  font-family: "JetBrains Mono", "Fira Code", "Consolas", monospace !important;
  font-size: 12px !important;
  line-height: 1.5 !important;
  color: var(--text-primary) !important;
  border-bottom: 1px solid var(--border);
}

.cm-tooltip-lint li:last-child {
  border-bottom: none;
}

/* Diagnostic icons in tooltip */
.cm-diagnostic {
  padding: 0 !important;
  margin: 0 !important;
  border: none !important;
  background: none !important;
}

.cm-diagnostic-error {
  border-left: 3px solid var(--error) !important;
  padding-left: 8px !important;
}

.cm-diagnostic-warning {
  border-left: 3px solid var(--warning) !important;
  padding-left: 8px !important;
}

.cm-diagnostic-info {
  border-left: 3px solid var(--info) !important;
  padding-left: 8px !important;
}

.cm-diagnostic-hint {
  border-left: 3px solid var(--text-muted) !important;
  padding-left: 8px !important;
}

/* Remove default lint gutter styling */
.cm-lint-marker {
  width: 8px !important;
  height: 8px !important;
}

.cm-lint-marker-error {
  content: none !important;
}

.cm-lint-marker-warning {
  content: none !important;
}

/* Vim toggle button */
.vim-toggle {
  background: transparent !important;
  border: 1px solid var(--border) !important;
  color: var(--text-muted) !important;
  font-weight: 600;
}

.vim-toggle:hover {
  border-color: var(--accent) !important;
  color: var(--text-primary) !important;
}

.vim-toggle.active {
  background: var(--accent) !important;
  color: var(--bg-primary) !important;
  border-color: var(--accent) !important;
}

/* Vim status bar (injected by @replit/codemirror-vim) */
.cm-vim-panel {
  background: var(--bg-secondary) !important;
  color: var(--text-primary) !important;
  border-top: 1px solid var(--border) !important;
  font-family: "JetBrains Mono", "Fira Code", "Consolas", monospace;
  font-size: 12px;
  padding: 2px 8px;
}

.cm-vim-panel input {
  background: var(--bg-primary);
  color: var(--text-primary);
  border: 1px solid var(--border);
  font-family: "JetBrains Mono", "Fira Code", "Consolas", monospace;
  font-size: 12px;
}

/* Responsive */
@media (max-width: 768px) {
  header {
    flex-wrap: wrap;
  }

  .menu-toggle {
    display: block;
  }

  .header-actions {
    display: none;
    flex-direction: column;
    align-items: stretch;
    width: 100%;
    padding-top: 0.75rem;
    gap: 0.5rem;
  }

  .header-actions.open {
    display: flex;
  }

  .header-actions button,
  .header-actions select {
    width: 100%;
    text-align: center;
  }

  .connection-label {
    display: none;
  }

  main {
    flex-direction: column;
  }

  .editor-pane,
  .output-pane {
    flex: 1 !important;
  }

  .editor-pane {
    border-bottom: 1px solid var(--border);
  }

  .pane-divider {
    display: none;
  }
}