@font-face {
  font-family: "mifuente";
  src: url("Web437_IBM_VGA_9x16.woff") format("woff");
}
body {
  font-family: "mifuente";
  color: white;
  background-color: black;
}