/* Microsoft Sans Serif from user-provided source, with legacy bitmap fallback. */
@font-face {
  font-family: "Microsoft Sans Serif";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("/fonts/win31/microsoft-sans-serif.ttf") format("truetype");
}

@font-face {
  font-family: "Pixelated MS Sans Serif";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("/fonts/win31/ms_sans_serif.woff2") format("woff2"),
       url("/fonts/win31/ms_sans_serif.woff") format("woff");
}

@font-face {
  font-family: "Pixelated MS Sans Serif";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("/fonts/win31/ms_sans_serif_bold.woff2") format("woff2"),
       url("/fonts/win31/ms_sans_serif_bold.woff") format("woff");
}