:root {
  color-scheme: dark;
  --bg: #071426;
  --surface: #0d1d33;
  --surface-2: #122944;
  --line: #25415f;
  --text: #f4f7fb;
  --muted: #a8bad0;
  --accent: #43ddd0;
  --accent-2: #4e7cff;
  --success: #52dc9b;
  --warning: #ffc766;
  --danger: #ff7186;
  font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}

* { box-sizing: border-box; }

body {
  margin: 0;
  min-height: 100vh;
  color: var(--text);
  background:
    radial-gradient(circle at 90% 0%, rgba(67, 221, 208, .12), transparent 30rem),
    linear-gradient(145deg, #071426, #0a1730 55%, #071426);
}

button, select, input { font: inherit; }

button, select, input[type="text"] {
  border: 1px solid var(--line);
  border-radius: .7rem;
  color: var(--text);
  background: #08182b;
}

button {
  padding: .72rem 1rem;
  cursor: pointer;
  font-weight: 750;
}

button:hover, button:focus-visible { border-color: var(--accent); }
button:focus-visible, select:focus-visible, input:focus-visible { outline: 3px solid rgba(67, 221, 208, .3); outline-offset: 2px; }
button.primary { color: #03211e; background: var(--accent); border-color: var(--accent); }
button:disabled { cursor: not-allowed; opacity: .45; }

.topbar {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  padding: 1rem clamp(1rem, 4vw, 4rem);
  border-bottom: 1px solid var(--line);
  background: rgba(7, 20, 38, .9);
}

.topbar a { color: var(--accent); text-decoration: none; font-weight: 750; }

main { width: min(1320px, calc(100% - 2rem)); margin: 0 auto; padding: 2rem 0 4rem; }

.hero {
  display: grid;
  grid-template-columns: minmax(0, 1.6fr) minmax(18rem, .8fr);
  gap: 1.5rem;
  align-items: end;
  margin-bottom: 1.5rem;
  padding: clamp(1.4rem, 4vw, 3rem);
  border: 1px solid var(--line);
  border-radius: 1.4rem;
  background: linear-gradient(135deg, rgba(78, 124, 255, .18), rgba(67, 221, 208, .08));
}

.eyebrow { margin: 0 0 .45rem; color: var(--accent); font-size: .78rem; font-weight: 850; letter-spacing: .12em; text-transform: uppercase; }
h1 { max-width: 18ch; margin: 0; font-size: clamp(2rem, 5vw, 4.2rem); line-height: .98; }
.hero p:not(.eyebrow) { max-width: 70ch; color: var(--muted); line-height: 1.65; }

.summary {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: .75rem;
  margin: 0;
}

.summary div, .stat {
  padding: 1rem;
  border: 1px solid var(--line);
  border-radius: 1rem;
  background: rgba(7, 20, 38, .72);
}

.summary dt, .stat small { color: var(--muted); font-size: .76rem; }
.summary dd, .stat strong { display: block; margin: .35rem 0 0; font-size: 1.2rem; font-weight: 850; }

.workspace { display: grid; grid-template-columns: minmax(15rem, .32fr) minmax(0, 1fr); gap: 1.25rem; }
.controls, .panel { border: 1px solid var(--line); border-radius: 1.2rem; background: rgba(13, 29, 51, .92); }
.controls { align-self: start; padding: 1.2rem; }
.controls h2 { margin-top: 0; }
.controls label { display: grid; gap: .45rem; margin: 1rem 0; color: var(--muted); font-weight: 700; }
.controls select, .controls input[type="text"] { width: 100%; padding: .7rem; }
.controls .actions { display: flex; flex-wrap: wrap; gap: .6rem; margin-top: 1rem; }

.stage { display: grid; gap: 1.25rem; min-width: 0; }
.panel { padding: 1.2rem; }
.panel-heading { display: flex; justify-content: space-between; gap: 1rem; align-items: start; margin-bottom: 1rem; }
.panel-heading h2 { margin: .2rem 0 0; }
.panel-heading code { color: var(--accent); }

.operation-list, .check-list, .flow { display: grid; gap: .65rem; margin: 0; padding: 0; list-style: none; }
.operation-list button { width: 100%; text-align: left; }
.operation-list button[aria-pressed="true"] { border-color: var(--accent); background: rgba(67, 221, 208, .12); }

.contract-grid, .inspectors, .test-grid, .audit-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 1rem; }
.contract-grid article, .inspectors article, .test-card, .audit-card {
  min-width: 0;
  padding: 1rem;
  border: 1px solid var(--line);
  border-radius: .9rem;
  background: #08182b;
}

.contract-grid h3, .inspectors h3, .test-card h3, .audit-card h3 { margin-top: 0; }
.method { display: inline-block; min-width: 4.4rem; padding: .24rem .5rem; border-radius: .4rem; text-align: center; background: var(--accent-2); font-weight: 850; }

pre {
  max-width: 100%;
  margin: 0;
  padding: 1rem;
  overflow: auto;
  border: 1px solid var(--line);
  border-radius: .8rem;
  color: #d8e9ff;
  background: #050e1c;
  line-height: 1.55;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}

.check-list li, .flow li {
  display: flex;
  gap: .75rem;
  align-items: center;
  padding: .8rem;
  border: 1px solid var(--line);
  border-radius: .7rem;
  background: #08182b;
}

.check-list li::before, .flow li::before { content: "○"; color: var(--muted); font-size: 1.2rem; }
.check-list li.pass::before, .flow li.active::before { content: "●"; color: var(--success); }
.check-list li.fail::before, .flow li.fail::before { content: "×"; color: var(--danger); font-weight: 900; }
.check-list li.warn::before { content: "!"; color: var(--warning); font-weight: 900; }

.status { margin: 1rem 0 0; padding: .85rem; border-radius: .7rem; color: var(--muted); background: #08182b; }
.status.success { color: var(--success); }
.status.error { color: var(--danger); }
.status.warning { color: var(--warning); }

.score { font-size: 2.2rem; font-weight: 900; color: var(--accent); }
.progress { height: .65rem; overflow: hidden; border-radius: 999px; background: #07101f; }
.progress span { display: block; width: 0; height: 100%; background: linear-gradient(90deg, var(--accent-2), var(--accent)); transition: width .25s ease; }

.tabs { display: flex; flex-wrap: wrap; gap: .5rem; margin-bottom: .75rem; }
.tabs button[aria-selected="true"] { color: #03211e; background: var(--accent); }

@media (max-width: 850px) {
  .hero, .workspace { grid-template-columns: 1fr; }
  .summary { grid-template-columns: repeat(3, minmax(0, 1fr)); }
}

@media (max-width: 590px) {
  main { width: min(100% - 1rem, 1320px); }
  .topbar, .panel-heading { align-items: stretch; flex-direction: column; }
  .summary, .contract-grid, .inspectors, .test-grid, .audit-grid { grid-template-columns: 1fr; }
}