@font-face {
  font-family: 'PressStart';
  src: url('/fonts/PressStart2P/PressStart2P-Regular.ttf');
}
@font-face {
  font-family: 'BigBlueTerminal';
  src: url('/fonts/BigBlueTerminal/BigBlue_TerminalPlus.TTF');
}
@font-face {
  font-family: 'x3270';
  src: url('/fonts/3270/3270-Regular.ttf');
}
@font-face {
  font-family: 'galactico';
  src: url('/fonts/galactico/Galactico-Basic.otf');
}
@font-face {
  font-family: 'we-come-in-peace';
  src: url('/fonts/we-come-in-peace/we-come-in-peace-bb.regular.ttf');
}

.cm-gutters {
  display: none !important;
}

.prose > h1:not(:first-child) {
  margin-top: 30px;
}
:root {
  --app-height: 100vh;
}

#console-tab {
  font-family: BigBlueTerminal, monospace;
}
