:root {color-scheme: light dark; --bg:#f4f6fa; --surface:#fff; --text:#20283c; --accent:#2056b0; --border:#a0aac0;} :root[data-theme=dark] {--bg:#141a28;--surface:#20283c;--text:#e1e8fa;--accent:#9abfff;--border:#56627b;color-scheme:dark;} body {margin:0;background:var(--bg);color:var(--text);font:16px/1.6 system-ui,sans-serif;} #site-nav {position:relative;z-index:10;background:var(--surface);padding:12px;border-bottom:1px solid var(--border);} nav {display:flex;gap:16px;flex-wrap:wrap;align-items:center;} a {color:var(--accent);} body[data-page] main {max-width:1000px;margin:auto;padding:24px;} textarea {display:block;box-sizing:border-box;width:100%;background:var(--surface);color:var(--text);padding:16px;font:15px/1.5 monospace;border:1px solid var(--border);} pre {white-space:pre-wrap;overflow-wrap:anywhere;} button,select {padding:8px;margin:8px 4px;background:var(--surface);color:var(--text);border:1px solid var(--border);border-radius:6px;} .version-badge {font-size:12px;}

:root {--surface2:var(--surface);--text-dim:var(--text);--green:#398047;--red:#c42c4a;--cyan:var(--accent);--purple:#9464ce;--mono:monospace;}

@scope (body[data-page="visualizer"]) {

    * { margin: 0; padding: 0; box-sizing: border-box; }
    body {
      font-family: 'Consolas', 'Monaco', 'Courier New', monospace;
      background: #1a1b26;
      color: #c0caf5;
      padding: 2rem;
      max-width: 960px;
      margin: 0 auto;
    }
    a { color: #7aa2f7; }
    h1 {
      color: #7aa2f7;
      margin-bottom: 0.5rem;
      font-size: 1.4rem;
    }
    .subtitle {
      color: #565f89;
      margin-bottom: 1.5rem;
      font-size: 0.9rem;
    }
    .nav { margin-bottom: 1.5rem; }
    .nav a { margin-right: 1rem; font-size: 0.85rem; }

    /* Status bar */
    #status {
      background: #24283b;
      border: 1px solid #3b4261;
      border-radius: 4px;
      padding: 0.75rem 1rem;
      margin-bottom: 1.5rem;
      font-size: 0.9rem;
    }
    #status.init { border-left: 3px solid #7aa2f7; }
    #status.ready { border-left: 3px solid #9ece6a; }
    #status.sorting { border-left: 3px solid #e0af68; }
    #status.complete { border-left: 3px solid #9ece6a; }
    #status.error { border-left: 3px solid #f7768e; }

    /* Controls panel */
    .controls {
      background: #24283b;
      border: 1px solid #3b4261;
      border-radius: 6px;
      padding: 1.25rem;
      margin-bottom: 1.5rem;
    }
    .control-row {
      display: flex;
      align-items: center;
      gap: 1rem;
      margin-bottom: 1rem;
      flex-wrap: wrap;
    }
    .control-row:last-child { margin-bottom: 0; }
    .control-label {
      color: #565f89;
      font-size: 0.8rem;
      min-width: 80px;
    }

    /* Algorithm toggle buttons */
    .algo-buttons { display: flex; gap: 0.5rem; flex-wrap: wrap; }
    .algo-btn {
      background: #1a1b26;
      border: 1px solid #3b4261;
      color: #c0caf5;
      padding: 0.4rem 0.8rem;
      border-radius: 4px;
      cursor: pointer;
      font-family: inherit;
      font-size: 0.8rem;
      transition: border-color 0.2s, background 0.2s;
    }
    .algo-btn:hover { border-color: #7aa2f7; }
    .algo-btn.active {
      background: #7aa2f7;
      color: #1a1b26;
      border-color: #7aa2f7;
    }
    .algo-btn:disabled {
      opacity: 0.5;
      cursor: not-allowed;
    }

    /* Sliders */
    .slider-group {
      display: flex;
      align-items: center;
      gap: 0.75rem;
      flex: 1;
    }
    .slider-group input[type="range"] {
      flex: 1;
      accent-color: #7aa2f7;
    }
    .slider-value {
      color: #e0af68;
      font-size: 0.85rem;
      min-width: 40px;
      text-align: right;
    }

    /* Start button */
    #start-btn {
      background: #9ece6a;
      border: none;
      color: #1a1b26;
      padding: 0.5rem 1.5rem;
      border-radius: 4px;
      cursor: pointer;
      font-family: inherit;
      font-size: 0.9rem;
      font-weight: bold;
      transition: background 0.2s;
    }
    #start-btn:hover { background: #7ec068; }
    #start-btn:disabled {
      background: #3b4261;
      color: #565f89;
      cursor: not-allowed;
    }
    #stop-btn {
      background: #f7768e;
      border: none;
      color: #1a1b26;
      padding: 0.5rem 1.5rem;
      border-radius: 4px;
      cursor: pointer;
      font-family: inherit;
      font-size: 0.9rem;
      font-weight: bold;
      transition: background 0.2s;
    }
    #stop-btn:hover { background: #d73a3a; }

    /* Bar chart */
    .chart-container {
      background: #24283b;
      border: 1px solid #3b4261;
      border-radius: 6px;
      padding: 1.25rem;
      margin-bottom: 1rem;
      min-height: 280px;
      display: flex;
      align-items: flex-end;
      justify-content: center;
      gap: 1px;
    }
    .bar {
      background: #7aa2f7;
      border-radius: 2px 2px 0 0;
      transition: height 0.08s ease-out, background-color 0.15s;
      min-width: 2px;
      flex: 1;
      max-width: 20px;
    }
    .bar.comparing { background: #e0af68; }
    .bar.swapped { background: #f7768e; }
    .bar.done { background: #9ece6a; }

    /* Stats row */
    .stats {
      display: flex;
      gap: 2rem;
      background: #24283b;
      border: 1px solid #3b4261;
      border-radius: 4px;
      padding: 0.75rem 1rem;
      font-size: 0.85rem;
    }
    .stat-label { color: #565f89; }
    .stat-value { color: #e0af68; margin-left: 0.5rem; }

    /* Legend */
    .legend {
      display: flex;
      gap: 1.5rem;
      margin-top: 1rem;
      font-size: 0.75rem;
      color: #565f89;
      flex-wrap: wrap;
    }
    .legend-item { display: flex; align-items: center; gap: 0.3rem; }
    .legend-dot {
      width: 10px;
      height: 10px;
      border-radius: 2px;
    }
    .legend-dot.blue { background: #7aa2f7; }
    .legend-dot.yellow { background: #e0af68; }
    .legend-dot.red { background: #f7768e; }
    .legend-dot.green { background: #9ece6a; }

    /* Code editor */
    .code-panel {
      margin-bottom: 1.5rem;
    }
    .code-header {
      display: flex;
      justify-content: space-between;
      align-items: center;
      margin-bottom: 0.5rem;
    }
    .code-header-label {
      color: #565f89;
      font-size: 0.8rem;
    }
    .code-hint {
      color: #7aa2f7;
      font-size: 0.75rem;
    }
    #code-editor {
      width: 100%;
      min-height: 200px;
      background: #1a1b26;
      color: #c0caf5;
      border: 1px solid #3b4261;
      border-radius: 4px;
      padding: 0.75rem;
      font-family: 'Consolas', 'Monaco', 'Courier New', monospace;
      font-size: 0.8rem;
      line-height: 1.5;
      resize: vertical;
      tab-size: 4;
    }
    #code-editor:focus {
      outline: none;
      border-color: #7aa2f7;
    }
    #code-editor:disabled {
      opacity: 0.6;
      cursor: not-allowed;
    }
  
}

@scope (body[data-page="ladder"]) {

    * { margin: 0; padding: 0; box-sizing: border-box; }
    body {
      font-family: 'Consolas', 'Monaco', 'Courier New', monospace;
      background: #1a1b26;
      color: #c0caf5;
      padding: 2rem;
      max-width: 960px;
      margin: 0 auto;
    }
    a { color: #7aa2f7; }
    h1 {
      color: #7aa2f7;
      margin-bottom: 0.5rem;
      font-size: 1.4rem;
    }
    .subtitle {
      color: #565f89;
      margin-bottom: 1.5rem;
      font-size: 0.9rem;
    }
    .nav { margin-bottom: 1.5rem; }
    .nav a { margin-right: 1rem; font-size: 0.85rem; }

    /* Status bar */
    #status {
      background: #24283b;
      border: 1px solid #3b4261;
      border-radius: 4px;
      padding: 0.75rem 1rem;
      margin-bottom: 1.5rem;
      font-size: 0.9rem;
    }
    #status.init { border-left: 3px solid #7aa2f7; }
    #status.running { border-left: 3px solid #e0af68; }
    #status.done { border-left: 3px solid #9ece6a; }
    #status.error { border-left: 3px solid #f7768e; }

    /* Totals */
    #totals {
      display: none;
      background: #24283b;
      border: 1px solid #3b4261;
      border-radius: 4px;
      padding: 0.75rem 1rem;
      margin-bottom: 1.5rem;
    }
    .progress-bar {
      background: #3b4261;
      border-radius: 3px;
      height: 8px;
      margin-top: 0.5rem;
      overflow: hidden;
    }
    .progress-fill {
      background: #9ece6a;
      height: 100%;
      transition: width 0.3s;
    }

    /* Legend */
    .legend {
      display: none;
      background: #24283b;
      border: 1px solid #333;
      border-radius: 4px;
      padding: 0.75rem 1rem;
      margin-bottom: 1.5rem;
      font-size: 0.8rem;
      line-height: 1.6;
    }
    .legend-item { display: inline-block; margin-right: 1.5rem; }
    .legend-dot {
      display: inline-block;
      width: 8px; height: 8px;
      border-radius: 50%;
      margin-right: 0.3rem;
      vertical-align: middle;
    }
    .legend-dot.pass { background: #9ece6a; }
    .legend-dot.warn { background: #e0af68; }
    .legend-dot.fail { background: #f7768e; }
    .legend-dot.skip { background: #565f89; }
    .legend-dot.xfail { background: #9b59b6; }
    .legend-dot.xpass { background: #8e44ad; }

    /* Tier sections */
    .tier { margin-bottom: 1.5rem; }
    .tier-header {
      color: #e0af68;
      font-size: 1rem;
      padding: 0.5rem 0;
      border-bottom: 1px solid #3b4261;
      margin-bottom: 0.5rem;
      cursor: pointer;
      user-select: none;
    }
    .tier-header:hover { color: #e5c07b; }
    .tier-header::before { content: '\25BC '; font-size: 0.7rem; }
    .tier-header.collapsed::before { content: '\25B6 '; }
    .tier-body.hidden { display: none; }

    /* Test cards */
    .test-card {
      background: #24283b;
      border: 1px solid #333;
      border-radius: 4px;
      margin-bottom: 0.5rem;
      overflow: hidden;
    }
    .test-card.pass { border-left: 3px solid #9ece6a; }
    .test-card.warn { border-left: 3px solid #e0af68; }
    .test-card.fail { border-left: 3px solid #f7768e; }
    .test-card.skip { border-left: 3px solid #565f89; }
    .test-card.xfail { border-left: 3px solid #9b59b6; }
    .test-card.xpass { border-left: 3px solid #8e44ad; }

    .card-header {
      display: flex;
      justify-content: space-between;
      align-items: center;
      padding: 0.4rem 0.75rem;
      cursor: pointer;
      user-select: none;
    }
    .card-header:hover { background: #2a2d2e; }
    .test-name { font-size: 0.85rem; }
    .badge {
      font-size: 0.7rem;
      padding: 0.15rem 0.5rem;
      border-radius: 3px;
      font-weight: bold;
      text-transform: uppercase;
    }
    .badge.pass { background: #9ece6a; color: #1a1b26; }
    .badge.warn { background: #e0af68; color: #1a1b26; }
    .badge.fail { background: #f7768e; color: #1a1b26; }
    .badge.skip { background: #565f89; color: #1a1b26; }
    .badge.xfail { background: #9b59b6; color: #1a1b26; }
    .badge.xpass { background: #8e44ad; color: #1a1b26; }

    .card-body {
      display: none;
      padding: 0.5rem 0.75rem;
      border-top: 1px solid #333;
    }
    .card-body.open { display: block; }

    .card-body label {
      display: block;
      color: #565f89;
      font-size: 0.75rem;
      margin-top: 0.4rem;
      margin-bottom: 0.2rem;
    }
    .card-body pre {
      background: #1a1b26;
      padding: 0.5rem;
      border-radius: 3px;
      font-size: 0.8rem;
      overflow-x: auto;
      white-space: pre-wrap;
      line-height: 1.4;
    }
    .code-block { color: #ce9178; }
    .result-block { color: #b5cea8; }
    .warn-block { color: #e0af68; }
    .error-block { color: #f7768e; }
  
}

@scope (body[data-page="async_matrix"]) {

    
    * { margin: 0; padding: 0; box-sizing: border-box; }
    body { font-family: -apple-system, sans-serif; background: var(--bg); color: var(--text); height: 100vh; display: flex; flex-direction: column; }
    header { padding: 12px 20px; background: var(--surface); border-bottom: 1px solid var(--border); display: flex; align-items: center; gap: 16px; }
    header a { color: var(--text-dim); text-decoration: none; font-size: 13px; }
    header a:hover { color: var(--text); }
    header h1 { font-size: 16px; font-weight: 600; color: var(--accent); }
    .tag { font-size: 11px; padding: 2px 8px; border-radius: 4px; background: #2d3a5e; color: var(--cyan); }
    main { flex: 1; overflow-y: auto; padding: 20px; font-family: var(--mono); font-size: 13px; line-height: 1.6; white-space: pre-wrap; }
  
}

@scope (body[data-page="agent"]) {



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

    body {
      font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif;
      background: var(--bg);
      color: var(--text);
      height: 100vh;
      display: flex;
      flex-direction: column;
      overflow: hidden;
    }

    header {
      padding: 12px 20px;
      background: var(--surface);
      border-bottom: 1px solid var(--border);
      display: flex;
      align-items: center;
      gap: 16px;
    }

    header h1 {
      font-size: 16px;
      font-weight: 600;
      color: var(--accent);
    }

    header .tag {
      font-size: 11px;
      padding: 2px 8px;
      border-radius: 4px;
      font-weight: 500;
    }

    .tag-agent { background: #3d2d5e; color: var(--purple); }
    .tag-wasm { background: #2d3a5e; color: var(--cyan); }
    .tag-stateful { background: #2d3e2d; color: var(--green); }

    #status {
      margin-left: auto;
      font-size: 12px;
      color: var(--text-dim);
    }

    #status.ready { color: var(--green); }
    #status.running { color: var(--yellow); }
    #status.error { color: var(--red); }

    .main {
      flex: 1;
      display: grid;
      grid-template-columns: 1fr 1fr;
      grid-template-rows: 1fr 1fr;
      gap: 1px;
      background: var(--border);
      overflow: hidden;
    }

    .panel {
      background: var(--surface);
      display: flex;
      flex-direction: column;
      overflow: hidden;
    }

    .panel-header {
      padding: 8px 12px;
      font-size: 11px;
      font-weight: 600;
      text-transform: uppercase;
      letter-spacing: 0.5px;
      color: var(--text-dim);
      border-bottom: 1px solid var(--border);
      display: flex;
      align-items: center;
      gap: 8px;
      flex-shrink: 0;
    }

    .panel-header .count {
      background: var(--surface2);
      padding: 1px 6px;
      border-radius: 3px;
      font-size: 10px;
    }

    .panel-body {
      flex: 1;
      overflow: auto;
      padding: 0;
    }

    /* Code editor */
    #editor {
      width: 100%;
      height: 100%;
      background: transparent;
      color: var(--text);
      border: none;
      resize: none;
      padding: 12px;
      font-family: var(--mono);
      font-size: 13px;
      line-height: 1.6;
      outline: none;
      tab-size: 4;
    }

    .editor-panel .panel-header {
      display: flex;
      justify-content: space-between;
    }

    .btn-group { display: flex; gap: 6px; }

    .btn {
      padding: 4px 12px;
      border: 1px solid var(--border);
      border-radius: 4px;
      background: var(--surface2);
      color: var(--text);
      font-size: 11px;
      cursor: pointer;
      font-family: inherit;
    }

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

    .btn-run {
      background: #1a3a1a;
      border-color: var(--green);
      color: var(--green);
      font-weight: 600;
    }

    .btn-run:hover { background: #2a4a2a; }
    .btn-run:disabled { opacity: 0.4; cursor: not-allowed; }

    .btn-clear {
      background: #3a1a1a;
      border-color: var(--red);
      color: var(--red);
    }

    .btn-clear:hover { background: #4a2a2a; }

    /* Result & State panels */
    .result-section {
      padding: 12px;
      border-bottom: 1px solid var(--border);
    }

    .result-section:last-child { border-bottom: none; }

    .result-label {
      font-size: 10px;
      font-weight: 600;
      text-transform: uppercase;
      letter-spacing: 0.5px;
      color: var(--text-dim);
      margin-bottom: 4px;
    }

    .result-value {
      font-family: var(--mono);
      font-size: 13px;
      white-space: pre-wrap;
      word-break: break-all;
      color: var(--green);
    }

    .result-error {
      font-family: var(--mono);
      font-size: 13px;
      white-space: pre-wrap;
      word-break: break-all;
      color: var(--red);
    }

    .result-print {
      font-family: var(--mono);
      font-size: 12px;
      white-space: pre-wrap;
      color: var(--text-dim);
    }

    /* State panel */
    .state-entry {
      padding: 4px 12px;
      font-family: var(--mono);
      font-size: 12px;
      border-bottom: 1px solid var(--border);
      display: flex;
      gap: 8px;
    }

    .state-key {
      color: var(--cyan);
      font-weight: 600;
      min-width: 80px;
    }

    .state-val {
      color: var(--text);
      overflow: hidden;
      text-overflow: ellipsis;
      white-space: nowrap;
    }

    /* Events panel */
    .event-entry {
      padding: 4px 12px;
      font-family: var(--mono);
      font-size: 11px;
      border-bottom: 1px solid var(--border);
      display: grid;
      grid-template-columns: 100px 1fr;
      gap: 8px;
      align-items: baseline;
    }

    .event-type {
      font-weight: 600;
      white-space: nowrap;
    }

    .event-type-run { color: var(--green); }
    .event-type-tool { color: var(--purple); }
    .event-type-os { color: var(--cyan); }
    .event-type-text { color: var(--yellow); }
    .event-type-error { color: var(--red); }
    .event-type-step { color: var(--orange); }
    .event-type-waiting { color: var(--red); font-weight: 600; }
    .event-type-resumed { color: var(--green); font-weight: 600; }
    .event-type-emitted { color: var(--cyan); }

    @keyframes pulse {
      0%, 100% { opacity: 1; }
      50% { opacity: 0.4; }
    }

    #waitingBanner {
      display: none;
      align-items: center;
      gap: 8px;
      padding: 6px 12px;
      background: rgba(247, 118, 142, 0.12);
      border-top: 1px solid var(--red);
      font-size: 12px;
      color: var(--red);
      font-weight: 600;
    }
    #waitingBanner span.arrow { color: var(--cyan); }

    .event-detail {
      color: var(--text-dim);
      overflow: hidden;
      text-overflow: ellipsis;
      white-space: nowrap;
    }

    /* Tools panel */
    .tool-entry {
      padding: 8px 12px;
      border-bottom: 1px solid var(--border);
    }

    .tool-name {
      font-family: var(--mono);
      font-size: 12px;
      color: var(--purple);
      font-weight: 600;
    }

    .tool-desc {
      font-size: 11px;
      color: var(--text-dim);
      margin-top: 2px;
    }

    .tool-params {
      font-family: var(--mono);
      font-size: 10px;
      color: var(--text-dim);
      margin-top: 4px;
    }

    .tool-param-name { color: var(--cyan); }
    .tool-param-type { color: var(--orange); }

    .empty-state {
      padding: 24px;
      text-align: center;
      color: var(--text-dim);
      font-size: 13px;
    }

    /* Examples dropdown */
    select {
      background: var(--surface2);
      border: 1px solid var(--border);
      border-radius: 4px;
      color: var(--text);
      padding: 4px 8px;
      font-size: 11px;
      cursor: pointer;
      outline: none;
    }

    /* Bottom panel sub-tabs */
    .tab-bar {
      display: flex;
      border-bottom: 1px solid var(--border);
      flex-shrink: 0;
    }

    .tab-btn {
      padding: 6px 14px;
      font-size: 11px;
      font-weight: 600;
      text-transform: uppercase;
      letter-spacing: 0.5px;
      color: var(--text-dim);
      background: transparent;
      border: none;
      border-bottom: 2px solid transparent;
      cursor: pointer;
      font-family: inherit;
    }

    .tab-btn:hover { color: var(--text); }
    .tab-btn.active { color: var(--accent); border-bottom-color: var(--accent); }

    .tab-content { display: none; flex: 1; overflow: auto; }
    .tab-content.active { display: block; }
  
}

@scope (body[data-page="vfs"]) {



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

    body {
      font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif;
      background: var(--bg);
      color: var(--text);
      height: 100vh;
      display: flex;
      flex-direction: column;
      overflow: hidden;
    }

    header {
      padding: 12px 20px;
      background: var(--surface);
      border-bottom: 1px solid var(--border);
      display: flex;
      align-items: center;
      gap: 16px;
    }

    header h1 {
      font-size: 16px;
      font-weight: 600;
      color: var(--accent);
    }

    header .tag {
      font-size: 11px;
      padding: 2px 8px;
      border-radius: 4px;
      font-weight: 500;
    }

    .tag-wasm { background: #2d3a5e; color: var(--cyan); }
    .tag-vfs { background: #2d3e2d; color: var(--green); }

    #status {
      margin-left: auto;
      font-size: 12px;
      color: var(--text-dim);
    }

    #status.ready { color: var(--green); }
    #status.running { color: var(--yellow); }
    #status.error { color: var(--red); }

    .main {
      flex: 1;
      display: grid;
      grid-template-columns: 1fr 1fr;
      grid-template-rows: 1fr 1fr;
      gap: 1px;
      background: var(--border);
      overflow: hidden;
    }

    .panel {
      background: var(--surface);
      display: flex;
      flex-direction: column;
      overflow: hidden;
    }

    .panel-header {
      padding: 8px 12px;
      font-size: 11px;
      font-weight: 600;
      text-transform: uppercase;
      letter-spacing: 0.5px;
      color: var(--text-dim);
      border-bottom: 1px solid var(--border);
      display: flex;
      align-items: center;
      gap: 8px;
      flex-shrink: 0;
    }

    .panel-header .count {
      background: var(--surface2);
      padding: 1px 6px;
      border-radius: 3px;
      font-size: 10px;
    }

    .panel-body {
      flex: 1;
      overflow: auto;
      padding: 0;
    }

    /* Code editor */
    #editor {
      width: 100%;
      height: 100%;
      background: transparent;
      color: var(--text);
      border: none;
      resize: none;
      padding: 12px;
      font-family: var(--mono);
      font-size: 13px;
      line-height: 1.6;
      outline: none;
      tab-size: 4;
    }

    .editor-panel .panel-header {
      display: flex;
      justify-content: space-between;
    }

    .btn-group { display: flex; gap: 6px; }

    .btn {
      padding: 4px 12px;
      border: 1px solid var(--border);
      border-radius: 4px;
      background: var(--surface2);
      color: var(--text);
      font-size: 11px;
      cursor: pointer;
      font-family: inherit;
    }

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

    .btn-run {
      background: #1a3a1a;
      border-color: var(--green);
      color: var(--green);
      font-weight: 600;
    }

    .btn-run:hover { background: #2a4a2a; }
    .btn-run:disabled { opacity: 0.4; cursor: not-allowed; }

    /* File tree */
    .file-entry {
      padding: 6px 12px;
      font-family: var(--mono);
      font-size: 12px;
      border-bottom: 1px solid var(--border);
      cursor: pointer;
    }

    .file-entry:hover { background: var(--surface2); }
    .file-entry.selected { background: var(--surface2); border-left: 2px solid var(--accent); }

    .file-icon { margin-right: 6px; }
    .file-size { float: right; color: var(--text-dim); font-size: 11px; }

    .file-preview {
      padding: 12px;
      font-family: var(--mono);
      font-size: 12px;
      white-space: pre-wrap;
      word-break: break-all;
      color: var(--text-dim);
    }

    .empty-state {
      padding: 24px;
      text-align: center;
      color: var(--text-dim);
      font-size: 13px;
    }

    /* OS Call log */
    .oscall-entry {
      padding: 6px 12px;
      font-family: var(--mono);
      font-size: 11px;
      border-bottom: 1px solid var(--border);
      display: grid;
      grid-template-columns: auto 1fr auto;
      gap: 8px;
      align-items: baseline;
    }

    .oscall-op {
      color: var(--cyan);
      font-weight: 600;
      white-space: nowrap;
    }

    .oscall-args {
      color: var(--text-dim);
      overflow: hidden;
      text-overflow: ellipsis;
      white-space: nowrap;
    }

    .oscall-time {
      color: var(--text-dim);
      font-size: 10px;
      white-space: nowrap;
    }

    /* Output */
    #output {
      padding: 12px;
      font-family: var(--mono);
      font-size: 13px;
      white-space: pre-wrap;
      word-break: break-all;
    }

    .output-value { color: var(--green); }
    .output-error { color: var(--red); }
    .output-info { color: var(--text-dim); font-size: 12px; }

    /* Mount panel */
    .mount-bar {
      padding: 6px 12px;
      display: flex;
      gap: 6px;
      border-top: 1px solid var(--border);
      flex-shrink: 0;
    }

    .mount-bar input {
      flex: 1;
      background: var(--bg);
      border: 1px solid var(--border);
      border-radius: 4px;
      color: var(--text);
      padding: 4px 8px;
      font-family: var(--mono);
      font-size: 11px;
      outline: none;
    }

    .mount-bar input:focus { border-color: var(--accent); }

    /* Examples dropdown */
    select {
      background: var(--surface2);
      border: 1px solid var(--border);
      border-radius: 4px;
      color: var(--text);
      padding: 4px 8px;
      font-size: 11px;
      cursor: pointer;
      outline: none;
    }
  
}