/* ------------------------------------------------------------------
   AutomataStudio — web UI
   Palette carried over from the desktop Qt stylesheets (utils/theme.py),
   so the web app and the .exe look like the same program.
   ------------------------------------------------------------------ */

:root {
  --bg: #f4f6f8;
  --panel: #ffffff;
  --panel-alt: #e9edf1;
  --border: #dfe3e8;
  --text: #1c1e21;
  --text-dim: #656d78;
  --accent: #2d6fd6;
  --accent-hover: #255bb0;
  --accent-soft: #e3edf9;
  --danger: #c94f4f;
  --danger-hover: #ad3f3f;
  --ok: #2e9e5b;
  --warn: #e08a1e;
  --canvas-bg: #ffffff;
  --shadow: 0 1px 2px rgba(16, 24, 40, 0.06), 0 4px 12px rgba(16, 24, 40, 0.05);
  --radius: 8px;
}

@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #1e2126;
    --panel: #22252b;
    --panel-alt: #2c2f36;
    --border: #33373e;
    --text: #e6e6e6;
    --text-dim: #9aa1ab;
    --accent: #3d7de3;
    --accent-hover: #5a92e8;
    --accent-soft: #2a3444;
    --danger: #d96a6a;
    --danger-hover: #c25555;
    --ok: #4bbd7a;
    --warn: #e8a53f;
    --canvas-bg: #14161a;
    --shadow: 0 1px 2px rgba(0, 0, 0, 0.3), 0 4px 12px rgba(0, 0, 0, 0.25);
  }
}

:root[data-theme="dark"] {
  --bg: #1e2126;
  --panel: #22252b;
  --panel-alt: #2c2f36;
  --border: #33373e;
  --text: #e6e6e6;
  --text-dim: #9aa1ab;
  --accent: #3d7de3;
  --accent-hover: #5a92e8;
  --accent-soft: #2a3444;
  --danger: #d96a6a;
  --danger-hover: #c25555;
  --ok: #4bbd7a;
  --warn: #e8a53f;
  --canvas-bg: #14161a;
  --shadow: 0 1px 2px rgba(0, 0, 0, 0.3), 0 4px 12px rgba(0, 0, 0, 0.25);
}

* { box-sizing: border-box; }

html, body {
  height: 100%;
  margin: 0;
}

body {
  display: flex;
  flex-direction: column;
  background: var(--bg);
  color: var(--text);
  font: 13px/1.5 system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", sans-serif;
  overflow: hidden;
}

/* ---------------------------- Toolbar ---------------------------- */

.toolbar {
  display: flex;
  align-items: center;
  gap: 14px;
  flex-wrap: wrap;
  padding: 8px 14px;
  background: var(--panel);
  border-bottom: 1px solid var(--border);
  flex: 0 0 auto;
}

.brand {
  display: flex;
  align-items: center;
  gap: 8px;
  font-weight: 650;
  font-size: 14px;
  letter-spacing: -0.01em;
  color: var(--accent);
  margin-right: 4px;
}

.toolbar-group {
  display: flex;
  align-items: center;
  gap: 4px;
  padding-right: 12px;
  border-right: 1px solid var(--border);
}

.toolbar-group:last-child { border-right: none; padding-right: 0; }
.toolbar-end { margin-left: auto; border-right: none; }

/* ---------------------------- Controls --------------------------- */

button {
  font: inherit;
  font-weight: 500;
  padding: 6px 12px;
  border: 1px solid transparent;
  border-radius: 6px;
  background: var(--accent);
  color: #fff;
  cursor: pointer;
  transition: background 0.12s ease, border-color 0.12s ease, opacity 0.12s ease;
}

button:hover:not(:disabled) { background: var(--accent-hover); }
button:disabled { opacity: 0.45; cursor: not-allowed; }
button:focus-visible { outline: 2px solid var(--warn); outline-offset: 2px; }

button.secondary,
button.ghost {
  background: transparent;
  color: var(--text);
  border-color: var(--border);
}

button.secondary:hover:not(:disabled),
button.ghost:hover:not(:disabled) {
  background: var(--panel-alt);
  border-color: var(--border);
}

button.ghost { padding: 5px 10px; }

button.danger { background: var(--danger); }
button.danger:hover:not(:disabled) { background: var(--danger-hover); }

button.apply { background: var(--ok); }
button.apply:hover:not(:disabled) { filter: brightness(1.08); background: var(--ok); }

