:root {
  --bg: #0b0b0c;
  --bg2: #141416;
  --panel: #17171a;
  --border: #2a2a2f;
  --text: #e8e8ea;
  --muted: #a1a1a8;
  --accent: #ff7a18;
  --accent-soft: #ffa14a;
  --error: #d1544a;
  --ok: #ffa14a;
}
* { box-sizing: border-box; }
html, body { margin: 0; padding: 0; }
body {
  background: var(--bg);
  color: var(--text);
  font-family: "Segoe UI", system-ui, sans-serif;
  min-height: 100vh;
}
header { padding: 14px 20px 4px; }
h1 {
  margin: 0;
  font-size: 26px;
  letter-spacing: 2px;
  color: var(--accent);
  text-shadow: 2px 2px 0 #000000aa;
  font-family: "Courier New", monospace;
}
.subtitle { margin: 4px 0 0; color: var(--muted); font-size: 13px; }

#formula-bar {
  padding: 10px 20px;
  background: var(--bg2);
  border-top: 1px solid var(--border);
  border-bottom: 1px solid var(--border);
  margin-top: 10px;
}
#formula-bar .row { display: flex; align-items: center; gap: 8px; flex-wrap: wrap; }
#formula-bar label { color: var(--muted); font-size: 13px; }
#preset {
  background: var(--panel); color: var(--text);
  border: 1px solid var(--border); border-radius: 4px; padding: 6px;
  font-size: 13px;
}
#formula-input {
  flex: 1; min-width: 260px;
  background: #0b0b0c; color: var(--text);
  border: 1px solid var(--border); border-radius: 4px;
  padding: 8px 10px;
  font-family: "Courier New", monospace; font-size: 14px;
}
#generate-btn {
  background: var(--accent); color: #0b0b0c;
  font-weight: bold; border: none; border-radius: 4px;
  padding: 8px 14px; cursor: pointer; font-size: 14px;
}
#generate-btn:hover { filter: brightness(1.1); }
.hint { margin-top: 6px; font-size: 12px; color: var(--muted); }
.hint code { background: #0b0b0c; padding: 1px 4px; border-radius: 3px; color: var(--accent-soft); }
.error { margin-top: 8px; color: var(--error); font-size: 13px; font-family: monospace; }
.verdict { margin-top: 8px; font-size: 13px; }
.verdict .true { color: var(--ok); font-weight: bold; }
.verdict .false { color: var(--error); font-weight: bold; }
.hidden { display: none !important; }

main { display: flex; gap: 0; align-items: stretch; }
#game-wrap {
  position: relative;
  flex: 1;
  min-width: 0;
  height: calc(100vh - 190px);
  min-height: 380px;
  background: #0b0b0c;
}
#game { display: block; width: 100%; height: 100%; image-rendering: pixelated; }

#hud {
  position: absolute; top: 8px; left: 8px;
  display: flex; gap: 6px; align-items: center;
  background: rgba(11, 11, 12, 0.85); border: 1px solid var(--border);
  border-radius: 6px; padding: 5px 8px;
  font-size: 13px;
}
#hud button {
  background: var(--panel); color: var(--text);
  border: 1px solid var(--border); border-radius: 4px;
  padding: 3px 8px; cursor: pointer; font-size: 13px;
}
#hud button:hover { background: #26262b; }
#zoom-label { color: var(--muted); min-width: 24px; text-align: center; }
#move-counter { color: var(--muted); margin-left: 4px; }

#dpad {
  position: absolute; right: 12px; bottom: 12px;
  display: none;
  flex-direction: column; align-items: center; gap: 4px;
  opacity: 0.85;
}
#dpad div { display: flex; gap: 4px; }
#dpad button {
  width: 44px; height: 44px; font-size: 18px;
  background: rgba(30, 30, 34, 0.87); color: var(--text);
  border: 1px solid var(--border); border-radius: 8px;
  touch-action: manipulation;
}
@media (pointer: coarse) { #dpad { display: flex; } }

#tooltip {
  position: absolute; pointer-events: none;
  background: rgba(11, 11, 12, 0.94); border: 1px solid var(--accent);
  border-radius: 5px; padding: 6px 9px;
  font-size: 12px; max-width: 260px; z-index: 20;
  box-shadow: 0 4px 14px #000a;
}
#tooltip .tt-title { font-weight: bold; margin-bottom: 2px; }

#win-overlay {
  position: absolute; inset: 0;
  background: #000a; display: flex;
  align-items: center; justify-content: center; z-index: 30;
}
.win-box {
  background: var(--panel); border: 2px solid var(--accent);
  border-radius: 10px; padding: 28px 40px; text-align: center;
  box-shadow: 0 0 40px rgba(255, 122, 24, 0.25);
}
.win-title {
  font-size: 26px; color: var(--accent);
  font-family: "Courier New", monospace; letter-spacing: 3px;
}
.win-sub { color: var(--muted); margin: 10px 0 18px; }
#win-restart {
  background: var(--accent); color: #0b0b0c; border: none; border-radius: 5px;
  padding: 9px 18px; font-weight: bold; cursor: pointer; font-size: 14px;
}

#panel {
  width: 300px; flex: 0 0 300px;
  background: var(--panel);
  border-left: 1px solid var(--border);
  padding: 12px 14px;
  overflow-y: auto;
  height: calc(100vh - 190px);
  min-height: 380px;
  font-size: 13px;
}
#panel h2 {
  font-size: 13px; text-transform: uppercase; letter-spacing: 1px;
  color: var(--accent); margin: 14px 0 6px;
  border-bottom: 1px solid var(--border); padding-bottom: 3px;
}
#panel h2:first-child { margin-top: 0; }
.help { margin: 0; padding-left: 18px; }
.help li { margin-bottom: 4px; }
.small { color: var(--muted); font-size: 12px; line-height: 1.5; margin: 0; }
.true-txt { color: var(--ok); font-weight: bold; }
.false-txt { color: var(--error); font-weight: bold; }

.chip {
  display: inline-block; border-radius: 3px; padding: 0 5px;
  font-family: monospace; font-size: 12px; font-weight: bold;
}
.plate-chip { background: #3a2410; color: #ffa14a; border: 1px solid #7a4a18; }
.plate-chip.minus { background: #232326; color: #a1a1a8; border: 1px solid #3a3a41; }
.door-chip { background: #1e1e22; color: #d0d0d6; border: 1px solid #4a4a52; }

#assignment .var-row, #door-list .door-group { margin-bottom: 6px; }
.var-name { font-family: monospace; font-weight: bold; }
.var-val-true { color: var(--ok); font-weight: bold; }
.var-val-false { color: var(--error); font-weight: bold; }
.var-val-unset { color: var(--muted); }

.door-group { line-height: 1.9; }
.door-dot {
  display: inline-block;
  min-width: 20px; height: 18px; line-height: 16px;
  border-radius: 3px; text-align: center;
  font-family: monospace; font-size: 11px; font-weight: bold;
  margin-right: 3px; padding: 0 2px;
  border: 1px solid #000;
  cursor: default;
}
.door-dot.closed { filter: saturate(0.45) brightness(0.55); }