.zk-shell {
  --zk-bg: #101720;
  --zk-panel: #182233;
  --zk-panel-2: #202d3c;
  --zk-ink: #f4f7fb;
  --zk-muted: #bac4ce;
  --zk-line: #5fa8d3;
  --zk-good: #55d68b;
  --zk-bad: #ff6b6b;
  --zk-warn: #ffd166;
  color: var(--zk-ink);
  background:
    linear-gradient(180deg, rgba(95, 168, 211, 0.08), transparent 260px),
    var(--zk-bg);
  border-color: rgba(143, 213, 255, 0.75);
  box-shadow: inset 0 0 0 1px rgba(255, 255, 255, 0.03), 0 18px 42px rgba(0, 0, 0, 0.28);
}

.zk-hero {
  padding: 20px;
  background:
    linear-gradient(135deg, rgba(23, 64, 83, 0.82), rgba(29, 41, 59, 0.94)),
    repeating-linear-gradient(0deg, transparent 0 19px, rgba(143, 213, 255, 0.07) 20px);
  border: 1px solid rgba(143, 213, 255, 0.56);
  border-radius: 6px;
}

.zk-kicker {
  margin: 0 0 6px;
  color: var(--zk-warn);
  font-size: 0.95rem;
  text-transform: uppercase;
}

.zk-hero h2 {
  margin: 0;
  color: #8fd5ff;
  font-size: 2.2rem;
  text-shadow: 0 0 18px rgba(95, 168, 211, 0.45);
}

.zk-hero p {
  max-width: 760px;
  margin: 8px 0 0;
  color: var(--zk-muted);
}

.zk-readout {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  justify-content: flex-end;
  align-items: center;
  min-width: min(280px, 100%);
  color: var(--zk-muted);
}

.status-pill {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-height: 28px;
  padding: 4px 10px;
  border: 1px solid rgba(143, 213, 255, 0.6);
  background: rgba(10, 20, 32, 0.88);
  color: var(--zk-muted);
  font-size: 0.9rem;
  border-radius: 4px;
}

.status-pill.ok {
  border-color: var(--zk-good);
  color: var(--zk-good);
}

.status-pill.bad {
  border-color: var(--zk-bad);
  color: var(--zk-bad);
}

.zk-toolbar,
.battle-layout,
.proof-grid,
.zk-explainer {
  margin-top: 18px;
}

.zk-toolbar {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 14px;
  align-items: end;
  padding: 14px;
  background: rgba(24, 34, 51, 0.92);
  border: 1px solid rgba(93, 114, 134, 0.72);
  border-radius: 6px;
  box-shadow: 0 10px 24px rgba(0, 0, 0, 0.18);
}

.control-group {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  align-items: end;
}

.zk-toolbar label {
  display: grid;
  gap: 4px;
  color: var(--zk-muted);
}

.check-control {
  display: inline-flex !important;
  grid-template-columns: none !important;
  flex-direction: row;
  align-items: center;
  min-height: 38px;
  padding: 0 8px;
  border: 1px solid rgba(120, 149, 170, 0.36);
  border-radius: 5px;
  background: rgba(12, 21, 32, 0.55);
}

.check-control input {
  margin: 0;
}

.manual-response {
  display: grid;
  grid-template-columns: minmax(74px, 1fr) auto minmax(74px, 1fr);
  gap: 8px;
  align-items: center;
  width: min(100%, 420px);
  margin: 10px auto 0;
  padding: 8px;
  border: 1px solid rgba(255, 209, 102, 0.42);
  border-radius: 6px;
  background: rgba(10, 18, 28, 0.68);
  color: var(--zk-warn);
}

.manual-response[hidden] {
  display: none;
}

.manual-response span {
  justify-self: center;
  text-align: center;
  white-space: nowrap;
}

.zk-shell button,
.zk-shell select,
.zk-shell textarea {
  border: 1px solid rgba(120, 149, 170, 0.78);
  background: #0c1520;
  color: var(--zk-ink);
  font: inherit;
  border-radius: 5px;
}

.zk-shell button {
  min-height: 38px;
  padding: 7px 12px;
  cursor: pointer;
  box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.07);
}

.zk-shell button:hover:not(:disabled),
.zk-shell select:hover {
  border-color: #8fd5ff;
  background: #112235;
}

.zk-shell button:disabled {
  cursor: not-allowed;
  opacity: 0.55;
}

.zk-shell select {
  min-height: 38px;
  padding: 6px 28px 6px 8px;
}

#start-game:not(:disabled),
#export-transcript:not(:disabled),
#verify-transcript {
  border-color: rgba(85, 214, 139, 0.75);
  color: #dfffea;
}

.battle-layout,
.proof-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(260px, 1fr));
  gap: 18px;
}

.board-panel,
.proof-panel,
.zk-explainer {
  padding: 16px;
  background:
    linear-gradient(180deg, rgba(32, 45, 60, 0.96), rgba(22, 31, 45, 0.96)),
    var(--zk-panel);
  border: 1px solid rgba(93, 114, 134, 0.74);
  border-radius: 6px;
  box-shadow: 0 14px 26px rgba(0, 0, 0, 0.2);
}

