:root {
      --bg: #070a0f;
      --panel: #11161f;
      --border: #263241;
      --fg: #d8e0ea;
      --muted: #8ea1b8;
      --accent: #2fb2ff;
      --accent2: #19d8a8;
      --danger: #ff7a7a;
      --warn: #ffb347;
      --mono: "JetBrains Mono", "SFMono-Regular", Menlo, Monaco, Consolas, monospace;
      --sans: "IBM Plex Sans", "Segoe UI", Helvetica, Arial, sans-serif;
      --function-bar-h: 40px;
      --header-h: 44px;
    }
    * { box-sizing: border-box; margin: 0; padding: 0; }
    body {
      color: var(--fg);
      font-family: var(--sans);
      background:
        radial-gradient(1000px 700px at 12% -20%, #15314f 0%, rgba(21,49,79,0) 60%),
        radial-gradient(900px 650px at 100% 0%, #0f2d25 0%, rgba(15,45,37,0) 58%),
        linear-gradient(180deg, #06080c 0%, #070a0f 100%);
      min-height: 100vh;
      overflow-x: hidden;
    }

    .function-bar {
      position: sticky;
      top: 0;
      z-index: 140;
      display: flex;
      align-items: center;
      gap: 10px;
      height: var(--function-bar-h);
      padding: 6px 14px;
      border-bottom: 1px solid rgba(47,178,255,0.2);
      background:
        linear-gradient(90deg, rgba(9,14,22,0.98) 0%, rgba(11,18,29,0.96) 45%, rgba(8,13,21,0.98) 100%);
      font-family: var(--mono);
      backdrop-filter: blur(10px);
    }
    .function-label {
      font-size: 10px;
      letter-spacing: 0.14em;
      text-transform: uppercase;
      color: var(--muted);
      white-space: nowrap;
    }
    .function-input-wrap {
      position: relative;
      flex: 1;
      max-width: 540px;
    }
    .function-input {
      width: 100%;
      height: 28px;
      padding: 0 12px;
      border: 1px solid rgba(47,178,255,0.22);
      border-radius: 4px;
      background: rgba(7,11,18,0.96);
      color: var(--fg);
      font-family: var(--mono);
      font-size: 12px;
      outline: none;
    }
    .function-input::placeholder { color: rgba(142,161,184,0.72); }
    .function-input:focus {
      border-color: var(--accent);
      box-shadow: 0 0 0 1px rgba(47,178,255,0.18);
    }
    .function-dropdown {
      position: absolute;
      top: calc(100% + 6px);
      left: 0;
      right: 0;
      display: none;
      border: 1px solid var(--border);
      border-radius: 6px;
      background: rgba(11,17,27,0.98);
      box-shadow: 0 10px 30px rgba(0,0,0,0.35);
      overflow: hidden;
    }
    .function-dropdown.open { display: block; }
    .function-option {
      width: 100%;
      display: flex;
      justify-content: space-between;
      gap: 10px;
      padding: 8px 10px;
      border: 0;
      border-top: 1px solid rgba(142,161,184,0.08);
      background: transparent;
      color: var(--fg);
      font-family: var(--mono);
      font-size: 11px;
      text-align: left;
      cursor: pointer;
    }
    .function-option:first-child { border-top: 0; }
    .function-option:hover,
    .function-option.active {
      background: rgba(47,178,255,0.12);
    }
    .function-option-code {
      color: var(--accent);
      font-weight: 700;
      letter-spacing: 0.08em;
    }
    .function-option-name {
      color: var(--muted);
      overflow: hidden;
      text-overflow: ellipsis;
      white-space: nowrap;
    }
    .function-current {
      margin-left: auto;
      padding: 5px 10px;
      border: 1px solid rgba(25,216,168,0.25);
      border-radius: 999px;
      color: var(--accent2);
      background: rgba(25,216,168,0.08);
      font-size: 11px;
      letter-spacing: 0.08em;
      text-transform: uppercase;
      white-space: nowrap;
    }

    /* ---- Header ---- */
    .header {
      display: flex;
      align-items: center;
      gap: 16px;
      padding: 8px 14px;
      border-bottom: 1px solid var(--border);
      background: rgba(17,22,31,0.85);
      backdrop-filter: blur(8px);
      position: sticky;
      top: var(--function-bar-h);
      z-index: 100;
    }
    .header-page-slot {
      display: flex;
      align-items: center;
      gap: 8px;
      min-width: 0;
      overflow: hidden;
    }
    .header-page-slot:empty { display: none; }
    .header-page-slot .view-switcher { flex-shrink: 0; }
    .header-page-slot .toolbar { flex-shrink: 0; white-space: nowrap; }
    .header-title {
      font-size: 14px;
      font-weight: 600;
      letter-spacing: 0.06em;
      text-transform: uppercase;
      white-space: nowrap;
    }
    .header-spot {
      font-family: var(--mono);
      font-size: 16px;
      color: var(--accent2);
      min-width: 110px;
    }
    .sparkline-wrap {
      display: flex;
      align-items: center;
      gap: 4px;
      font-size: 11px;
      color: var(--muted);
    }
    .sparkline-wrap svg { display: block; }
    .status-pill {
      font-size: 11px;
      font-family: var(--mono);
      padding: 3px 10px;
      border-radius: 20px;
      border: 1px solid var(--border);
      white-space: nowrap;
    }
    .status-pill.connected { color: var(--accent2); border-color: var(--accent2); }
    .status-pill.connecting { color: var(--warn); border-color: var(--warn); }
    .status-pill.disconnected { color: var(--danger); border-color: var(--danger); }

    /* ---- Dockview panel content ---- */
    .dock-content {
      display: flex;
      flex-direction: column;
      height: 100%;
      overflow: hidden;
      padding: 6px 8px;
      background: color-mix(in srgb, var(--panel) 92%, black);
    }
    .panel-head {
      display: flex;
      justify-content: space-between;
      align-items: center;
      gap: 8px;
      margin-bottom: 4px;
      flex-shrink: 0;
    }
    .panel-title {
      font-size: 11px;
      letter-spacing: 0.1em;
      text-transform: uppercase;
      color: var(--muted);
    }
    .panel-title-wrap {
      display: flex;
      align-items: center;
      gap: 6px;
      min-width: 0;
    }
    .panel-info-btn {
      width: 16px;
      height: 16px;
      display: inline-flex;
      align-items: center;
      justify-content: center;
      border-radius: 999px;
      border: 1px solid rgba(142,161,184,0.45);
      background: rgba(13,20,29,0.75);
      color: var(--muted);
      font-family: var(--mono);
      font-size: 10px;
      font-weight: 700;
      line-height: 1;
      cursor: pointer;
      flex-shrink: 0;
      transition: border-color 120ms linear, color 120ms linear, background 120ms linear;
    }
    .panel-info-btn:hover {
      border-color: var(--accent);
      color: var(--accent);
      background: rgba(47,178,255,0.12);
    }
    .panel-info-btn:focus-visible {
      outline: 1px solid var(--accent);
      outline-offset: 1px;
    }
    .chart-area {
      flex: 1;
      min-height: 0;
    }

    .boros-grid {
      display: grid;
      grid-template-columns: repeat(2, minmax(0, 1fr));
      gap: 8px 10px;
      margin-bottom: 8px;
      font-size: 11px;
    }
    .boros-field {
      display: flex;
      flex-direction: column;
      gap: 4px;
      min-width: 0;
    }
    .boros-field label {
      color: var(--muted);
      font-size: 10px;
      letter-spacing: 0.08em;
      text-transform: uppercase;
    }
    .boros-field input {
      width: 100%;
      height: 28px;
      padding: 0 8px;
      border: 1px solid rgba(142,161,184,0.18);
      border-radius: 4px;
      background: #0d141d;
      color: var(--fg);
      font-family: var(--mono);
      font-size: 11px;
    }
    .boros-actions {
      display: flex;
      align-items: center;
      justify-content: space-between;
      gap: 8px;
      margin-bottom: 8px;
    }
    .boros-toolbar {
      flex-wrap: wrap;
      justify-content: flex-end;
    }
    .boros-toggle {
      display: inline-flex;
      gap: 4px;
    }
    .boros-note {
      color: var(--muted);
      font-size: 10px;
      font-family: var(--mono);
    }
    .boros-summary {
      display: grid;
      grid-template-columns: repeat(auto-fit, minmax(120px, 1fr));
      gap: 6px;
      margin-bottom: 8px;
    }
    .boros-summary-card {
      padding: 8px;
      border: 1px solid rgba(142,161,184,0.14);
      border-radius: 6px;
      background: rgba(9,14,22,0.72);
    }
    .boros-summary-card .k {
      display: block;
      color: var(--muted);
      font-size: 9px;
      letter-spacing: 0.08em;
      text-transform: uppercase;
      margin-bottom: 4px;
    }
    .boros-summary-card .v {
      font-family: var(--mono);
      font-size: 13px;
      color: var(--fg);
    }
    .boros-summary-card .v.spot {
      color: var(--accent2);
      font-size: 15px;
    }
    .boros-table td,
    .boros-table th {
      padding: 4px 0;
      white-space: nowrap;
    }
    .boros-table td:last-child,
    .boros-table th:last-child {
      text-align: right;
    }
    .boros-table-wrap {
      flex: 1;
      min-height: 0;
      overflow: auto;
      border: 1px solid rgba(142,161,184,0.15);
      border-radius: 6px;
      background: rgba(7,10,15,0.55);
      padding: 0 4px;
    }
    .boros-table-wrap th {
      position: sticky;
      top: 0;
      background: color-mix(in srgb, var(--panel) 92%, black);
      z-index: 1;
    }
    .boros-market-row { cursor: pointer; }
    .boros-market-row:hover { background: rgba(47,178,255,0.08); }
    .boros-market-row.selected { background: rgba(47,178,255,0.16); }
    .boros-chart-note {
      margin-bottom: 6px;
    }
    .boros-tenor-table-wrap {
      max-height: 120px;
      overflow: auto;
      margin: 4px 6px 0;
      font-size: 10px;
    }
    .boros-tenor-table {
      width: 100%;
      border-collapse: collapse;
      font-family: var(--mono);
    }
    .boros-tenor-table th {
      position: sticky;
      top: 0;
      background: var(--panel);
      color: var(--muted);
      text-align: right;
      padding: 2px 6px;
      border-bottom: 1px solid var(--border);
      font-weight: 500;
      white-space: nowrap;
    }
    .boros-tenor-table th:first-child { text-align: left; }
    .boros-tenor-table td {
      text-align: right;
      padding: 2px 6px;
      border-bottom: 1px solid color-mix(in srgb, var(--border) 40%, transparent);
      white-space: nowrap;
    }
    .boros-tenor-table td:first-child {
      text-align: left;
      color: var(--muted);
    }

    /* ---- Toolbar ---- */
    .toolbar {
      display: flex;
      gap: 4px;
      align-items: center;
      font-size: 11px;
      color: var(--muted);
    }
    select, .tab-btn {
      background: #0d141d;
      color: var(--fg);
      border: 1px solid var(--border);
      border-radius: 4px;
      padding: 2px 6px;
      font-family: var(--mono);
      font-size: 11px;
      cursor: pointer;
    }
    .tab-btn.active {
      background: var(--accent);
      color: #000;
      border-color: var(--accent);
    }

    /* ---- Metrics table ---- */
    .metrics-grid {
      display: grid;
      grid-template-columns: repeat(2, minmax(0, 1fr));
      gap: 3px 8px;
      font-size: 11px;
      margin-bottom: 6px;
    }
    .metrics-grid .k { color: var(--muted); }
    .metrics-grid .v { text-align: right; font-family: var(--mono); }
    .tbl-wrap {
      flex: 1;
      overflow: auto;
      min-height: 0;
    }
    table {
      width: 100%;
      border-collapse: collapse;
      font-size: 11px;
    }
    th, td {
      padding: 2px 0;
      border-bottom: 1px solid rgba(142,161,184,0.12);
      text-align: right;
      font-family: var(--mono);
    }
    th:first-child, td:first-child {
      text-align: left;
      font-family: var(--sans);
      color: var(--muted);
    }
    th { color: var(--muted); font-weight: 500; }

    /* ---- Mispricing Scanner ---- */
    .scanner-wrap {
      display: flex;
      gap: 6px;
      flex: 1;
      min-height: 0;
      overflow: hidden;
    }
    .scanner-heatmap {
      flex: 1.2;
      min-height: 0;
    }
    .scanner-table-wrap {
      flex: 1;
      overflow: auto;
      min-height: 0;
    }
    .scanner-table-wrap table {
      width: 100%;
      border-collapse: collapse;
      font-size: 10px;
    }
    .scanner-table-wrap th {
      position: sticky;
      top: 0;
      background: var(--panel);
      z-index: 1;
    }
    .scanner-table-wrap td { white-space: nowrap; }
    .edge-buy { color: var(--accent2); }
    .edge-sell { color: var(--danger); }
    .edge-strong { font-weight: 700; }
    .edge-actionable { background: rgba(25,216,168,0.08); }
    .edge-actionable.sell { background: rgba(255,122,122,0.08); }

    /* ---- Trade Flow Tape ---- */
    .tape-wrap { flex: 1; overflow: auto; min-height: 0; }
    .tape-wrap table { width: 100%; border-collapse: collapse; font-size: 10px; }
    .tape-wrap th { position: sticky; top: 0; background: var(--panel); z-index: 1; }
    .tape-wrap td { white-space: nowrap; }
    .trade-buy { color: var(--accent2); }
    .trade-sell { color: var(--danger); }
    .trade-large { font-weight: 700; }
    .flow-metrics {
      display: grid; grid-template-columns: repeat(3, 1fr);
      gap: 2px 6px; font-size: 10px; margin-bottom: 4px; flex-shrink: 0;
    }
    .flow-metrics .k { color: var(--muted); }
    .flow-metrics .v { font-family: var(--mono); text-align: right; }

    /* ---- Historical Panels ---- */
    .history-toolbar {
      display: flex;
      flex-wrap: wrap;
      align-items: center;
      gap: 4px;
      margin-bottom: 4px;
      font-size: 10px;
      color: var(--muted);
      flex-shrink: 0;
    }
    .history-toolbar select,
    .history-toolbar .tab-btn {
      font-size: 10px;
      padding: 2px 6px;
    }
    .history-toolbar .tab-btn.active {
      background: rgba(47,178,255,0.22);
      color: var(--accent);
      border-color: rgba(47,178,255,0.5);
    }
    .history-stats {
      display: grid;
      grid-template-columns: repeat(3, minmax(0, 1fr));
      gap: 2px 8px;
      font-size: 10px;
      margin-bottom: 4px;
      flex-shrink: 0;
    }
    .history-stats .k { color: var(--muted); }
    .history-stats .v { text-align: right; font-family: var(--mono); }
    .history-table-wrap {
      flex: 1;
      min-height: 0;
      overflow: auto;
      border: 1px solid rgba(142,161,184,0.15);
      border-radius: 6px;
      background: rgba(7,10,15,0.55);
      padding: 0 4px;
    }
    .history-table-wrap table {
      width: 100%;
      border-collapse: collapse;
      font-size: 10px;
    }
    .history-table-wrap th {
      position: sticky;
      top: 0;
      background: color-mix(in srgb, var(--panel) 92%, black);
      z-index: 1;
    }
    .history-table-wrap td,
    .history-table-wrap th {
      white-space: nowrap;
      font-family: var(--mono);
      padding: 3px 0;
      border-bottom: 1px solid rgba(142,161,184,0.12);
      text-align: right;
    }
    .history-table-wrap td:first-child,
    .history-table-wrap th:first-child {
      text-align: left;
      font-family: var(--sans);
    }
    .hist-buy { color: #22c55e; }
    .hist-sell { color: #ef4444; }
    .history-chart-wrap {
      flex: 1;
      min-height: 0;
      position: relative;
      border: 1px solid rgba(142,161,184,0.18);
      border-radius: 6px;
      background: #070a0f;
      overflow: hidden;
    }
    .history-chart {
      display: block;
      width: 100%;
      height: 100%;
    }
    .history-tooltip {
      position: absolute;
      pointer-events: none;
      z-index: 5;
      padding: 5px 7px;
      border-radius: 4px;
      border: 1px solid rgba(142,161,184,0.35);
      background: rgba(7,10,15,0.94);
      color: var(--fg);
      font-size: 10px;
      font-family: var(--mono);
      white-space: nowrap;
      display: none;
    }
    .history-empty {
      color: var(--muted);
      font-size: 11px;
      text-align: center;
      font-family: var(--mono);
    }

    /* ---- Strategy Builder ---- */
    .strategy-split { display: flex; gap: 6px; flex: 1; min-height: 0; overflow: hidden; }
    .strategy-legs { flex: 0 0 40%; overflow: auto; min-height: 0; display: flex; flex-direction: column; }
    .strategy-legs table { width: 100%; border-collapse: collapse; font-size: 10px; }
    .strategy-legs th { position: sticky; top: 0; background: var(--panel); z-index: 1; }
    .strategy-chart { flex: 1; min-height: 0; display: flex; flex-direction: column; }
    .strategy-chart .chart-area { flex: 1; min-height: 0; }
    .slider-row { display: flex; gap: 8px; align-items: center; font-size: 10px; color: var(--muted); padding: 2px 0; flex-shrink: 0; }
    .slider-row input[type="range"] { flex: 1; accent-color: var(--accent); height: 14px; }
    .slider-row .slider-val { font-family: var(--mono); min-width: 50px; text-align: right; }
    .net-greeks {
      display: grid; grid-template-columns: repeat(4, 1fr);
      gap: 2px 6px; font-size: 10px; margin: 4px 0; padding: 3px 4px;
      background: rgba(47,178,255,0.05); border-radius: 4px;
    }
    .net-greeks .k { color: var(--muted); }
    .net-greeks .v { font-family: var(--mono); text-align: right; }
    .template-btns { display: flex; flex-wrap: wrap; gap: 3px; margin-bottom: 4px; }
    .template-btns .tab-btn { font-size: 9px; padding: 1px 5px; }

    /* ---- Vol Cone ---- */
    .volcone-metrics {
      display: grid; grid-template-columns: repeat(2, 1fr);
      gap: 2px 8px; font-size: 10px; margin-bottom: 4px; flex-shrink: 0;
    }
    .volcone-metrics .k { color: var(--muted); }
    .volcone-metrics .v { font-family: var(--mono); text-align: right; }

    /* ---- Funding ---- */
    .funding-metrics {
      display: grid; grid-template-columns: repeat(3, 1fr);
      gap: 2px 6px; font-size: 10px; margin-bottom: 4px; flex-shrink: 0;
    }
    .funding-metrics .k { color: var(--muted); }
    .funding-metrics .v { font-family: var(--mono); text-align: right; }

    /* ---- OTC Pricer ---- */
    .pricer-wrap {
      display: grid;
      grid-template-columns: minmax(270px, 0.95fr) minmax(320px, 1.35fr);
      gap: 8px;
      flex: 1;
      min-height: 0;
      overflow: hidden;
    }
    .pricer-col {
      display: flex;
      flex-direction: column;
      gap: 6px;
      min-height: 0;
      overflow: auto;
      padding-right: 2px;
    }
    .pricer-card {
      border: 1px solid rgba(142,161,184,0.2);
      border-radius: 6px;
      padding: 6px;
      background: rgba(0,0,0,0.2);
      font-size: 10px;
    }
    .pricer-card h4 {
      font-size: 10px;
      letter-spacing: 0.08em;
      text-transform: uppercase;
      color: var(--accent);
      margin: 0 0 5px 0;
    }
    .pricer-grid {
      display: grid;
      grid-template-columns: repeat(2, minmax(0, 1fr));
      gap: 4px 8px;
      align-items: center;
    }
    .pricer-grid label {
      color: var(--muted);
      text-transform: lowercase;
    }
    .pricer-grid select,
    .pricer-grid input[type="number"],
    .pricer-grid input[type="text"] {
      width: 100%;
      background: #0d141d;
      color: var(--fg);
      border: 1px solid var(--border);
      border-radius: 4px;
      padding: 2px 5px;
      font-size: 10px;
      font-family: var(--mono);
    }
    .pricer-radio-row {
      display: flex;
      flex-wrap: wrap;
      gap: 4px;
    }
    .pricer-radio-row .tab-btn {
      font-size: 10px;
      padding: 2px 7px;
    }
    .pricer-kv {
      display: grid;
      grid-template-columns: minmax(0, 1fr) minmax(120px, auto);
      gap: 3px 8px;
      font-size: 10px;
    }
    .pricer-kv .k { color: var(--muted); text-transform: lowercase; }
    .pricer-kv .v { text-align: right; font-family: var(--mono); }
    .pricer-table-wrap {
      max-height: 260px;
      overflow: auto;
      border: 1px solid rgba(142,161,184,0.12);
      border-radius: 4px;
      padding: 0 4px;
    }
    .pricer-table-wrap th {
      position: sticky;
      top: 0;
      background: color-mix(in srgb, var(--panel) 92%, black);
      z-index: 1;
    }
    .pricer-snapshots {
      display: flex;
      flex-direction: column;
      gap: 4px;
      max-height: 120px;
      overflow: auto;
      font-size: 10px;
      font-family: var(--mono);
    }
    .pricer-snapshots .row {
      display: flex;
      justify-content: space-between;
      gap: 8px;
      border-bottom: 1px solid rgba(142,161,184,0.12);
      padding-bottom: 2px;
    }
    .pricer-msg {
      min-height: 12px;
      color: var(--muted);
      font-size: 10px;
    }
    .kalshi-toolbar-pill {
      display: inline-flex;
      align-items: center;
      padding: 2px 6px;
      border: 1px solid rgba(47,178,255,0.18);
      border-radius: 999px;
      color: var(--muted);
      font-family: var(--mono);
      font-size: 10px;
    }
    .kalshi-grid {
      display: grid;
      grid-template-columns: auto minmax(0, 1fr);
      gap: 8px 10px;
      margin-bottom: 10px;
      font-size: 11px;
      align-items: center;
    }
    .kalshi-grid label {
      color: var(--muted);
      font-size: 10px;
      letter-spacing: 0.08em;
      text-transform: uppercase;
    }
    .kalshi-grid select,
    .kalshi-grid input {
      width: 100%;
      min-width: 0;
      height: 28px;
      padding: 0 8px;
      border: 1px solid rgba(142,161,184,0.18);
      border-radius: 4px;
      background: #0d141d;
      color: var(--fg);
      font-family: var(--mono);
      font-size: 11px;
    }
    .kalshi-check {
      display: inline-flex;
      align-items: center;
      gap: 6px;
      color: var(--fg);
      text-transform: none !important;
      letter-spacing: normal !important;
      font-size: 11px !important;
    }
    .kalshi-kv {
      margin-bottom: 8px;
    }
    .kalshi-status {
      min-height: 16px;
      margin-bottom: 8px;
      color: var(--accent2);
      font-size: 10px;
      font-family: var(--mono);
    }
    .kalshi-note {
      color: var(--muted);
      font-size: 10px;
      line-height: 1.45;
    }
    .kalshi-table-wrap {
      flex: 1;
      min-height: 0;
      overflow: auto;
      border: 1px solid rgba(142,161,184,0.12);
      border-radius: 6px;
      background: rgba(9,14,22,0.64);
    }
    .kalshi-table-wrap table {
      width: 100%;
      border-collapse: collapse;
      font-size: 11px;
      font-family: var(--mono);
    }
    .kalshi-table-wrap th {
      position: sticky;
      top: 0;
      background: color-mix(in srgb, var(--panel) 92%, black);
      color: var(--muted);
      text-transform: uppercase;
      letter-spacing: 0.08em;
      font-size: 9px;
      z-index: 1;
    }
    .kalshi-table-wrap td,
    .kalshi-table-wrap th {
      padding: 6px 8px;
      border-bottom: 1px solid rgba(142,161,184,0.08);
      text-align: right;
      white-space: nowrap;
    }
    .kalshi-table-wrap td:first-child,
    .kalshi-table-wrap th:first-child {
      text-align: left;
    }
    .kalshi-empty-cell {
      color: var(--muted);
      font-size: 11px;
      text-align: center !important;
      padding: 24px 12px !important;
    }
    .kalshi-empty {
      display: flex;
      align-items: center;
      justify-content: center;
      color: var(--muted);
      font-size: 11px;
      min-height: 100%;
      padding: 24px 12px;
    }
    @media (max-width: 1080px) {
      .pricer-wrap {
        grid-template-columns: 1fr;
      }
    }

    /* ---- DSL Market ---- */
    .dsl-market-wrap {
      display: flex;
      flex-direction: column;
      gap: 8px;
      flex: 1;
      min-height: 0;
      overflow: auto;
      padding-right: 2px;
    }
    .dsl-market-section {
      border: 1px solid rgba(142,161,184,0.18);
      border-radius: 6px;
      padding: 7px;
      background: color-mix(in srgb, var(--panel) 88%, black);
    }
    .dsl-market-section-title {
      margin: 0 0 6px 0;
      font-size: 10px;
      letter-spacing: 0.08em;
      text-transform: uppercase;
      color: var(--muted);
    }
    .dsl-market-assets {
      display: grid;
      gap: 6px;
    }
    .dsl-market-asset-row {
      display: grid;
      grid-template-columns: minmax(64px, auto) repeat(3, minmax(0, 1fr));
      gap: 6px;
      align-items: center;
    }
    .dsl-market-asset-name {
      color: var(--fg);
      font-family: var(--mono);
      font-size: 11px;
      font-weight: 600;
      overflow: hidden;
      text-overflow: ellipsis;
      white-space: nowrap;
    }
    .dsl-market-field {
      display: grid;
      grid-template-columns: auto minmax(0, 1fr);
      gap: 4px;
      align-items: center;
      min-width: 0;
    }
    .dsl-market-field span {
      color: var(--muted);
      font-size: 10px;
      text-transform: lowercase;
    }
    .dsl-market-field input,
    .dsl-market-config-grid input,
    .dsl-market-corr-table input {
      width: 100%;
      background: #0d141d;
      color: var(--fg);
      border: 1px solid var(--border);
      border-radius: 4px;
      padding: 2px 5px;
      font-size: 10px;
      line-height: 1.2;
      font-family: var(--mono);
      min-width: 0;
      box-sizing: border-box;
    }
    .dsl-market-config-grid {
      display: grid;
      grid-template-columns: minmax(60px, auto) minmax(0, 1fr);
      gap: 5px 8px;
      align-items: center;
      font-size: 10px;
    }
    .dsl-market-config-grid label {
      color: var(--muted);
      text-transform: lowercase;
    }
    .dsl-market-corr-wrap {
      overflow: auto;
    }
    .dsl-market-corr-table {
      width: 100%;
      border-collapse: collapse;
      table-layout: fixed;
      font-size: 10px;
    }
    .dsl-market-corr-table th,
    .dsl-market-corr-table td {
      padding: 3px;
      border-bottom: 1px solid rgba(255,255,255,0.04);
      text-align: center;
      vertical-align: middle;
    }
    .dsl-market-corr-table thead th {
      color: var(--muted);
      font-weight: 500;
      background: rgba(255,255,255,0.02);
      position: sticky;
      top: 0;
      z-index: 1;
    }
    .dsl-market-corr-table tbody th {
      color: var(--fg);
      font-family: var(--mono);
      font-weight: 600;
      text-align: left;
      background: rgba(255,255,255,0.02);
      position: sticky;
      left: 0;
      z-index: 1;
    }
    .dsl-market-corr-table input[readonly] {
      background: rgba(255,255,255,0.06);
      color: var(--muted);
      text-align: center;
      cursor: default;
    }
    .dsl-market-note {
      font-size: 10px;
      color: var(--muted);
      font-family: var(--mono);
    }
    @media (max-width: 900px) {
      .dsl-market-asset-row {
        grid-template-columns: 1fr;
      }
    }
    /* ---- Dockview theme overrides ---- */
    .dockview-theme-abyss {
      --dv-group-view-background-color: var(--panel);
      --dv-tabs-and-actions-container-background-color: color-mix(in srgb, var(--panel) 70%, black);
      --dv-separator-border: var(--border);
      --dv-activegroup-visiblepanel-tab-background-color: var(--panel);
      --dv-activegroup-hiddenpanel-tab-background-color: transparent;
      --dv-inactivegroup-visiblepanel-tab-background-color: color-mix(in srgb, var(--panel) 50%, black);
      --dv-inactivegroup-hiddenpanel-tab-background-color: transparent;
      --dv-activegroup-visiblepanel-tab-color: var(--fg);
      --dv-activegroup-hiddenpanel-tab-color: var(--muted);
      --dv-inactivegroup-visiblepanel-tab-color: var(--muted);
      --dv-inactivegroup-hiddenpanel-tab-color: var(--muted);
      --dv-tab-divider-color: var(--border);
      --dv-drag-over-background-color: rgba(47,178,255,0.1);
      --dv-drag-over-border-color: var(--accent);
    }

    /* ---- View Switcher ---- */
    .view-switcher {
      display: flex;
      gap: 2px;
      padding: 2px;
      background: rgba(0,0,0,0.3);
      border-radius: 6px;
      border: 1px solid var(--border);
    }
    .view-switcher .tab-btn {
      font-size: 10px;
      padding: 3px 10px;
      border-radius: 4px;
      border: none;
    }
    .mode-badge {
      font-size: 10px;
      font-family: var(--mono);
      border-radius: 999px;
      padding: 3px 8px;
      border: 1px solid var(--border);
      letter-spacing: 0.02em;
      text-transform: uppercase;
    }
    .mode-badge.calibrated { color: var(--accent2); border-color: rgba(25,216,168,0.8); }
    .mode-badge.manual { color: var(--warn); border-color: rgba(255,179,71,0.85); }
    .mode-badge.hybrid { color: var(--accent); border-color: rgba(47,178,255,0.85); }

    /* ---- Surface Config ---- */
    .surfacecfg-wrap {
      display: flex;
      flex-direction: column;
      gap: 6px;
      flex: 1;
      min-height: 0;
      overflow: auto;
      padding-right: 2px;
    }
    .surfacecfg-grid {
      display: grid;
      grid-template-columns: repeat(2, minmax(0, 1fr));
      gap: 4px 8px;
      font-size: 10px;
      align-items: center;
    }
    .surfacecfg-grid label { color: var(--muted); text-transform: lowercase; }
    .surfacecfg-grid select,
    .surfacecfg-grid input[type="number"],
    .surfacecfg-grid input[type="text"] {
      width: 100%;
      background: #0d141d;
      color: var(--fg);
      border: 1px solid var(--border);
      border-radius: 4px;
      padding: 2px 5px;
      font-size: 10px;
      font-family: var(--mono);
    }
    .surfacecfg-row {
      display: flex;
      align-items: center;
      gap: 6px;
      font-size: 10px;
      color: var(--muted);
    }
    .surfacecfg-row .tab-btn {
      font-size: 10px;
      padding: 2px 6px;
    }
    .surfacecfg-table {
      width: 100%;
      border-collapse: collapse;
      font-size: 10px;
    }
    .surfacecfg-table th,
    .surfacecfg-table td {
      padding: 2px 0;
      border-bottom: 1px solid rgba(142,161,184,0.1);
      text-align: left;
      font-family: var(--mono);
    }
    .surfacecfg-table th { color: var(--muted); font-weight: 500; }
    .surfacecfg-table td:last-child { text-align: right; }
    .surfacecfg-advanced {
      border: 1px solid rgba(142,161,184,0.18);
      border-radius: 6px;
      padding: 5px;
      background: rgba(0,0,0,0.2);
    }
    .surfacecfg-msg {
      min-height: 12px;
      font-size: 10px;
      color: var(--muted);
    }

    /* ---- Panel Info Modal ---- */
    body.panel-info-open { overflow: hidden; }
    .panel-info-modal-backdrop {
      position: fixed;
      inset: 0;
      z-index: 4000;
      display: none;
      align-items: center;
      justify-content: center;
      background: rgba(3,7,12,0.72);
      padding: 20px;
    }
    .panel-info-modal-backdrop.open { display: flex; }
    .panel-info-modal {
      width: min(860px, 92vw);
      max-height: 88vh;
      border-radius: 10px;
      border: 1px solid var(--border);
      background: color-mix(in srgb, var(--panel) 94%, black);
      box-shadow: 0 20px 48px rgba(0,0,0,0.55);
      display: flex;
      flex-direction: column;
      overflow: hidden;
    }
    .panel-info-head {
      display: flex;
      align-items: center;
      justify-content: space-between;
      gap: 8px;
      padding: 10px 12px;
      border-bottom: 1px solid rgba(142,161,184,0.2);
      background: rgba(0,0,0,0.2);
    }
    .panel-info-head h2 {
      margin: 0;
      font-size: 13px;
      letter-spacing: 0.08em;
      text-transform: uppercase;
      color: var(--fg);
    }
    .panel-info-close {
      font-size: 10px;
      padding: 2px 7px;
    }
    .panel-info-content {
      overflow: auto;
      padding: 10px 12px 12px;
      display: flex;
      flex-direction: column;
      gap: 10px;
    }
    .panel-info-live {
      display: grid;
      grid-template-columns: repeat(2, minmax(0, 1fr));
      gap: 4px 10px;
      padding: 8px;
      border-radius: 6px;
      border: 1px solid rgba(142,161,184,0.22);
      background: rgba(9,14,21,0.72);
      font-size: 10px;
    }
    .panel-info-live-item {
      display: flex;
      justify-content: space-between;
      gap: 8px;
      min-width: 0;
      line-height: 1.35;
    }
    .panel-info-live-item .k {
      color: var(--muted);
      text-transform: lowercase;
      white-space: nowrap;
      flex-shrink: 0;
    }
    .panel-info-live-item .v {
      color: var(--fg);
      font-family: var(--mono);
      text-align: right;
      overflow-wrap: anywhere;
    }
    .panel-info-section {
      border: 1px solid rgba(142,161,184,0.18);
      border-radius: 6px;
      padding: 8px 9px;
      background: rgba(0,0,0,0.2);
      font-size: 11px;
      line-height: 1.4;
    }
    .panel-info-section h3 {
      margin: 0 0 6px 0;
      font-size: 10px;
      letter-spacing: 0.08em;
      text-transform: uppercase;
      color: var(--accent);
    }
    .panel-info-section p {
      margin: 0;
      color: var(--fg);
    }
    .panel-info-list {
      margin: 0;
      padding-left: 16px;
      display: grid;
      gap: 3px;
      color: var(--fg);
    }
    .panel-info-code {
      font-family: var(--mono);
      font-size: 10px;
      color: #b9d3f0;
      overflow-wrap: anywhere;
    }
    @media (max-width: 780px) {
      .panel-info-modal { width: 96vw; max-height: 92vh; }
      .panel-info-live { grid-template-columns: 1fr; }
    }

    /* ===== DSL Editor Panels ===== */
    .dsl-toolbar { display: flex; align-items: center; gap: 8px; padding: 6px 10px; border-bottom: 1px solid var(--border); flex-shrink: 0; }
    .dsl-toolbar select, .dsl-toolbar input, .dsl-toolbar button { font-size: 11px; background: var(--bg-panel); color: var(--fg); border: 1px solid var(--border); border-radius: 3px; padding: 3px 6px; }
    .dsl-toolbar button { cursor: pointer; background: var(--accent); color: #fff; border-color: var(--accent); font-weight: 600; }
    .dsl-toolbar button:hover { filter: brightness(1.15); }
    .dsl-toolbar label { font-size: 10px; color: var(--fg-dim); display: flex; align-items: center; gap: 3px; }
    .dsl-editor-container { flex: 1; min-height: 0; }
    .dsl-status-bar { display: flex; align-items: center; gap: 8px; padding: 3px 10px; border-top: 1px solid var(--border); font-size: 10px; color: var(--fg-dim); flex-shrink: 0; }
    .dsl-status-bar .status-ok { color: var(--green); }
    .dsl-status-bar .status-err { color: var(--red); }
    .dsl-status-bar .status-computing { color: var(--accent); }

    .dsl-result-panel { padding: 10px; overflow-y: auto; font-size: 11px; }
    .dsl-result-panel h3 { margin: 0 0 6px; font-size: 12px; color: var(--accent); font-weight: 600; }
    .dsl-result-panel .dsl-section { margin-bottom: 14px; }
    .dsl-result-panel .dsl-price-display { font-size: 20px; font-weight: 700; color: var(--fg); }
    .dsl-result-panel .dsl-stderr { font-size: 11px; color: var(--fg-dim); margin-left: 6px; }
    .dsl-result-panel table { width: 100%; border-collapse: collapse; font-size: 10px; }
    .dsl-result-panel th { text-align: left; color: var(--fg-dim); padding: 3px 6px; border-bottom: 1px solid var(--border); font-weight: 500; }
    .dsl-result-panel td { padding: 3px 6px; border-bottom: 1px solid rgba(255,255,255,0.03); font-variant-numeric: tabular-nums; }
    .dsl-result-panel .dsl-product-info { display: grid; grid-template-columns: auto 1fr; gap: 2px 10px; }
    .dsl-result-panel .dsl-product-info dt { color: var(--fg-dim); }
    .dsl-result-panel .dsl-product-info dd { margin: 0; }
    .dsl-result-panel .dsl-market-info { display: grid; grid-template-columns: auto 1fr; gap: 2px 10px; margin-top: 4px; }
    .dsl-result-panel .dsl-market-info dt { color: var(--fg-dim); font-size: 10px; }
    .dsl-result-panel .dsl-market-info dd { margin: 0; font-size: 10px; }
    /* Powered-by footer */
    .powered-by {
      position: fixed; bottom: 0; left: 0; right: 0;
      height: 24px; display: flex; align-items: center; justify-content: center; gap: 6px;
      background: rgba(10,12,16,0.85); backdrop-filter: blur(4px);
      border-top: 1px solid rgba(255,255,255,0.06);
      font-size: 11px; color: rgba(255,255,255,0.35); z-index: 9999;
      letter-spacing: 0.3px;
    }
    .powered-by a {
      color: rgba(47,178,255,0.7); text-decoration: none; font-weight: 500;
    }
    .powered-by a:hover { color: #2fb2ff; text-decoration: underline; }
    .powered-by .version { color: rgba(255,255,255,0.2); font-size: 10px; }

    @media (max-width: 1100px) {
      .boros-grid,
      .boros-summary {
        grid-template-columns: 1fr;
      }
    }