/* Fixed: the pixel/terminal face of the UI chrome (DESIGN.md S7.3). Only
 * files that exist: the old IE eot and svg sources are dropped. */
@font-face {
  font-family: "Fixed";
  src: url("/static/fonts/Fixed-Medium.woff2") format("woff2"), url("/static/fonts/Fixed-Medium.woff") format("woff"), url("/static/fonts/Fixed-Medium.ttf") format("truetype");
  font-weight: 500;
  font-style: normal;
  font-display: swap;
}