@import url('https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:ital,wght@0,400;0,500;0,600;1,400&family=IBM+Plex+Sans:wght@300;400;500;600&display=swap');

    :root {
      --bg: #0e1117;
      --surface: #161b27;
      --card: #1c2333;
      --border: #2a3348;
      --accent: #f5a623;
      --accent2: #00d4ff;
      --success: #2ecc71;
      --danger: #e74c3c;
      --warn: #f39c12;
      --purple: #8b5cf6;
      --text: #d0d8f0;
      --muted: #5a6480;
      --mono: 'IBM Plex Mono', monospace;
      --sans: 'IBM Plex Sans', sans-serif;
      --map-bg: #0a0d14;
      --map-grid: #1a2235;
    }

    body.light {
      --bg: #f4f6fb;
      --surface: #ffffff;
      --card: #eef1f8;
      --border: #d0d8e8;
      --text: #1a2340;
      --muted: #7a8aaa;
      --map-bg: #e8ecf5;
      --map-grid: #c8d0e0;
    }

    * {
      box-sizing: border-box;
      margin: 0;
      padding: 0;
    }

    body {
      background: var(--bg);
      color: var(--text);
      font-family: var(--sans);
      font-size: 14px;
      min-height: 100vh;
      display: flex;
      flex-direction: column;
    }

    header {
      background: var(--surface);
      border-bottom: 1px solid var(--border);
      padding: 0 24px;
      height: 56px;
      display: flex;
      align-items: center;
      justify-content: space-between;
      position: sticky;
      top: 0;
      z-index: 100;
    }

    .logo {
      display: flex;
      align-items: center;
      gap: 12px;
    }

    .logo-icon {
      width: 32px;
      height: 32px;
      border-radius: 6px;
      display: flex;
      align-items: center;
      justify-content: center;
      font-size: 16px;
    }

    .logo-text {
      font-family: var(--mono);
      font-weight: 600;
      font-size: 15px;
      letter-spacing: .5px;
    }

    .logo-sub {
      font-size: 11px;
      color: var(--muted);
      font-family: var(--mono);
      margin-top: 1px;
    }

    .hbadges {
      display: flex;
      gap: 8px;
      align-items: center;
    }

    .badge {
      padding: 3px 10px;
      border-radius: 100px;
      font-size: 11px;
      font-family: var(--sans);
      font-weight: 600;
    }

    .bo {
      background: rgba(245, 166, 35, .15);
      color: var(--accent);
      border: 1px solid rgba(245, 166, 35, .3);
    }

    .bb {
      background: rgba(0, 212, 255, .12);
      color: var(--accent2);
      border: 1px solid rgba(0, 212, 255, .25);
    }

    .bg {
      background: rgba(46, 204, 113, .12);
      color: var(--success);
      border: 1px solid rgba(46, 204, 113, .3);
    }

    .br {
      background: rgba(231, 76, 60, .12);
      color: var(--danger);
      border: 1px solid rgba(231, 76, 60, .3);
    }

    .bw {
      background: rgba(243, 156, 18, .12);
      color: var(--warn);
      border: 1px solid rgba(243, 156, 18, .3);
    }

    .bp {
      background: rgba(139, 92, 246, .12);
      color: var(--purple);
      border: 1px solid rgba(139, 92, 246, .3);
    }

    .shell {
      display: flex;
      flex: 1;
      height: calc(100vh - 56px);
      overflow: hidden;
    }

    .sidebar {
      width: 224px;
      flex-shrink: 0;
      background: var(--surface);
      border-right: 1px solid var(--border);
      display: flex;
      flex-direction: column;
      padding: 16px 0;
      overflow-y: auto;
    }

    .nav-section {
      padding: 0 8px 16px;
    }

    .nav-label {
      font-size: 10px;
      text-transform: uppercase;
      letter-spacing: 1.5px;
      color: var(--muted);
      padding: 0 8px 6px;
      font-weight: 600;
    }

    .nav-item {
      display: flex;
      align-items: center;
      gap: 10px;
      padding: 9px 12px;
      border-radius: 7px;
      cursor: pointer;
      font-size: 13px;
      color: var(--muted);
      transition: all .15s;
      margin-bottom: 2px;
      user-select: none;
    }

    .nav-item:hover {
      background: var(--card);
      color: var(--text);
    }

    .nav-item.active {
      background: rgba(245, 166, 35, .12);
      color: var(--accent);
      font-weight: 500;
    }

    .nav-item .icon {
      font-size: 15px;
      width: 20px;
      text-align: center;
    }

    .nav-divider {
      border: none;
      border-top: 1px solid var(--border);
      margin: 8px 16px;
    }

    .main {
      flex: 1;
      overflow-y: auto;
      padding: 24px;
      display: flex;
      flex-direction: column;
      gap: 20px;
    }

    .panel {
      display: none;
      flex-direction: column;
      gap: 16px;
    }

    .panel.active {
      display: flex;
    }

    .card {
      background: var(--card);
      border: 1px solid var(--border);
      border-radius: 10px;
      overflow: hidden;
    }

    .card-head {
      padding: 14px 18px;
      border-bottom: 1px solid var(--border);
      display: flex;
      align-items: center;
      justify-content: space-between;
      flex-wrap: wrap;
      gap: 8px;
    }

    .card-title {
      font-weight: 600;
      font-size: 13px;
      display: flex;
      align-items: center;
      gap: 8px;
    }

    .card-body {
      padding: 18px;
    }

    .drop-zone {
      border: 2px dashed var(--border);
      border-radius: 10px;
      padding: 40px;
      text-align: center;
      cursor: pointer;
      transition: all .2s;
    }

    .drop-zone:hover,
    .drop-zone.drag-over {
      border-color: var(--accent);
      background: rgba(245, 166, 35, .05);
    }

    .btn {
      padding: 8px 16px;
      border-radius: 7px;
      border: none;
      cursor: pointer;
      font-size: 13px;
      font-weight: 500;
      font-family: var(--sans);
      transition: all .15s;
      display: inline-flex;
      align-items: center;
      gap: 6px;
    }

    .btn-primary {
      background: var(--accent);
      color: #111;
    }

    .btn-primary:hover {
      background: #f0b43a;
    }

    .btn-secondary {
      background: var(--border);
      color: var(--text);
    }

    .btn-secondary:hover {
      background: #3a4560;
    }

    .btn-success {
      background: rgba(46, 204, 113, .15);
      color: var(--success);
      border: 1px solid rgba(46, 204, 113, .3);
    }

    .btn-success:hover {
      background: rgba(46, 204, 113, .25);
    }

    .btn-danger {
      background: rgba(231, 76, 60, .15);
      color: var(--danger);
      border: 1px solid rgba(231, 76, 60, .3);
    }

    .btn-danger:hover {
      background: rgba(231, 76, 60, .25);
    }

    .btn-warn {
      background: rgba(243, 156, 18, .15);
      color: var(--warn);
      border: 1px solid rgba(243, 156, 18, .3);
    }

    .btn-sm {
      padding: 5px 10px;
      font-size: 12px;
    }

    .btn-xs {
      padding: 3px 8px;
      font-size: 11px;
      border-radius: 5px;
    }

    .fg {
      display: grid;
      grid-template-columns: repeat(auto-fill, minmax(200px, 1fr));
      gap: 12px;
    }

    .fg-group {
      display: flex;
      flex-direction: column;
      gap: 5px;
    }

    .fg-label {
      font-size: 11px;
      font-weight: 600;
      text-transform: uppercase;
      letter-spacing: .8px;
      color: var(--muted);
    }

    .fc {
      background: var(--bg);
      border: 1px solid var(--border);
      border-radius: 6px;
      color: var(--text);
      padding: 8px 10px;
      font-size: 13px;
      font-family: var(--sans);
      transition: border-color .15s;
      width: 100%;
    }

    .fc:focus {
      outline: none;
      border-color: var(--accent);
    }

    select.fc option {
      background: var(--surface);
    }

    .tbl-wrap {
      overflow-x: auto;
    }

    table {
      width: 100%;
      border-collapse: collapse;
      font-family: var(--mono);
      font-size: 12px;
    }

    th {
      background: var(--surface);
      padding: 9px 12px;
      text-align: left;
      font-size: 10px;
      text-transform: uppercase;
      letter-spacing: 1px;
      color: var(--muted);
      font-weight: 600;
      border-bottom: 1px solid var(--border);
      white-space: nowrap;
    }

    td {
      padding: 7px 10px;
      border-bottom: 1px solid rgba(42, 51, 72, .5);
      color: var(--text);
      vertical-align: middle;
    }

    tr:last-child td {
      border-bottom: none;
    }

    tr:hover td {
      background: rgba(255, 255, 255, .02);
    }

    td input {
      background: transparent;
      border: 1px solid transparent;
      border-radius: 4px;
      color: var(--text);
      font-family: var(--mono);
      font-size: 12px;
      padding: 3px 6px;
      width: 100%;
      min-width: 70px;
    }

    td input:focus {
      outline: none;
      border-color: var(--accent);
      background: var(--surface);
    }

    .rc {
      color: var(--accent2);
      font-weight: 500;
    }

    .re {
      color: var(--success);
    }

    .sdot {
      width: 8px;
      height: 8px;
      border-radius: 50%;
      display: inline-block;
      margin-right: 6px;
    }

    .dot-ok {
      background: var(--success);
      box-shadow: 0 0 6px var(--success);
    }

    .dot-warn {
      background: var(--accent);
      box-shadow: 0 0 6px var(--accent);
    }

    .dot-err {
      background: var(--danger);
      box-shadow: 0 0 6px var(--danger);
    }

    .dot-idle {
      background: var(--muted);
    }

    .alert {
      padding: 12px 16px;
      border-radius: 8px;
      font-size: 13px;
      display: flex;
      align-items: flex-start;
      gap: 10px;
      line-height: 1.6;
    }

    .ai {
      background: rgba(0, 212, 255, .08);
      border: 1px solid rgba(0, 212, 255, .2);
      color: var(--accent2);
    }

    .as {
      background: rgba(46, 204, 113, .08);
      border: 1px solid rgba(46, 204, 113, .2);
      color: var(--success);
    }

    .aw {
      background: rgba(245, 166, 35, .08);
      border: 1px solid rgba(245, 166, 35, .2);
      color: var(--accent);
    }

    .ae {
      background: rgba(231, 76, 60, .08);
      border: 1px solid rgba(231, 76, 60, .2);
      color: var(--danger);
    }

    .stat-row {
      display: grid;
      grid-template-columns: repeat(auto-fill, minmax(150px, 1fr));
      gap: 12px;
    }

    .stat-box {
      background: var(--surface);
      border: 1px solid var(--border);
      border-radius: 8px;
      padding: 14px 16px;
    }

    .stat-val {
      font-family: var(--mono);
      font-size: 22px;
      font-weight: 600;
      margin-bottom: 3px;
    }

    .stat-label {
      font-size: 11px;
      color: var(--muted);
      text-transform: uppercase;
      letter-spacing: .8px;
    }

    .gsi-raw {
      background: var(--bg);
      border: 1px solid var(--border);
      border-radius: 8px;
      padding: 14px;
      font-family: var(--mono);
      font-size: 11px;
      color: #8a9abb;
      max-height: 200px;
      overflow-y: auto;
      white-space: pre;
      line-height: 1.7;
    }

    .dl-grid {
      display: grid;
      grid-template-columns: repeat(auto-fill, minmax(180px, 1fr));
      gap: 10px;
    }

    .dl-card {
      background: var(--surface);
      border: 1px solid var(--border);
      border-radius: 8px;
      padding: 14px 16px;
      display: flex;
      flex-direction: column;
      gap: 10px;
      transition: border-color .15s;
    }

    .dl-card:hover {
      border-color: var(--accent);
    }

    ::-webkit-scrollbar {
      width: 5px;
      height: 5px;
    }

    ::-webkit-scrollbar-track {
      background: transparent;
    }

    ::-webkit-scrollbar-thumb {
      background: var(--border);
      border-radius: 10px;
    }

    .flex-row {
      display: flex;
      align-items: center;
      gap: 10px;
      flex-wrap: wrap;
    }

    .spacer {
      flex: 1;
    }

    .text-mono {
      font-family: var(--mono);
    }

    .text-muted {
      color: var(--muted);
    }

    .text-acc {
      color: var(--accent);
    }

    .text-blue {
      color: var(--accent2);
    }

    .text-green {
      color: var(--success);
    }

    .text-red {
      color: var(--danger);
    }

    .text-warn {
      color: var(--warn);
    }

    .hidden {
      display: none !important;
    }

    .mt8 {
      margin-top: 8px;
    }

    .mt12 {
      margin-top: 12px;
    }

    .tag {
      display: inline-block;
      padding: 2px 7px;
      border-radius: 4px;
      font-size: 10px;
      font-family: var(--mono);
      font-weight: 600;
    }

    .tag-obs {
      background: rgba(0, 212, 255, .1);
      color: var(--accent2);
    }

    .tag-ad {
      background: rgba(139, 92, 246, .1);
      color: var(--purple);
    }

    .tag-link {
      background: rgba(46, 204, 113, .1);
      color: var(--success);
    }

    .tag-unk {
      background: rgba(243, 156, 18, .1);
      color: var(--warn);
    }

    .tag-err {
      background: rgba(231, 76, 60, .1);
      color: var(--danger);
    }

    .progress-bar {
      height: 4px;
      background: var(--border);
      border-radius: 2px;
      overflow: hidden;
    }

    .progress-fill {
      height: 100%;
      background: var(--accent);
      border-radius: 2px;
      transition: width .4s ease;
    }

    .stn-tag {
      display: inline-block;
      padding: 1px 6px;
      border-radius: 3px;
      font-size: 10px;
      font-family: var(--mono);
      font-weight: 700;
    }

    .formula-box {
      background: var(--bg);
      border: 1px solid var(--border);
      border-radius: 6px;
      padding: 12px 16px;
      font-family: var(--mono);
      font-size: 12px;
      line-height: 2;
      margin-top: 8px;
    }

    .fk {
      color: var(--accent);
    }

    .fv {
      color: var(--accent2);
    }

    .fc2 {
      color: var(--muted);
    }

    .map-wrap {
      position: relative;
      border: 1px solid var(--border);
      border-radius: 8px;
      overflow: hidden;
      background: var(--map-bg);
    }

    #mapPlot {
      width: 100%;
      height: 520px;
    }

    #leafletMap {
      width: 100%;
      height: 520px;
      display: none;
      border-radius: 8px;
    }

    .map-tip {
      position: absolute;
      background: #1c2333ee;
      border: 1px solid var(--border);
      border-radius: 6px;
      padding: 8px 12px;
      font-size: 11px;
      font-family: var(--mono);
      pointer-events: none;
      display: none;
      z-index: 10;
      white-space: nowrap;
      color: var(--text);
    }

    .map-legend {
      display: flex;
      gap: 16px;
      flex-wrap: wrap;
      font-size: 11px;
      font-family: var(--mono);
      margin-top: 8px;
    }

    .leg-item {
      display: flex;
      align-items: center;
      gap: 5px;
    }

    .leg-dot {
      width: 10px;
      height: 10px;
      border-radius: 50%;
      flex-shrink: 0;
    }

    /* basemap selector strip */
    .basemap-strip {
      display: flex;
      gap: 8px;
      flex-wrap: wrap;
      align-items: center;
      padding: 10px 16px;
      background: var(--card);
      border: 1px solid var(--border);
      border-radius: 8px;
    }

    .basemap-btn {
      padding: 5px 12px;
      border-radius: 20px;
      border: 1px solid var(--border);
      background: var(--surface);
      color: var(--muted);
      font-size: 11px;
      font-family: var(--mono);
      cursor: pointer;
      transition: all .15s;
    }

    .basemap-btn:hover {
      border-color: var(--accent);
      color: var(--text);
    }

    .basemap-btn.active {
      background: var(--accent);
      color: #111;
      border-color: var(--accent);
      font-weight: 700;
    }

    /* Leaflet tooltip override */
    .lf-tooltip {
      background: #1c2333 !important;
      border: 1px solid #2a3348 !important;
      color: #d0d8f0 !important;
      font-family: 'IBM Plex Mono', monospace !important;
      font-size: 11px !important;
      padding: 6px 10px !important;
      border-radius: 6px !important;
      box-shadow: 0 4px 16px rgba(0, 0, 0, .5) !important;
    }

    .leaflet-tooltip.lf-tooltip::before {
      display: none !important;
    }

    .cp-row {
      display: grid;
      grid-template-columns: 110px 1fr 1fr 1fr 28px;
      gap: 6px;
      align-items: center;
      margin-bottom: 4px;
    }

    .cp-in {
      padding: 5px 8px;
      background: var(--bg);
      border: 1px solid var(--border);
      border-radius: 5px;
      color: var(--text);
      font-family: var(--mono);
      font-size: 12px;
      width: 100%;
    }

    .cp-in:focus {
      outline: none;
      border-color: var(--accent);
    }

    .cp-del {
      background: rgba(231, 76, 60, .15);
      border: 1px solid rgba(231, 76, 60, .3);
      color: var(--danger);
      border-radius: 4px;
      cursor: pointer;
      font-size: 13px;
      padding: 0;
      width: 26px;
      height: 26px;
      line-height: 26px;
      text-align: center;
    }

    .cp-del:hover {
      background: rgba(231, 76, 60, .3);
    }

    .net-row {
      background: var(--surface);
      border: 1px solid var(--border);
      border-radius: 8px;
      padding: 12px 16px;
      margin-bottom: 8px;
    }

    .net-stn {
      font-family: var(--mono);
      font-weight: 700;
      font-size: 14px;
      color: var(--accent);
      margin-bottom: 8px;
      display: flex;
      align-items: center;
      gap: 8px;
    }

    .link-row {
      background: rgba(46, 204, 113, .05);
      border: 1px solid rgba(46, 204, 113, .2);
    }

    .adj-row {
      background: rgba(243, 156, 18, .05);
      border: 1px solid rgba(243, 156, 18, .2);
    }

    footer {
      background: var(--surface);
      border-top: 1px solid var(--border);
      padding: 8px 24px;
      font-size: 11px;
      color: var(--muted);
      display: flex;
      align-items: center;
      justify-content: space-between;
      font-family: var(--mono);
    }

    #stepProgress {
      padding: 12px 16px;
      display: flex;
      flex-direction: column;
      gap: 5px;
      font-size: 11px;
      color: var(--muted);
    }

    .sp-item {
      display: flex;
      align-items: center;
      gap: 6px;
    }

    /* progress bar in sidebar */
    .sidebar-progress-wrap {
      padding: 0 16px 12px;
    }

    .sidebar-progress-bar {
      height: 4px;
      background: var(--border);
      border-radius: 2px;
      overflow: hidden;
      margin-top: 6px;
    }

    .sidebar-progress-fill {
      height: 100%;
      background: linear-gradient(90deg, var(--accent), var(--success));
      border-radius: 2px;
      transition: width .45s ease;
    }

    .sidebar-progress-label {
      font-size: 10px;
      font-family: var(--mono);
      color: var(--muted);
      display: flex;
      justify-content: space-between;
      margin-top: 4px;
    }

    /* obs table delete button */
    .obs-del {
      background: rgba(231, 76, 60, .15);
      border: 1px solid rgba(231, 76, 60, .3);
      color: var(--danger);
      border-radius: 4px;
      cursor: pointer;
      font-size: 12px;
      padding: 2px 6px;
      white-space: nowrap;
    }

    .obs-del:hover {
      background: rgba(231, 76, 60, .3);
    }

    /* network chain display */
    .chain-box {
      font-family: var(--mono);
      font-size: 12px;
      background: var(--bg);
      border: 1px solid var(--border);
      border-radius: 6px;
      padding: 10px 14px;
      line-height: 2;
    }

    .chain-known {
      color: var(--success);
      font-weight: 600;
    }

    .chain-derived {
      color: var(--accent2);
    }

    .chain-arrow {
      color: var(--muted);
    }

    /* ── Audit Modal ───────────────────────────────────────── */
    #auditOverlay {
      position: fixed;
      inset: 0;
      background: rgba(0, 0, 0, .75);
      z-index: 9000;
      display: flex;
      align-items: center;
      justify-content: center;
      backdrop-filter: blur(4px);
    }

    #auditOverlay.hidden {
      display: none !important;
    }

    #auditModal {
      background: var(--surface);
      border: 1px solid var(--border);
      border-radius: 14px;
      width: min(900px, 96vw);
      max-height: 90vh;
      display: flex;
      flex-direction: column;
      overflow: hidden;
      box-shadow: 0 32px 80px rgba(0, 0, 0, .6);
    }

    .audit-header {
      padding: 18px 24px;
      border-bottom: 1px solid var(--border);
      display: flex;
      align-items: center;
      gap: 14px;
      flex-shrink: 0;
    }

    .audit-phase-badge {
      background: var(--accent);
      color: #111;
      font-family: var(--sans);
      font-weight: 700;
      font-size: 11px;
      padding: 4px 12px;
      border-radius: 20px;
      white-space: nowrap;
    }

    .audit-title {
      font-size: 16px;
      font-weight: 600;
      flex: 1;
    }

    .audit-subtitle {
      font-size: 12px;
      color: var(--muted);
      margin-top: 2px;
    }

    .audit-stepper {
      display: flex;
      align-items: center;
      gap: 0;
      padding: 0 24px;
      border-bottom: 1px solid var(--border);
      background: var(--card);
      flex-shrink: 0;
      overflow-x: auto;
    }

    .audit-step {
      display: flex;
      align-items: center;
      gap: 6px;
      padding: 12px 16px;
      font-size: 11px;
      font-family: var(--mono);
      color: var(--muted);
      white-space: nowrap;
      position: relative;
      cursor: default;
      transition: color .2s;
    }

    .audit-step.done {
      color: var(--success);
    }

    .audit-step.active {
      color: var(--accent);
      font-weight: 700;
    }

    .audit-step.active::after {
      content: '';
      position: absolute;
      bottom: 0;
      left: 0;
      right: 0;
      height: 2px;
      background: var(--accent);
    }

    .audit-step-num {
      width: 20px;
      height: 20px;
      border-radius: 50%;
      border: 1.5px solid currentColor;
      display: flex;
      align-items: center;
      justify-content: center;
      font-size: 10px;
      font-weight: 700;
      flex-shrink: 0;
    }

    .audit-step-sep {
      color: var(--border);
      font-size: 18px;
      padding: 0 2px;
    }

    .audit-body {
      flex: 1;
      overflow-y: auto;
      padding: 24px;
    }

    .audit-section {
      margin-bottom: 24px;
    }

    .audit-section-title {
      font-size: 11px;
      font-weight: 700;
      text-transform: uppercase;
      letter-spacing: 1.2px;
      color: var(--muted);
      margin-bottom: 12px;
      display: flex;
      align-items: center;
      gap: 8px;
    }

    .audit-section-title::after {
      content: '';
      flex: 1;
      height: 1px;
      background: var(--border);
    }

    .audit-obs-card {
      background: var(--card);
      border: 1px solid var(--border);
      border-radius: 10px;
      overflow: hidden;
      margin-bottom: 14px;
    }

    .audit-obs-head {
      padding: 10px 16px;
      background: var(--surface);
      border-bottom: 1px solid var(--border);
      display: flex;
      align-items: center;
      gap: 10px;
      flex-wrap: wrap;
    }

    .audit-obs-title {
      font-family: var(--mono);
      font-weight: 700;
      font-size: 13px;
    }

    .audit-formula {
      background: var(--bg);
      border: 1px solid var(--border);
      border-radius: 6px;
      padding: 14px 18px;
      font-family: var(--mono);
      font-size: 12px;
      line-height: 2.2;
    }

    .af-row {
      display: flex;
      align-items: baseline;
      gap: 8px;
      flex-wrap: wrap;
    }

    .af-label {
      color: var(--muted);
      min-width: 240px;
      flex-shrink: 0;
    }

    .af-eq {
      color: var(--border);
    }

    .af-val {
      color: var(--accent2);
      font-weight: 600;
    }

    .af-result {
      color: var(--accent);
      font-weight: 700;
    }

    .af-unit {
      color: var(--muted);
      font-size: 10px;
    }

    .af-formula {
      color: var(--purple);
      font-size: 11px;
    }

    .af-sep {
      border-top: 1px solid var(--border);
      margin: 8px 0;
    }

    .af-highlight {
      background: rgba(245, 166, 35, .08);
      border-left: 3px solid var(--accent);
      padding-left: 12px;
      margin-left: -12px;
      border-radius: 0 4px 4px 0;
    }

    .af-ok {
      color: var(--success);
    }

    .af-warn {
      color: var(--warn);
    }

    .af-err {
      color: var(--danger);
    }

    .audit-nav {
      padding: 16px 24px;
      border-top: 1px solid var(--border);
      display: flex;
      align-items: center;
      gap: 10px;
      flex-shrink: 0;
      background: var(--card);
    }

    .audit-nav-info {
      flex: 1;
      font-size: 12px;
      color: var(--muted);
      font-family: var(--mono);
    }

    .audit-approve-btn {
      background: var(--success);
      color: #fff;
      padding: 10px 28px;
      font-size: 14px;
      font-weight: 600;
      border: none;
      border-radius: 8px;
      cursor: pointer;
      display: flex;
      align-items: center;
      gap: 8px;
      transition: all .15s;
    }

    .audit-approve-btn:hover {
      background: #27b860;
      transform: translateY(-1px);
    }

    .audit-approve-btn:disabled {
      background: var(--muted);
      cursor: not-allowed;
      transform: none;
    }

    .audit-skip-btn {
      background: transparent;
      color: var(--muted);
      border: 1px solid var(--border);
      padding: 10px 20px;
      font-size: 13px;
      border-radius: 8px;
      cursor: pointer;
      transition: all .15s;
    }

    .audit-skip-btn:hover {
      color: var(--text);
      border-color: var(--text);
    }

    .audit-abort-btn {
      background: transparent;
      color: var(--danger);
      border: 1px solid rgba(231, 76, 60, .3);
      padding: 10px 16px;
      font-size: 13px;
      border-radius: 8px;
      cursor: pointer;
    }

    .audit-abort-btn:hover {
      background: rgba(231, 76, 60, .1);
    }

    .audit-phase-bar {
      height: 3px;
      background: var(--border);
      flex-shrink: 0;
    }

    .audit-phase-fill {
      height: 100%;
      background: linear-gradient(90deg, var(--accent), var(--accent2));
      transition: width .5s ease;
    }

    .audit-complete {
      text-align: center;
      padding: 40px 20px;
    }

    .audit-complete-icon {
      font-size: 56px;
      margin-bottom: 16px;
    }

    .audit-summary-grid {
      display: grid;
      grid-template-columns: repeat(auto-fill, minmax(180px, 1fr));
      gap: 10px;
      margin: 20px 0;
    }

    .audit-sum-box {
      background: var(--card);
      border: 1px solid var(--border);
      border-radius: 8px;
      padding: 14px 16px;
      text-align: left;
    }

    .audit-sum-val {
      font-family: var(--mono);
      font-size: 20px;
      font-weight: 700;
      margin-bottom: 4px;
    }

    .audit-sum-lbl {
      font-size: 11px;
      color: var(--muted);
      text-transform: uppercase;
      letter-spacing: .8px;
    }

    .nav-btn-audit {
      background: rgba(139, 92, 246, .15);
      color: var(--purple);
      border: 1px solid rgba(139, 92, 246, .3);
      padding: 8px 14px;
      border-radius: 7px;
      cursor: pointer;
      font-size: 12px;
      font-family: var(--sans);
      font-weight: 500;
      display: inline-flex;
      align-items: center;
      gap: 6px;
      transition: all .15s;
    }

    .nav-btn-audit:hover {
      background: rgba(139, 92, 246, .25);
    }

    /* ── Job management ──────────────────────────────────────────────────────── */
    .job-modal-overlay {
      position: fixed;
      inset: 0;
      background: rgba(0, 0, 0, .72);
      z-index: 8000;
      display: flex;
      align-items: center;
      justify-content: center;
      backdrop-filter: blur(3px);
    }

    .job-modal-overlay.hidden {
      display: none !important;
    }

    .job-modal {
      background: var(--surface);
      border: 1px solid var(--border);
      border-radius: 12px;
      width: min(580px, 95vw);
      max-height: 80vh;
      display: flex;
      flex-direction: column;
      overflow: hidden;
      box-shadow: 0 24px 60px rgba(0, 0, 0, .6);
    }

    .job-modal-head {
      padding: 18px 22px;
      border-bottom: 1px solid var(--border);
      display: flex;
      align-items: center;
      justify-content: space-between;
      flex-shrink: 0;
    }

    .job-modal-title {
      font-size: 15px;
      font-weight: 700;
    }

    .job-modal-body {
      padding: 20px 22px;
      overflow-y: auto;
      flex: 1;
    }

    .job-list {
      display: flex;
      flex-direction: column;
      gap: 8px;
      margin-top: 12px;
    }

    .job-item {
      background: var(--card);
      border: 1px solid var(--border);
      border-radius: 8px;
      padding: 12px 16px;
      display: flex;
      align-items: center;
      gap: 12px;
      transition: border-color .15s;
    }

    .job-item:hover {
      border-color: var(--accent);
    }

    .job-item-load {
      flex: 1;
      cursor: pointer;
      min-width: 0;
    }

    .job-item-name {
      font-weight: 600;
      font-size: 13px;
      font-family: var(--mono);
    }

    .job-item-meta {
      font-size: 11px;
      color: var(--muted);
      margin-top: 3px;
    }

    .job-item-del {
      background: rgba(231, 76, 60, .12);
      border: 1px solid rgba(231, 76, 60, .25);
      color: var(--danger);
      border-radius: 5px;
      padding: 4px 10px;
      cursor: pointer;
      font-size: 12px;
      flex-shrink: 0;
      font-family: var(--sans);
    }

    .job-item-del:hover {
      background: rgba(231, 76, 60, .25);
    }

    .job-name-row {
      display: flex;
      gap: 8px;
      margin-bottom: 14px;
    }

    .job-name-input {
      background: var(--bg);
      border: 1px solid var(--border);
      border-radius: 7px;
      color: var(--text);
      padding: 9px 12px;
      font-size: 13px;
      font-family: var(--mono);
      flex: 1;
    }

    .job-name-input:focus {
      outline: none;
      border-color: var(--accent);
    }

    .btn-job {
      background: rgba(245, 166, 35, .12);
      color: var(--accent);
      border: 1px solid rgba(245, 166, 35, .25);
      padding: 7px 14px;
      border-radius: 7px;
      cursor: pointer;
      font-size: 12px;
      font-weight: 600;
      font-family: var(--sans);
      display: inline-flex;
      align-items: center;
      gap: 5px;
      transition: all .15s;
    }

    .btn-job:hover {
      background: rgba(245, 166, 35, .22);
    }

    .btn-clear {
      background: rgba(231, 76, 60, .1);
      color: var(--danger);
      border: 1px solid rgba(231, 76, 60, .25);
      padding: 7px 14px;
      border-radius: 7px;
      cursor: pointer;
      font-size: 12px;
      font-weight: 600;
      font-family: var(--sans);
      display: inline-flex;
      align-items: center;
      gap: 5px;
      transition: all .15s;
    }

    .btn-clear:hover {
      background: rgba(231, 76, 60, .2);
    }

    /* step-done nav style */
    .nav-item.step-done {
      color: var(--success);
    }

    /* ── Help / Math formula display ───────────────────────── */
    .formula-box {
      background: #0a0d14;
      border: 1px solid var(--border);
      border-left: 4px solid var(--accent2);
      border-radius: 8px;
      padding: 16px 18px;
      font-family: 'IBM Plex Mono', monospace;
      font-size: 13px;
      display: flex;
      flex-direction: column;
      gap: 6px;
      color: var(--text);
    }

    .formula-box .fk {
      color: var(--muted);
      font-size: 11px;
      text-transform: uppercase;
      letter-spacing: .7px;
      margin-top: 4px;
    }

    .formula-box .fv {
      color: var(--accent2);
      font-weight: 600;
      font-size: 14px;
    }

    .formula-box .fc2 {
      color: var(--muted);
      font-size: 12px;
      font-style: italic;
    }

    .af-sep {
      height: 1px;
      background: var(--border);
      margin: 6px 0;
    }