.zk-explainer h3 {
  margin: 0 0 10px;
  color: #8fd5ff;
  font-size: 1.25rem;
}

.zk-explainer p {
  margin: 0;
  color: var(--zk-muted);
  line-height: 1.55;
}

.zk-explainer p + p {
  margin-top: 8px;
}

.panel-heading {
  display: flex;
  justify-content: space-between;
  gap: 12px;
  align-items: baseline;
  margin-bottom: 12px;
  color: var(--zk-muted);
}

.panel-heading h3 {
  margin: 0;
  color: #8fd5ff;
  font-size: 1.25rem;
}

.battle-board {
  display: grid;
  grid-template-columns: repeat(6, minmax(32px, 1fr));
  gap: 6px;
  width: min(100%, 420px);
  aspect-ratio: 1;
  margin: 0 auto;
  padding: 8px;
  background: #09131e;
  border: 1px solid rgba(143, 213, 255, 0.35);
  border-radius: 6px;
}

.cell {
  display: grid;
  place-items: center;
  width: 100%;
  aspect-ratio: 1;
  min-width: 0;
  padding: 0;
  border: 1px solid #456276;
  background:
    linear-gradient(135deg, rgba(95, 168, 211, 0.12), transparent),
    #0b3142;
  color: var(--zk-ink);
  font-weight: 700;
  border-radius: 4px;
  transition: transform 120ms ease, border-color 120ms ease, background 120ms ease;
}

.cell:hover:not(:disabled) {
  background: #14506a;
  border-color: #8fd5ff;
  transform: translateY(-1px);
}

.cell.pending-shot {
  border-color: var(--zk-warn);
  color: var(--zk-warn);
  box-shadow: 0 0 0 2px rgba(255, 209, 102, 0.28), inset 0 0 18px rgba(255, 209, 102, 0.16);
}

.cell.ship {
  background:
    linear-gradient(135deg, rgba(255, 209, 102, 0.18), transparent),
    #58616c;
  border-color: #d7dde6;
}

.cell.ship.ship-0 {
  background:
    linear-gradient(135deg, rgba(255, 209, 102, 0.34), transparent),
    #5e6048;
  border-color: #ffd166;
}

.cell.ship.ship-1 {
  background:
    linear-gradient(135deg, rgba(85, 214, 139, 0.28), transparent),
    #395d54;
  border-color: #55d68b;
}

.cell.ship.ship-2 {
  background:
    linear-gradient(135deg, rgba(255, 107, 107, 0.28), transparent),
    #5e4659;
  border-color: #ff8a8a;
}

.cell.hit {
  background: #6d1f2a;
  border-color: var(--zk-bad);
}

.cell.hit.ship-0,
.cell.hit.ship-1,
.cell.hit.ship-2 {
  box-shadow: inset 0 0 0 2px rgba(255, 255, 255, 0.14);
}

.cell.hit.sunk {
  background:
    linear-gradient(135deg, rgba(255, 209, 102, 0.22), transparent),
    #351923;
  border-color: var(--zk-warn);
  color: #ffe7a3;
}

.cell.miss {
  background: #19324b;
  border-color: var(--zk-line);
}

.root-line {
  margin: 12px 0 0;
  color: var(--zk-muted);
  overflow-wrap: anywhere;
  font-size: 0.95rem;
}

.root-line code {
  color: var(--zk-warn);
}

.proof-panel p {
  margin-top: 0;
  color: var(--zk-muted);
}

.shot-log {
  max-height: 220px;
  overflow-y: auto;
  overflow-x: hidden;
  margin: 12px 0 0;
  padding-left: 0;
  list-style-position: inside;
  color: var(--zk-muted);
}

.shot-log li {
  padding: 5px 8px;
  border-bottom: 1px solid rgba(93, 114, 134, 0.28);
}

.shot-log li + li {
  margin-top: 2px;
}

#transcript-input {
  width: 100%;
  min-height: 180px;
  resize: vertical;
  padding: 10px;
  box-sizing: border-box;
  background: #0a121c;
}

.verifier-output {
  min-height: 52px;
  margin: 12px 0 0;
  padding: 10px;
  white-space: pre-wrap;
  background: #0a121c;
  border: 1px solid rgba(93, 114, 134, 0.74);
  color: var(--zk-muted);
  border-radius: 5px;
}

.verifier-output.ok {
  border-color: var(--zk-good);
  color: var(--zk-good);
}

.verifier-output.bad {
  border-color: var(--zk-bad);
  color: var(--zk-bad);
}

@media (max-width: 760px) {
  .zk-toolbar,
  .battle-layout,
  .proof-grid {
    grid-template-columns: 1fr;
  }

  .zk-readout {
    justify-content: flex-start;
  }

  .battle-board {
    width: min(100%, 340px);
  }

  .manual-response {
    width: min(100%, 340px);
  }
}