input[type="text"], select {
  font: inherit;
  padding: 6px 8px;
  min-width: 0;
  border: 1px solid var(--border);
  border-radius: 6px;
  background: var(--panel);
  color: var(--text);
}

input[type="text"]:focus, select:focus {
  outline: none;
  border-color: var(--accent);
  box-shadow: 0 0 0 3px var(--accent-soft);
}

/* ---------------------------- Layout ----------------------------- */

.layout {
  flex: 1 1 auto;
  min-height: 0;
  display: grid;
  grid-template-columns: 272px minmax(0, 1fr) 320px;
  gap: 10px;
  padding: 10px;
}

.panel {
  display: flex;
  flex-direction: column;
  min-height: 0;
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  box-shadow: var(--shadow);
  overflow: hidden;
}

/* ----------------------------- Tabs ------------------------------ */

.tabs {
  display: flex;
  flex: 0 0 auto;
  background: var(--panel-alt);
  border-bottom: 1px solid var(--border);
}

.tab {
  flex: 1;
  padding: 8px 6px;
  background: transparent;
  color: var(--text-dim);
  border: none;
  border-bottom: 2px solid transparent;
  border-radius: 0;
  font-size: 12px;
  font-weight: 600;
}

.tab:hover:not(.active) { background: transparent; color: var(--text); }

.tab.active {
  background: var(--panel);
  color: var(--accent);
  border-bottom-color: var(--accent);
}

.tab-panel {
  display: none;
  flex-direction: column;
  gap: 8px;
  padding: 12px;
  overflow-y: auto;
  min-height: 0;
  flex: 1 1 auto;
}

.tab-panel.active { display: flex; }

/* --------------------------- Form bits --------------------------- */

.field-row { display: flex; gap: 6px; }
.field-row input { flex: 1; }

.field-grid {
  display: grid;
  grid-template-columns: 1fr;
  gap: 8px;
}

.field-grid label {
  display: flex;
  flex-direction: column;
  gap: 3px;
  font-size: 11px;
  font-weight: 600;
  color: var(--text-dim);
  text-transform: uppercase;
  letter-spacing: 0.04em;
}

.button-row { display: flex; gap: 6px; }
.button-row button { flex: 1; font-size: 12px; padding: 6px 8px; }
.button-row.stacked { flex-direction: column; }

.hint {
  margin: 0;
  font-size: 11.5px;
  color: var(--text-dim);
  line-height: 1.45;
}

/* --------------------------- Item lists -------------------------- */

.item-list {
  list-style: none;
  margin: 0;
  padding: 4px;
  min-height: 120px;
  max-height: 260px;
  overflow-y: auto;
  border: 1px solid var(--border);
  border-radius: 6px;
  background: var(--bg);
}

.item-list.tall { max-height: 320px; }

.item-list li {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
  padding: 5px 8px;
  border-radius: 5px;
  cursor: pointer;
  font-variant-numeric: tabular-nums;
}

.item-list li:hover { background: var(--panel-alt); }

.item-list li.selected {
  background: var(--accent-soft);
  color: var(--accent);
  font-weight: 600;
}

.item-list .tags { display: flex; gap: 4px; flex-shrink: 0; }

.tag {
  font-size: 10px;
  font-weight: 700;
  padding: 1px 6px;
  border-radius: 99px;
  letter-spacing: 0.03em;
}

