@font-face { font-family: "InstrumentSerif"; font-style: normal; font-weight: 400;
  font-display: swap; src: url("fonts/InstrumentSerif-400-latin.woff2") format("woff2"); }
@font-face { font-family: "InstrumentSans"; font-style: normal; font-weight: 400;
  font-display: swap; src: url("fonts/InstrumentSans-400-latin.woff2") format("woff2"); }
@font-face { font-family: "InstrumentSans"; font-style: normal; font-weight: 500;
  font-display: swap; src: url("fonts/InstrumentSans-500-latin.woff2") format("woff2"); }
@font-face { font-family: "InstrumentSans"; font-style: normal; font-weight: 600;
  font-display: swap; src: url("fonts/InstrumentSans-600-latin.woff2") format("woff2"); }
@font-face { font-family: "JetBrainsMono"; font-style: normal; font-weight: 400;
  font-display: swap; src: url("fonts/JetBrainsMono-400-latin.woff2") format("woff2"); }
@font-face { font-family: "JetBrainsMono"; font-style: normal; font-weight: 500;
  font-display: swap; src: url("fonts/JetBrainsMono-500-latin.woff2") format("woff2"); }