@font-face {
    font-family: 'Web IBM VGA 8x14';
    font-style: normal;
    src: url('web_ibm_vga_8x14.woff') format('woff');
}
body {
  background-color: #000000;
  color: #FBFFBB;
  font-size: 28px;
/*  font-family: 'Courier New', monospace; */
  white-space:pre;
  font-family: "Web IBM VGA 8x14", sans-serif; 
}