:root{
  --ink:#1B2430;
  --ink-2:#26324420;
  --paper:#F7F4EC;
  --paper-2:#EDE8DA;
  --amber:#E8A33D;
  --amber-dim:#C98A2A;
  --red:#C1493D;
  --slate:#4A6FA5;
  --green:#4E9A6A;
  --line:#D8D2C0;
  --mono:'IBM Plex Mono',monospace;
  --sans:'IBM Plex Sans',sans-serif;
  --radius:2px;
}

*{box-sizing:border-box;}
html,body{margin:0;padding:0;}
body{
  background:var(--paper);
  color:var(--ink);
  font-family:var(--sans);
  line-height:1.5;
}

code{
  font-family:var(--mono);
  background:var(--paper-2);
  padding:1px 5px;
  border-radius:var(--radius);
  font-size:0.85em;
}

/* ---------- topbar ---------- */
.topbar{
  display:flex;
  align-items:center;
  justify-content:space-between;
  flex-wrap:wrap;
  gap:16px;
  padding:18px 28px;
  border-bottom:2px solid var(--ink);
  background:var(--paper);
  position:sticky;
  top:0;
  z-index:20;
}
.brand{display:flex;align-items:center;gap:12px;}
.brand-mark{
  font-family:var(--mono);
  font-weight:700;
  font-size:26px;
  color:var(--paper);
  background:var(--ink);
  width:40px;height:40px;
  display:flex;align-items:center;justify-content:center;
  border-radius:var(--radius);
}
.brand-text{display:flex;flex-direction:column;line-height:1.2;}
.brand-text strong{font-family:var(--mono);font-size:15px;letter-spacing:0.12em;}
.brand-text span{font-size:12px;color:#5b5b52;}

.tabs{display:flex;gap:4px;flex-wrap:wrap;}
.tab{
  font-family:var(--mono);
  font-size:12.5px;
  background:transparent;
  border:1px solid var(--line);
  border-radius:var(--radius);
  padding:9px 14px;
  cursor:pointer;
  color:var(--ink);
  display:flex;align-items:center;gap:8px;
  transition:background .15s,color .15s,border-color .15s;
}
.tab-idx{
  font-weight:700;
  color:var(--amber-dim);
}
.tab:hover{border-color:var(--ink);}
.tab.active{
  background:var(--ink);
  color:var(--paper);
  border-color:var(--ink);
}
.tab.active .tab-idx{color:var(--amber);}

/* ---------- module layout ---------- */
#app{max-width:1280px;margin:0 auto;padding:28px;}
.module{display:none;}
.module.active{display:block;animation:fade .25s ease;}
@keyframes fade{from{opacity:0;transform:translateY(4px);}to{opacity:1;transform:translateY(0);}}

.module-head h1{
  font-family:var(--mono);
  font-size:26px;
  margin:0 0 6px 0;
  letter-spacing:-0.01em;
}
.module-head p{
  max-width:760px;
  color:#4b4b41;
  margin:0 0 22px 0;
  font-size:14.5px;
}

.panel-grid{
  display:grid;
  grid-template-columns:380px 1fr;
  gap:20px;
  align-items:start;
}
@media (max-width:880px){
  .panel-grid{grid-template-columns:1fr;}
}

.card{
  background:#fff;
  border:1px solid var(--line);
  border-radius:var(--radius);
  padding:20px;
  margin-bottom:20px;
}
.card-head{margin-bottom:10px;}
.eyebrow{
  font-family:var(--mono);
  font-size:11px;
  letter-spacing:.14em;
  text-transform:uppercase;
  color:var(--amber-dim);
  font-weight:600;
}

.field{
  display:flex;
  flex-direction:column;
  gap:6px;
  margin-bottom:14px;
  font-size:13px;
}
.field > span{color:#3a3a33;font-weight:500;}
.field input,.field select,.field textarea{
  font-family:var(--mono);
  font-size:13px;
  padding:9px 10px;
  border:1px solid var(--line);
  border-radius:var(--radius);
  background:var(--paper);
  color:var(--ink);
  resize:vertical;
}
.field input:focus,.field select:focus,.field textarea:focus{
  outline:2px solid var(--amber);
  outline-offset:1px;
  border-color:var(--amber);
}

.btn-row{display:flex;gap:8px;flex-wrap:wrap;margin-bottom:8px;}
.btn{
  font-family:var(--mono);
  font-size:12.5px;
  border:1px solid var(--ink);
  background:transparent;
  color:var(--ink);
  padding:9px 16px;
  border-radius:var(--radius);
  cursor:pointer;
  transition:background .15s,color .15s;
}
.btn:hover{background:var(--paper-2);}
.btn.primary{background:var(--ink);color:var(--paper);}
.btn.primary:hover{background:#000;}
.btn:focus-visible{outline:2px solid var(--amber);outline-offset:2px;}

.msg{font-size:12.5px;font-family:var(--mono);min-height:18px;margin-top:4px;}
.msg.ok{color:var(--green);}
.msg.err{color:var(--red);}

.divider{height:1px;background:var(--line);margin:18px 0;}

.canvas-card .svg-wrap{
  background:var(--ink);
  border-radius:var(--radius);
  margin-bottom:16px;
  overflow:auto;
}
.canvas-card svg{width:100%;height:auto;display:block;min-height:220px;}

.console{
  font-family:var(--mono);
  font-size:12.5px;
  background:var(--ink);
  color:#8FE388;
  padding:14px 16px;
  border-radius:var(--radius);
  white-space:pre-wrap;
  max-height:320px;
  overflow-y:auto;
  line-height:1.6;
}
.console .accept{color:var(--amber);font-weight:700;}
.console .reject{color:#e07a70;font-weight:700;}
.console .dim{color:#5b6b60;}

.table-wrap{overflow-x:auto;}
table.trans-table{
  width:100%;
  border-collapse:collapse;
  font-family:var(--mono);
  font-size:12.5px;
}
table.trans-table th,table.trans-table td{
  border:1px solid var(--line);
  padding:8px 10px;
  text-align:center;
}
table.trans-table th{background:var(--paper-2);}
table.trans-table td.start-marker{color:var(--slate);font-weight:700;}
table.trans-table td.accept-marker{color:var(--amber-dim);font-weight:700;}

.footer{
  text-align:center;
  font-family:var(--mono);
  font-size:11px;
  color:#7a7a6d;
  padding:22px;
  border-top:1px solid var(--line);
}

/* svg node/edge shared styles */
.node-circle{fill:var(--paper);stroke:#c9c2ac;stroke-width:2;}
.node-circle.start{stroke:var(--slate);}
.node-circle.accept{stroke:var(--amber);stroke-width:3;}
.node-circle.active{fill:var(--amber);}
.node-label{fill:var(--ink);font-family:var(--mono);font-size:13px;text-anchor:middle;dominant-baseline:middle;}
.edge-path{stroke:#5b6b60;stroke-width:1.6;fill:none;}
.edge-label{fill:#cfd6cf;font-family:var(--mono);font-size:12px;text-anchor:middle;}
.tree-node rect{fill:var(--paper);stroke:#c9c2ac;stroke-width:1.6;}
.tree-node text{fill:var(--ink);font-family:var(--mono);font-size:12px;text-anchor:middle;dominant-baseline:middle;}
.tree-edge{stroke:#5b6b60;stroke-width:1.4;}