.tag.start { background: var(--warn); color: #fff; }
.tag.accept { background: var(--ok); color: #fff; }
.tag.dead { background: #8a8f98; color: #fff; }
.tag.unreachable { background: var(--danger); color: #fff; }

.empty-note {
  padding: 12px 8px;
  text-align: center;
  color: var(--text-dim);
  font-size: 12px;
  cursor: default;
}

.empty-note:hover { background: transparent; }

/* ---------------------------- Canvas ----------------------------- */

.canvas-area {
  display: flex;
  flex-direction: column;
  min-height: 0;
  min-width: 0;
  gap: 8px;
}

.canvas-header { display: flex; gap: 8px; align-items: center; }

.name-input {
  flex: 1;
  font-weight: 600;
  font-size: 13.5px;
  background: var(--panel);
}

.badge {
  flex-shrink: 0;
  padding: 5px 11px;
  border-radius: 99px;
  font-size: 11.5px;
  font-weight: 700;
  letter-spacing: 0.03em;
  background: var(--panel-alt);
  color: var(--text-dim);
  border: 1px solid var(--border);
}

.badge.dfa { background: var(--ok); color: #fff; border-color: transparent; }
.badge.nfa { background: var(--accent); color: #fff; border-color: transparent; }

.canvas-wrap {
  position: relative;
  flex: 1 1 auto;
  min-height: 0;
  border: 1px solid var(--border);
  border-radius: var(--radius);
  background: var(--canvas-bg);
  box-shadow: var(--shadow);
  overflow: hidden;
}

#canvas {
  width: 100%;
  height: 100%;
  display: block;
  touch-action: none;
  cursor: grab;
}

#canvas:active { cursor: grabbing; }

.canvas-empty {
  position: absolute;
  inset: 0;
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  gap: 2px;
  pointer-events: none;
  color: var(--text-dim);
  text-align: center;
}

.canvas-empty p { margin: 0; }
.canvas-empty[hidden] { display: none; }

.legend {
  display: flex;
  flex-wrap: wrap;
  gap: 14px;
  font-size: 11.5px;
  color: var(--text-dim);
  padding: 0 2px;
  flex: 0 0 auto;
}

.legend span { display: flex; align-items: center; gap: 5px; }

.dot {
  width: 11px;
  height: 11px;
  border-radius: 50%;
  display: inline-block;
  border: 1.5px solid transparent;
}

.dot.normal { background: #4a90d9; }
.dot.accept { background: #2e9e5b; box-shadow: inset 0 0 0 1.5px var(--canvas-bg); }
.dot.start-ring { background: transparent; border-color: #e08a1e; }
.dot.dead { background: #8a8f98; }
.dot.unreachable { background: transparent; border: 1.5px dashed #c94f4f; }
.dot.highlight { background: #e0483e; }

/* --------------------------- Results ----------------------------- */

.result-box {
  flex: 1 1 auto;
  min-height: 120px;
  overflow-y: auto;
  padding: 10px;
  border: 1px solid var(--border);
  border-radius: 6px;
  background: var(--bg);
  font-size: 12px;
}

.result-box h4 {
  margin: 12px 0 6px;
  font-size: 11px;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  color: var(--text-dim);
}

.result-box h4:first-child { margin-top: 0; }

.result-box table {
  width: 100%;
  border-collapse: collapse;
  font-size: 11.5px;
  font-variant-numeric: tabular-nums;
}

.result-box th, .result-box td {
  padding: 4px 6px;
  text-align: left;
  border-bottom: 1px solid var(--border);
  white-space: nowrap;
}

.result-box th {
  background: var(--panel-alt);
  font-weight: 650;
  position: sticky;
  top: 0;
}

.result-box ol { margin: 4px 0; padding-left: 20px; }
.result-box li { margin-bottom: 3px; }
.result-box code {
  font-family: ui-monospace, "SF Mono", Menlo, Consolas, monospace;
  font-size: 11px;
}

.table-scroll { overflow-x: auto; }

/* Property rows */

.prop-row {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
  padding: 7px 2px;
  border-bottom: 1px solid var(--border);
}

.prop-row:last-child { border-bottom: none; }
.prop-label { color: var(--text-dim); }

.prop-value { font-weight: 650; display: flex; align-items: center; gap: 5px; }
.prop-value.yes { color: var(--ok); }
.prop-value.no { color: var(--danger); }

.state-chips { display: flex; flex-wrap: wrap; gap: 4px; margin-top: 4px; }

.chip {
  padding: 2px 8px;
  border-radius: 99px;
  background: var(--panel-alt);
  border: 1px solid var(--border);
  font-size: 11px;
  font-variant-numeric: tabular-nums;
}

.chip.bad { background: var(--danger); color: #fff; border-color: transparent; }
.chip.muted { background: #8a8f98; color: #fff; border-color: transparent; }

.error-list {
  margin: 4px 0 0;
  padding-left: 18px;
  color: var(--danger);
  font-size: 11.5px;
}

/* ------------------------- Simulation bar ------------------------ */

.sim-bar {
  flex: 0 0 auto;
  display: grid;
  grid-template-columns: minmax(230px, 300px) auto minmax(0, 1fr) auto;
  align-items: center;
  gap: 16px;
  padding: 10px 14px;
  background: var(--panel);
  border-top: 1px solid var(--border);
}

.sim-input { display: flex; align-items: center; gap: 6px; }
.sim-input label {
  font-size: 11px;
  font-weight: 600;
  color: var(--text-dim);
  text-transform: uppercase;
  letter-spacing: 0.04em;
  white-space: nowrap;
}
.sim-input input { flex: 1; min-width: 80px; font-family: ui-monospace, Menlo, Consolas, monospace; }

.sim-controls { display: flex; gap: 4px; }
.sim-controls button { padding: 6px 9px; font-size: 12px; }

.sim-readout { min-width: 0; display: flex; flex-direction: column; gap: 3px; }

.tape {
  display: flex;
  gap: 3px;
  flex-wrap: wrap;
  font-family: ui-monospace, Menlo, Consolas, monospace;
}

.tape .cell {
  min-width: 20px;
  padding: 1px 5px;
  text-align: center;
  border: 1px solid var(--border);
  border-radius: 4px;
  background: var(--bg);
  font-size: 12px;
}

.tape .cell.done { background: var(--panel-alt); color: var(--text-dim); }
.tape .cell.current { background: #e0483e; color: #fff; border-color: transparent; font-weight: 700; }

.sim-step {
  font-size: 12px;
  color: var(--text-dim);
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.verdict {
  font-weight: 700;
  font-size: 12.5px;
  padding: 6px 14px;
  border-radius: 99px;
  white-space: nowrap;
  background: var(--panel-alt);
  color: var(--text-dim);
}

.verdict.accepted { background: var(--ok); color: #fff; }
.verdict.rejected { background: var(--danger); color: #fff; }
.verdict.error { background: var(--warn); color: #fff; }
.verdict:empty { display: none; }

/* ---------------------------- Toast ------------------------------ */

.toast {
  position: fixed;
  left: 50%;
  bottom: 84px;
  transform: translate(-50%, 12px);
  padding: 9px 18px;
  border-radius: 8px;
  background: #1c1e21;
  color: #fff;
  font-size: 12.5px;
  box-shadow: 0 6px 24px rgba(0, 0, 0, 0.28);
  opacity: 0;
  pointer-events: none;
  transition: opacity 0.18s ease, transform 0.18s ease;
  z-index: 60;
  max-width: min(90vw, 460px);
}

.toast.show { opacity: 1; transform: translate(-50%, 0); }
.toast.error { background: var(--danger); }
.toast.ok { background: var(--ok); }

/* ---------------------------- Dialog ----------------------------- */

.dialog {
  max-width: 560px;
  width: calc(100vw - 40px);
  border: 1px solid var(--border);
  border-radius: 12px;
  background: var(--panel);
  color: var(--text);
  padding: 22px 24px;
  box-shadow: 0 20px 60px rgba(0, 0, 0, 0.3);
}

.dialog::backdrop { background: rgba(0, 0, 0, 0.45); }
.dialog h2 { margin: 0 0 12px; font-size: 16px; }
.dialog ol { padding-left: 20px; margin: 0 0 12px; }
.dialog li { margin-bottom: 7px; }
.dialog form { margin-top: 14px; text-align: right; }

/* -------------------------- Responsive --------------------------- */

@media (max-width: 1180px) {
  .layout {
    grid-template-columns: 250px minmax(0, 1fr);
    grid-template-rows: minmax(300px, 1fr) minmax(200px, 320px);
  }
  .panel-left { grid-row: 1 / 3; }
  .canvas-area { grid-column: 2; grid-row: 1; }
  .panel-right { grid-column: 2; grid-row: 2; }
  .sim-bar { grid-template-columns: minmax(200px, 1fr) auto; grid-auto-rows: auto; }
  .sim-readout { grid-column: 1 / -1; }
  .verdict { grid-column: 1 / -1; justify-self: start; }
}

@media (max-width: 820px) {
  body { overflow: auto; height: auto; min-height: 100%; }
  .layout {
    grid-template-columns: minmax(0, 1fr);
    grid-template-rows: none;
  }
  .panel-left, .canvas-area, .panel-right {
    grid-column: 1;
    grid-row: auto;
  }
  .canvas-wrap { height: 54vh; min-height: 300px; }
  .panel-left, .panel-right { max-height: 460px; }
  .toolbar { gap: 8px; }
  .toolbar-group { padding-right: 8px; }
  .sim-bar { grid-template-columns: minmax(0, 1fr); position: sticky; bottom: 0; }
  .sim-controls { flex-wrap: wrap; }
}