@font-face {
  font-family: 'DejaVu Sans';
  src: url('../assets/fonts/DejaVuSans-Bold.eot');
  src: url('../assets/fonts/DejaVuSans-Bold.eot?#iefix') format('embedded-opentype'),
    url('../assets/fonts/DejaVuSans-Bold.woff2') format('woff2'),
    url('../assets/fonts/DejaVuSans-Bold.woff') format('woff'),
    url('../assets/fonts/DejaVuSans-Bold.svg#DejaVuSans-Bold') format('svg');
  font-weight: bold;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: 'DejaVu Sans Mono';
  src: url('../assets/fonts/DejaVuSansMono-Oblique.eot');
  src: url('../assets/fonts/DejaVuSansMono-Oblique.eot?#iefix') format('embedded-opentype'),
    url('../assets/fonts/DejaVuSansMono-Oblique.woff2') format('woff2'),
    url('../assets/fonts/DejaVuSansMono-Oblique.woff') format('woff'),
    url('../assets/fonts/DejaVuSansMono-Oblique.svg#DejaVuSansMono-Oblique') format('svg');
  font-weight: normal;
  font-style: italic;
  font-display: swap;
}

@font-face {
  font-family: 'DejaVu Sans Mono';
  src: url('../assets/fonts/DejaVuSansMono.eot');
  src: url('../assets/fonts/DejaVuSansMono.eot?#iefix') format('embedded-opentype'),
    url('../assets/fonts/DejaVuSansMono.woff2') format('woff2'),
    url('../assets/fonts/DejaVuSansMono.woff') format('woff'),
    url('../assets/fonts/DejaVuSansMono.svg#DejaVuSansMono') format('svg');
  font-weight: normal;
  font-style: normal;
  font-display: swap;
}


@font-face {
  font-family: 'DejaVu Sans Mono';
  src: url('../assets/fonts/DejaVuSansMono-Bold.eot');
  src: url('../assets/fonts/DejaVuSansMono-Bold.eot?#iefix') format('embedded-opentype'),
    url('../assets/fonts/DejaVuSansMono-Bold.woff2') format('woff2'),
    url('../assets/fonts/DejaVuSansMono-Bold.woff') format('woff'),
    url('../assets/fonts/DejaVuSansMono-Bold.svg#DejaVuSansMono-Bold') format('svg');
  font-weight: bold;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: 'DejaVu Sans Mono';
  src: url('../assets/fonts/DejaVuSansMono-BoldOblique.eot');
  src: url('../assets/fonts/DejaVuSansMono-BoldOblique.eot?#iefix') format('embedded-opentype'),
    url('../assets/fonts/DejaVuSansMono-BoldOblique.woff2') format('woff2'),
    url('../assets/fonts/DejaVuSansMono-BoldOblique.woff') format('woff'),
    url('../assets/fonts/DejaVuSansMono-BoldOblique.svg#DejaVuSansMono-BoldOblique') format('svg');
  font-weight: bold;
  font-style: italic;
  font-display: swap;
}

@font-face {
  font-family: 'DejaVu Serif';
  src: url('../assets/fonts/DejaVuSerif-Bold.eot');
  src: url('../assets/fonts/DejaVuSerif-Bold.eot?#iefix') format('embedded-opentype'),
    url('../assets/fonts/DejaVuSerif-Bold.woff2') format('woff2'),
    url('../assets/fonts/DejaVuSerif-Bold.woff') format('woff'),
    url('../assets/fonts/DejaVuSerif-Bold.svg#DejaVuSerif-Bold') format('svg');
  font-weight: bold;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: 'DejaVu Serif';
  src: url('../assets/fonts/DejaVuSerif-BoldItalic.eot');
  src: url('../assets/fonts/DejaVuSerif-BoldItalic.eot?#iefix') format('embedded-opentype'),
    url('../assets/fonts/DejaVuSerif-BoldItalic.woff2') format('woff2'),
    url('../assets/fonts/DejaVuSerif-BoldItalic.woff') format('woff'),
    url('../assets/fonts/DejaVuSerif-BoldItalic.svg#DejaVuSerif-BoldItalic') format('svg');
  font-weight: bold;
  font-style: italic;
  font-display: swap;
}

@font-face {
  font-family: 'DejaVu Serif';
  src: url('../assets/fonts/DejaVuSerif.eot');
  src: url('../assets/fonts/DejaVuSerif.eot?#iefix') format('embedded-opentype'),
    url('../assets/fonts/DejaVuSerif.woff2') format('woff2'),
    url('../assets/fonts/DejaVuSerif.woff') format('woff'),
    url('../assets/fonts/DejaVuSerif.svg#DejaVuSerif') format('svg');
  font-weight: normal;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: 'DejaVu Serif';
  src: url('../assets/fonts/DejaVuSerif-Italic.eot');
  src: url('../assets/fonts/DejaVuSerif-Italic.eot?#iefix') format('embedded-opentype'),
    url('../assets/fonts/DejaVuSerif-Italic.woff2') format('woff2'),
    url('../assets/fonts/DejaVuSerif-Italic.woff') format('woff'),
    url('../assets/fonts/DejaVuSerif-Italic.svg#DejaVuSerif-Italic') format('svg');
  font-weight: normal;
  font-style: italic;
  font-display: swap;
}

.md-header {
  /* \\definecolor[othercolor][r=.5,g=.5] https://gitlab.lisn.upsaclay.fr/texlive/luatex/-/blob/4f2b914d365bab8a2747afe6e8c86d0f1c8475f7/manual/luatex-style.tex#L114 */
  background-color: #808000;
}

:root {
  --md-text-font: "DejaVu Serif";
  --md-code-font: "DejaVu Sans Mono";
}