/*!
 * TheSansMono 3.014 by LucasFonts (https://www.lucasfonts.com/)
 * Licensed under LucasFonts End User License Agreement v3.42 (https://www.lucasfonts.com/fonts/eula)
 */
@font-face {
  ascent-override: 100.5%;
  descent-override: 24.5%;
  font-display: swap;
  font-family: "TheSansMono Condensed";
  font-weight: 400;
  src: url(/fonts/TheSansMonoCdOffice-Regular.woff2) format("woff2");
}

@font-face {
  ascent-override: 100.5%;
  descent-override: 24.5%;
  font-display: swap;
  font-family: "TheSansMono Condensed";
  font-style: italic;
  font-weight: 400;
  src: url(/fonts/TheSansMonoCdOffice-Italic.woff2) format("woff2");
}

@font-face {
  ascent-override: 100.5%;
  descent-override: 24.5%;
  font-display: swap;
  font-family: "TheSansMono Condensed";
  font-weight: 700;
  src: url(/fonts/TheSansMonoCdOffice-Bold.woff2) format("woff2");
}

@font-face {
  ascent-override: 100.5%;
  descent-override: 24.5%;
  font-display: swap;
  font-family: "TheSansMono Condensed";
  font-style: italic;
  font-weight: 700;
  src: url(/fonts/TheSansMonoCdOffice-BoldItalic.woff2) format("woff2");
}

/*!
 * Source Han Serif Japanese 2.002 by Adobe
 * Licensed under the SIL Open Font License v1.1 (https://github.com/adobe-fonts/source-han-serif?tab=License-1-ov-file#readme)
 */
 @font-face {
  font-display: swap;
  font-family: "Source Han Serif Japanese";
  font-weight: 300;
  src: url(/fonts/SourceHanSerifJP-Light.woff2) format("woff2");
  unicode-range: U+2015, U+2026;
}
