/* Self-hosted web fonts — generated by scripts/download_fonts.py */

@font-face {
  font-family: 'Instrument Serif';
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url('/assets/fonts/InstrumentSerif-400-italic.woff2') format('woff2');
}

@font-face {
  font-family: 'Instrument Serif';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url('/assets/fonts/InstrumentSerif-400.woff2') format('woff2');
}

@font-face {
  font-family: 'DM Mono';
  font-style: italic;
  font-weight: 300;
  font-display: optional;
  src: url('/assets/fonts/DMMono-300-italic.woff2') format('woff2');
}

@font-face {
  font-family: 'DM Mono';
  font-style: italic;
  font-weight: 400;
  font-display: optional;
  src: url('/assets/fonts/DMMono-400-italic.woff2') format('woff2');
}

@font-face {
  font-family: 'DM Mono';
  font-style: italic;
  font-weight: 500;
  font-display: optional;
  src: url('/assets/fonts/DMMono-500-italic.woff2') format('woff2');
}

@font-face {
  font-family: 'DM Mono';
  font-style: normal;
  font-weight: 300;
  font-display: optional;
  src: url('/assets/fonts/DMMono-300.woff2') format('woff2');
}

@font-face {
  font-family: 'DM Mono';
  font-style: normal;
  font-weight: 400;
  font-display: optional;
  src: url('/assets/fonts/DMMono-400.woff2') format('woff2');
}

@font-face {
  font-family: 'DM Mono';
  font-style: normal;
  font-weight: 500;
  font-display: optional;
  src: url('/assets/fonts/DMMono-500.woff2') format('woff2');
}

@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url('/assets/fonts/Inter-400.woff2') format('woff2');
}

@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url('/assets/fonts/Inter-500.woff2') format('woff2');
}

@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url('/assets/fonts/Inter-600.woff2') format('woff2');
}