.idea-grid {
  display: grid;
  grid-template-columns: 1fr 1fr 1fr 1fr;
  gap: 0.55rem;
  margin-bottom: 0.75rem;
}

@media (max-width: 900px) {
  .idea-grid { grid-template-columns: 1fr 1fr; }
}

@media (max-width: 520px) {
  .idea-grid { grid-template-columns: 1fr; }
}

.idea-card {
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: 0.65rem 0.75rem;
  background: var(--surface2);
  font-size: 0.88rem;
}

.idea-card h3 { margin: 0 0 0.3rem; font-size: 0.95rem; }

.bmc-controls {
  display: flex;
  flex-wrap: wrap;
  gap: 0.65rem 1rem;
  align-items: end;
  margin-bottom: 0.85rem;
}

.bmc-field {
  display: flex;
  flex-direction: column;
  gap: 0.25rem;
}

.bmc-field label {
  font-size: 0.78rem;
  font-weight: 600;
  color: var(--muted);
  text-transform: uppercase;
  letter-spacing: 0.04em;
}

.bmc-field select,
.bmc-field input {
  font-family: var(--mono);
  font-size: 0.9rem;
  padding: 0.4rem 0.55rem;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--surface);
  color: var(--ink);
  min-width: 7rem;
}

.bmc-layout {
  display: grid;
  grid-template-columns: 1.2fr 1fr;
  gap: 1rem;
  margin-bottom: 1rem;
}

@media (max-width: 900px) {
  .bmc-layout { grid-template-columns: 1fr; }
}

.panel-box {
  border: 1px solid var(--line);
  border-radius: 10px;
  padding: 0.75rem;
  background: var(--surface2);
}

.panel-box h3 { margin: 0 0 0.45rem; font-size: 0.95rem; }

.depth-labels {
  display: flex;
  justify-content: space-between;
  font-family: var(--mono);
  font-size: 0.72rem;
  color: var(--muted);
  margin-bottom: 0.35rem;
}

.depth-bar {
  display: flex;
  gap: 0.2rem;
  flex-wrap: wrap;
  margin-bottom: 0.5rem;
}

.depth-step {
  flex: 1 1 2rem;
  min-width: 2rem;
  max-width: 3rem;
  text-align: center;
  padding: 0.45rem 0.2rem;
  border-radius: 6px;
  border: 1px solid var(--line);
  background: var(--surface);
  font-family: var(--mono);
  font-size: 0.72rem;
  color: var(--muted);
}

.depth-step.in-bound {
  background: color-mix(in srgb, var(--accent) 8%, var(--surface));
}

.depth-step.out-bound {
  opacity: 0.45;
}

.depth-step.is-bug {
  border-color: color-mix(in srgb, #c80 55%, var(--line));
  box-shadow: inset 0 -3px 0 color-mix(in srgb, #c80 70%, transparent);
}

.depth-step.is-hit {
  background: color-mix(in srgb, #c44 18%, var(--surface));
  border-color: color-mix(in srgb, #c44 50%, var(--line));
  color: var(--ink);
  font-weight: 700;
}

.depth-legend {
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem;
}

.depth-legend .leg {
  font-family: var(--mono);
  font-size: 0.7rem;
  padding: 0.15rem 0.4rem;
  border-radius: 4px;
  border: 1px solid var(--line);
}

.bmc-code,
.result-box {
  font-family: var(--mono);
  font-size: 0.82rem;
  padding: 0.55rem 0.65rem;
  border-radius: 8px;
  border: 1px solid var(--line);
  background: var(--surface);
  white-space: pre-wrap;
  margin: 0 0 0.5rem;
}

.result-box.cex {
  border-color: color-mix(in srgb, #c44 45%, var(--line));
  background: color-mix(in srgb, #c44 10%, var(--surface));
}

.result-box.pass {
  border-color: color-mix(in srgb, #2a7 45%, var(--line));
  background: color-mix(in srgb, #2a7 10%, var(--surface));
}

.verdict {
  border-radius: 8px;
  padding: 0.55rem 0.75rem;
  font-size: 0.9rem;
  margin-bottom: 0.55rem;
}

.verdict.idle { background: var(--surface2); border: 1px solid var(--line); }
.verdict.yes {
  background: color-mix(in srgb, #2a7 16%, var(--surface));
  border: 1px solid color-mix(in srgb, #2a7 45%, var(--line));
}
.verdict.no {
  background: color-mix(in srgb, #c44 12%, var(--surface));
  border: 1px solid color-mix(in srgb, #c44 40%, var(--line));
}

.flag-row { display: flex; flex-wrap: wrap; gap: 0.35rem; margin-bottom: 0.65rem; }

.flag {
  font-family: var(--mono);
  font-size: 0.75rem;
  padding: 0.2rem 0.45rem;
  border-radius: 5px;
  border: 1px solid var(--line);
  background: var(--surface2);
}

.flag.is-ok {
  border-color: color-mix(in srgb, #2a7 50%, var(--line));
  background: color-mix(in srgb, #2a7 12%, var(--surface));
}

.flag.is-bad {
  border-color: color-mix(in srgb, #c44 50%, var(--line));
  background: color-mix(in srgb, #c44 10%, var(--surface));
}

.flag.is-on {
  border-color: color-mix(in srgb, var(--accent) 50%, var(--line));
}

.meta-note { margin: 0.5rem 0 0; font-size: 0.88rem; color: var(--muted); }

.code-box, .trace-box, .log-box {
  font-family: var(--mono);
  font-size: 0.78rem;
  line-height: 1.45;
  padding: 0.65rem 0.75rem;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--surface2);
  overflow-x: auto;
  white-space: pre-wrap;
  margin: 0;
  max-height: 14rem;
}