@font-face {
  font-family: "FiraCode Nerd Font";
  src: url("/fonts/FiraCodeNerdFont-Regular.ttf") format("truetype");
  font-weight: normal;
  font-style: normal;
  font-display: swap;
}

html,
body {
  margin: 0;
  height: 100%;
  overflow: hidden;
}

#terminal {
  /* 2px slack so FitAddon floors to rows that actually fit (DPR/subpixel). */
  height: calc(100vh - 2px);
  height: calc(100dvh - 2px);
  width: 100vw;
  overflow: hidden;
}

/* FitAddon row math assumes no classic scrollbar gutter */
.xterm .xterm-viewport {
  overflow-y: hidden !important;
}

/* Hide GoTTY built-in theme/font picker (🎨 button) */
#gotty-theme-btn,
#gotty-theme-picker {
  display: none !important;
}