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