:root { --bg: #000; --fg: #c0c0c0; }
    @font-face {
      font-family: 'Web437_ToshibaSat_8x14';
      src: url(Web437_ToshibaSat_8x14.woff) format('woff');
      font-display: swap;
    }
    * { box-sizing: border-box; }
    body {
      margin: 0;
      background: var(--bg);
      color: var(--fg);
      font-family: 'Web437_ToshibaSat_8x14', monospace;
      font-size: 28px;
      font-style: normal;
      line-height: 1.2;
      letter-spacing: 0;
      font-variant-ligatures: none;
      font-feature-settings: 'liga' 0;
      -webkit-font-smoothing: none;
      text-rendering: optimizeSpeed;
      padding: 16px;
      display: flex;
      flex-direction: column;
      align-items: center;
      gap: 12px;
    }
    #neo-source { display: none; }
    #ansi-output {
      white-space: pre;
      font-family: 'Web437_ToshibaSat_8x14', monospace;
      font-size: 28px;
      font-style: normal;
      line-height: 1.2;
      letter-spacing: 0;
      font-variant-ligatures: none;
      font-feature-settings: 'liga' 0;
      -webkit-font-smoothing: none;
      text-rendering: optimizeSpeed;
      background: #000;
      color: var(--fg);
      padding: 12px;
      overflow: auto;
    }
    a { color: inherit; }
    #options-bar {
      position: fixed;
      bottom: 10px;
      left: 50%;
      transform: translateX(-50%);
      display: flex;
      align-items: center;
      gap: 12px;
      padding: 6px 10px;
      background: rgba(0, 0, 0, 0.8);
      color: #aaa;
      border: 1px solid #222;
      border-radius: 6px;
      font-size: 12px;
      font-family: 'Web437_ToshibaSat_8x14', monospace;
      pointer-events: auto;
    }
    #options-bar label { display: inline-flex; align-items: center; gap: 4px; }
    #options-bar input[type="range"] { accent-color: #666; }
    .ansi-cell { color: var(--fg, inherit); background: var(--bg, transparent); text-decoration: none; }
    .ansi-link { text-decoration: none; }
    .ansi-link:hover {
      color: var(--hover-fg, var(--fg, inherit));
      background: var(--hover-bg, #005400);
    }
    .ansi-italic { font-style: italic; }
    .ansi-underline { text-decoration: underline; }
    .ansi-blink { animation: ansi-blink 1s step-end infinite; }
    .ansi-dim { opacity: 0.8; }
    .ansi-hidden { opacity: 0; }
    @keyframes ansi-blink { 50% { opacity: 0.2; } }
.Fk { --fg: rgb(0,0,0); }
.HFk { --hover-fg: rgb(0,0,0); }
.Fr { --fg: rgb(170,0,0); }
.HFr { --hover-fg: rgb(170,0,0); }
.Fg { --fg: rgb(0,170,0); }
.HFg { --hover-fg: rgb(0,170,0); }
.Fy { --fg: rgb(170,85,0); }
.HFy { --hover-fg: rgb(170,85,0); }
.Fb { --fg: rgb(0,0,170); }
.HFb { --hover-fg: rgb(0,0,170); }
.Fm { --fg: rgb(170,0,170); }
.HFm { --hover-fg: rgb(170,0,170); }
.Fc { --fg: rgb(0,170,170); }
.HFc { --hover-fg: rgb(0,170,170); }
.Fw { --fg: rgb(170,170,170); }
.HFw { --hover-fg: rgb(170,170,170); }
.FK { --fg: rgb(85,85,85); }
.HFK { --hover-fg: rgb(85,85,85); }
.FR { --fg: rgb(255,85,85); }
.HFR { --hover-fg: rgb(255,85,85); }
.FG { --fg: rgb(85,255,85); }
.HFG { --hover-fg: rgb(85,255,85); }
.FY { --fg: rgb(255,255,85); }
.HFY { --hover-fg: rgb(255,255,85); }
.FB { --fg: rgb(85,85,255); }
.HFB { --hover-fg: rgb(85,85,255); }
.FM { --fg: rgb(255,85,255); }
.HFM { --hover-fg: rgb(255,85,255); }
.FC { --fg: rgb(85,255,255); }
.HFC { --hover-fg: rgb(85,255,255); }
.FW { --fg: rgb(255,255,255); }
.HFW { --hover-fg: rgb(255,255,255); }
.Bk { --bg: rgb(0,0,0); }
.HBk { --hover-bg: rgb(0,0,0); }
.Br { --bg: rgb(170,0,0); }
.HBr { --hover-bg: rgb(170,0,0); }
.Bg { --bg: rgb(0,170,0); }
.HBg { --hover-bg: rgb(0,170,0); }
.By { --bg: rgb(170,85,0); }
.HBy { --hover-bg: rgb(170,85,0); }
.Bb { --bg: rgb(0,0,170); }
.HBb { --hover-bg: rgb(0,0,170); }
.Bm { --bg: rgb(170,0,170); }
.HBm { --hover-bg: rgb(170,0,170); }
.Bc { --bg: rgb(0,170,170); }
.HBc { --hover-bg: rgb(0,170,170); }
.Bw { --bg: rgb(170,170,170); }
.HBw { --hover-bg: rgb(170,170,170); }
.BK { --bg: rgb(85,85,85); }
.HBK { --hover-bg: rgb(85,85,85); }
.BR { --bg: rgb(255,85,85); }
.HBR { --hover-bg: rgb(255,85,85); }
.BG { --bg: rgb(85,255,85); }
.HBG { --hover-bg: rgb(85,255,85); }
.BY { --bg: rgb(255,255,85); }
.HBY { --hover-bg: rgb(255,255,85); }
.BB { --bg: rgb(85,85,255); }
.HBB { --hover-bg: rgb(85,85,255); }
.BM { --bg: rgb(255,85,255); }
.HBM { --hover-bg: rgb(255,85,255); }
.BC { --bg: rgb(85,255,255); }
.HBC { --hover-bg: rgb(85,255,255); }
.BW { --bg: rgb(255,255,255); }
.HBW { --hover-bg: rgb(255,255,255); }