/* Web fonts for overlay preview - pixel-perfect match with ffmpeg */

@font-face {
  font-family: 'DejaVu Sans';
  src: url("/fonts/DejaVuSans.ttf") format('truetype');
  font-weight: normal;
  font-style: normal;
}

@font-face {
  font-family: 'DejaVu Sans';
  src: url("/fonts/DejaVuSans-Bold.ttf") format('truetype');
  font-weight: bold;
  font-style: normal;
}

@font-face {
  font-family: 'DejaVu Sans Mono';
  src: url("/fonts/DejaVuSansMono.ttf") format('truetype');
  font-weight: normal;
  font-style: normal;
}

@font-face {
  font-family: 'DejaVu Serif';
  src: url("/fonts/DejaVuSerif.ttf") format('truetype');
  font-weight: normal;
  font-style: normal;
}