/* DejaVu Sans Mono — self-hosted (no CDN; Google Fonts is blocked in China).
   Latin coverage only; CJK falls back to the system monospace via the font
   stack set on the xterm instance in main.js. */
@font-face{
  font-family:'DejaVu Sans Mono';
  font-style:normal; font-weight:400; font-display:block;
  src:url('fonts/dejavu-400.woff2') format('woff2');
}
@font-face{
  font-family:'DejaVu Sans Mono';
  font-style:normal; font-weight:700; font-display:block;
  src:url('fonts/dejavu-700.woff2') format('woff2');
}
html,body{margin:0;height:100%;background:#0c0c0c}
#term{position:fixed;inset:0;padding:6px}
.xterm{height:100%}