:root{
  --bg: #0D1321;
  --panel: #172336;
  --panel-2: #1D2C45;
  --line: #2A3852;
  --text: #E8E6DE;
  --muted: #8B93A7;
  --gold: #C9A227;
  --red: #C0463C;
  --green: #4E8B5C;
}
*{box-sizing:border-box;}
body{
  margin:0;
  background:var(--bg);
  color:var(--text);
  font-family:'IBM Plex Sans', sans-serif;
  min-height:100vh;
}
.wrap{
  max-width:900px;
  margin:0 auto;
  padding:48px 24px 80px;
}
.eyebrow{
  font-family:'IBM Plex Mono', monospace;
  font-size:12px;
  letter-spacing:.16em;
  color:var(--gold);
  text-transform:uppercase;
  margin-bottom:10px;
}
h1{
  font-family:'IBM Plex Mono', monospace;
  font-size:clamp(24px, 4vw, 34px);
  font-weight:600;
  margin:0 0 8px;
  line-height:1.25;
}
.sub{
  color:var(--muted);
  font-size:15px;
  max-width:560px;
  margin:0 0 36px;
}
.panel{
  background:var(--panel);
  border:1px solid var(--line);
  border-radius:10px;
  padding:24px;
  margin-bottom:20px;
}
label{
  display:block;
  font-family:'IBM Plex Mono', monospace;
  font-size:12px;
  color:var(--muted);
  letter-spacing:.05em;
  margin-bottom:8px;
}
input[type=text]{
  width:100%;
  background:var(--bg);
  border:1px solid var(--line);
  border-radius:6px;
  color:var(--text);
  font-family:'IBM Plex Mono', monospace;
  font-size:16px;
  padding:12px 14px;
  outline:none;
}
input[type=text]:focus{ border-color:var(--gold); }

.verdict{
  margin-top:16px;
  display:flex;
  align-items:center;
  gap:12px;
  font-family:'IBM Plex Mono', monospace;
  font-size:14px;
}
.badge{
  padding:4px 12px;
  border-radius:100px;
  font-weight:600;
  letter-spacing:.03em;
}
.badge.accept{ background:rgba(78,139,92,.18); color:var(--green); border:1px solid var(--green); }
.badge.reject{ background:rgba(192,70,60,.18); color:var(--red); border:1px solid var(--red); }
.badge.idle{ background:rgba(139,147,167,.15); color:var(--muted); border:1px solid var(--line); }
.reason{ color:var(--muted); font-family:'IBM Plex Sans', sans-serif; }

h2{
  font-family:'IBM Plex Mono', monospace;
  font-size:13px;
  letter-spacing:.1em;
  text-transform:uppercase;
  color:var(--muted);
  margin:0 0 18px;
}

svg{ width:100%; height:auto; display:block; }
.node circle{
  fill:var(--panel-2);
  stroke:var(--line);
  stroke-width:2;
  transition:stroke .2s, fill .2s;
}
.node.active circle{ stroke:var(--gold); fill:rgba(201,162,39,.15); }
.node.trap.active circle{ stroke:var(--red); fill:rgba(192,70,60,.15); }
.node text{
  fill:var(--text);
  font-family:'IBM Plex Mono', monospace;
  font-size:13px;
  text-anchor:middle;
  dominant-baseline:middle;
}
.node.active text{ fill:var(--gold); }
.node.trap.active text{ fill:var(--red); }
.edge{ stroke:var(--line); stroke-width:1.5; fill:none; transition:stroke .2s, stroke-width .2s; }
.edge.active{ stroke:var(--gold); stroke-width:2.5; }
.edge.trap-edge.active{ stroke:var(--red); stroke-width:2.5; }
.edge-label{
  fill:var(--muted);
  font-family:'IBM Plex Mono', monospace;
  font-size:9.5px;
  text-anchor:middle;
}
.edge-label.active{ fill:var(--gold); }
.edge-label.trap-edge.active{ fill:var(--red); }

table{ width:100%; border-collapse:collapse; font-family:'IBM Plex Mono', monospace; font-size:13px; }
th,td{ padding:8px 10px; text-align:left; border-bottom:1px solid var(--line); }
th{ color:var(--muted); font-weight:500; font-size:11px; text-transform:uppercase; letter-spacing:.05em; }
td.state{ color:var(--gold); }
td.trap{ color:var(--red); }
.empty-note{ color:var(--muted); font-size:13px; font-family:'IBM Plex Sans', sans-serif; }

ul.rules{ margin:0; padding-left:20px; color:var(--muted); font-size:14px; line-height:1.9; }
ul.rules b{ color:var(--text); }

.footer-note{ color:var(--muted); font-size:12px; margin-top:32px; text-align:center; }