@font-face {
  font-family: dsifont;
  src: url(/assets/dsi/nintendo_NTLGDB_001.ttf);
}
@font-face {
  font-family: dsifont-bios;
  src: url(/assets/dsi/nintendo-DS-BIOS.ttf);
}
@font-face {
  font-family: dsifont-special;
  src: url(/assets/dsi/NITROIPL_Gaiji.ttf);
}
body {
  font-family: dsifont;
}
code {
  font-family: dsifont-bios;
  font-size: 1.5vw;
}
special {
  font-family: dsifont-special;
  font-size: 1.5vw;
}
.info {
  padding: 10px;
  background-color: #e6ebf2;
  color: black;
  margin-left: 0%;
  margin-right: 5%;
  border-radius: 5px;
  border-left: 2px solid #f6971b;
  border-bottom: 1px solid #072a66;
}