/* Break out of the article column: up to 1100px wide, centered on the viewport. */
  #ebpf-lab-root { font-family: system-ui, sans-serif; color: #e6e6e6; margin-inline: calc(50% - min(550px, 50vw - 1rem)); }
  @media (max-width: 900px) {
    #ebpf-lab-root .layout { flex-direction: column; }
    #ebpf-lab-root .sidebar { width: auto; }
  }
  #ebpf-lab-root .wrap { max-width: 1100px; margin: 0 auto; padding: 1.5rem; }
  #ebpf-lab-root h1 { font-size: 1.4rem; margin: 0 0 0.25rem; }
  #ebpf-lab-root .subtitle { color: #8a8f98; font-size: 0.9rem; margin: 0 0 1.5rem; }
  #ebpf-lab-root .layout { display: flex; gap: 1.5rem; }
  #ebpf-lab-root .sidebar { width: 300px; flex-shrink: 0; }
  #ebpf-lab-root .main { flex: 1; min-width: 0; }
  #ebpf-lab-root .card { background: #161a20; border: 1px solid #232830; border-radius: 10px; padding: 1rem; margin-bottom: 1rem; }
  #ebpf-lab-root .card h2 { font-size: 1rem; margin: 0 0 0.5rem; color: #c9d1d9; }
  #ebpf-lab-root .card p { font-size: 0.85rem; color: #9aa0a8; margin: 0 0 0.75rem; line-height: 1.5; }
  #ebpf-lab-root .step { padding: 0.75rem; border-radius: 8px; margin-bottom: 0.5rem; border: 1px solid #232830; cursor: pointer; }
  #ebpf-lab-root .step:hover { border-color: #3a4150; }
  #ebpf-lab-root .step.active { border-color: #4c8bf5; background: #1a2233; }
  #ebpf-lab-root .step.done { border-color: #2ea043; }
  #ebpf-lab-root .step .num { display: inline-block; width: 20px; height: 20px; border-radius: 50%; background: #232830; text-align: center; line-height: 20px; font-size: 0.75rem; margin-right: 0.5rem; }
  #ebpf-lab-root .step.done .num { background: #2ea043; }
  #ebpf-lab-root .step.active .num { background: #4c8bf5; }
  #ebpf-lab-root .step .title { font-size: 0.9rem; }
  #ebpf-lab-root .step .desc { font-size: 0.75rem; color: #8a8f98; margin-top: 0.25rem; }
      #terminal { background: #0a0c10; border-radius: 8px; padding: 0.5rem; height: 400px; overflow: hidden; }
  #ebpf-lab-root .controls { display: flex; gap: 0.5rem; margin-bottom: 0.75rem; align-items: center; }
  #ebpf-lab-root button { padding: 0.4rem 0.9rem; font-size: 0.85rem; cursor: pointer; border-radius: 6px; border: 1px solid #3a4150; background: #1a1f26; color: #e6e6e6; }
  #ebpf-lab-root button:hover { background: #232830; }
  #ebpf-lab-root button.primary { background: #4c8bf5; border-color: #4c8bf5; color: #fff; }
  #ebpf-lab-root button.primary:hover { background: #3a7ae0; }
  #ebpf-lab-root button:disabled { opacity: 0.5; cursor: not-allowed; }
  #ebpf-lab-root .status { color: #8a8f98; font-size: 0.8rem; margin: 0.5rem 0; min-height: 1.2em; }
  #ebpf-lab-root .mode-toggle { display: flex; gap: 0.25rem; }
  #ebpf-lab-root .mode-toggle button { font-size: 0.75rem; padding: 0.25rem 0.6rem; }
  #ebpf-lab-root .mode-toggle button.active { background: #4c8bf5; border-color: #4c8bf5; color: #fff; }
  #ebpf-lab-root .progress { height: 4px; background: #232830; border-radius: 2px; margin-bottom: 1rem; overflow: hidden; }
  #ebpf-lab-root .progress .bar { height: 100%; background: #4c8bf5; width: 0%; transition: width 0.3s; }
  #ebpf-lab-root .result { font-size: 0.85rem; padding: 0.5rem; border-radius: 6px; margin-top: 0.5rem; }
  #ebpf-lab-root .result.pass { background: #12261a; color: #3fb950; border: 1px solid #2ea043; }
  #ebpf-lab-root .result.fail { background: #2d1414; color: #f85149; border: 1px solid #f85149; }
  #ebpf-lab-root code { background: #232830; padding: 0.1rem 0.3rem; border-radius: 4px; font-size: 0.85em; }
  #ebpf-lab-root .compile-log { margin: 0.5rem 0 0; max-height: 20rem; overflow: auto; padding: 0.5rem; background: #0a0c10; color: #e6e6e6; border: 1px solid #232830; border-radius: 6px; font: 12px/1.4 monospace; white-space: pre; }