@font-face {
  font-family: 'BigBlueTerm';
  src: url('/fonts/BigBlueTerm437NerdFontMono-Regular.woff2') format('woff2'),
       url('/fonts/BigBlueTerm437NerdFontMono-Regular.ttf') format('truetype');
  font-weight: 400;
  font-style: normal;
}

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

body {
font-family: 'BigBlueTerm', monospace;
background-color: #acac90; 
}