.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; }

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

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

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

.find-field select {
  font-family: var(--mono);
  font-size: 0.9rem;
  padding: 0.4rem 0.55rem;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--surface);
  min-width: 11rem;
}

.find-check {
  font-family: var(--mono);
  font-size: 0.82rem;
  display: flex;
  align-items: center;
  gap: 0.35rem;
  padding: 0.35rem 0.5rem;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--surface2);
}

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

@media (max-width: 900px) { .find-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; }

.ladder { display: flex; flex-direction: column; gap: 0.35rem; }

.ladder-rung {
  display: grid;
  grid-template-columns: 3rem 1fr 3rem;
  gap: 0.5rem;
  align-items: center;
  padding: 0.4rem 0.55rem;
  border-radius: 8px;
  border: 1px solid var(--line);
  font-family: var(--mono);
  font-size: 0.78rem;
  background: var(--surface);
}

.ladder-rung.is-ok {
  border-color: color-mix(in srgb, #2a7 45%, var(--line));
  background: color-mix(in srgb, #2a7 10%, var(--surface));
}

.ladder-rung.is-bad {
  border-color: color-mix(in srgb, #c80 45%, var(--line));
  background: color-mix(in srgb, #c80 10%, var(--surface));
}

.ladder-rung .k { color: var(--muted); }
.ladder-rung .st { text-align: right; font-weight: 700; }

.proof-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;
}

.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.warn {
  background: color-mix(in srgb, #c80 12%, var(--surface));
  border: 1px solid color-mix(in srgb, #c80 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));
}

.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;
}

.find-visual {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 1rem;
  margin-bottom: 1rem;
}

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

.card-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 0.55rem; }
@media (max-width: 520px) { .card-grid { grid-template-columns: 1fr; } }

.proof-card {
  border: 1px solid var(--line);
  border-radius: 10px;
  padding: 0.65rem 0.75rem;
  background: var(--surface);
  font-family: var(--mono);
  font-size: 0.78rem;
}

.proof-card .pc-head {
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  margin-bottom: 0.35rem;
}

.proof-card .pc-title { font-weight: 700; font-size: 0.82rem; }

.proof-card .pc-badge {
  font-size: 0.72rem;
  padding: 0.12rem 0.4rem;
  border-radius: 5px;
  border: 1px solid var(--line);
}

.proof-card.is-ok {
  border-color: color-mix(in srgb, #2a7 45%, var(--line));
  background: color-mix(in srgb, #2a7 10%, var(--surface));
}

.proof-card.is-ok .pc-badge {
  border-color: color-mix(in srgb, #2a7 50%, var(--line));
  background: color-mix(in srgb, #2a7 14%, var(--surface));
}

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

.proof-card.is-bad .pc-badge {
  border-color: color-mix(in srgb, #c44 50%, var(--line));
  background: color-mix(in srgb, #c44 12%, var(--surface));
}

.proof-card .pc-formula { font-size: 0.9rem; margin: 0.25rem 0; }
.proof-card .pc-detail { color: var(--muted); font-size: 0.74rem; line-height: 1.4; }

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

.result-box {
  font-family: var(--mono);
  font-size: 0.78rem;
  padding: 0.5rem 0.6rem;
  border-radius: 8px;
  border: 1px solid var(--line);
  background: var(--surface);
  white-space: pre-wrap;
  margin-top: 0.5rem;
}

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

.result-box.fail {
  border-color: color-mix(in srgb, #c44 40%, var(--line));
  background: color-mix(in srgb, #c44 8%, var(--surface));
}