@page {
   margin-bottom: 1em;
   margin-top: 1em;
   }
@font-face {
   font-family: "DejaVu Serif";
   font-style: normal;
   font-weight: normal;
   src: url(../Fonts/DejaVuSerif.ttf);
   }
@font-face {
   font-family: "DejaVu Serif";
   font-style: italic;
   font-weight: normal;
   src: url(../Fonts/DejaVuSerif-Italic.ttf);
   }
@font-face {
   font-family: "DejaVu Serif";
   font-style: normal;
   font-weight: bold;
   src: url(../Fonts/DejaVuSerif-Bold.ttf);
   }
@font-face {
   font-family: "DejaVu Serif";
   font-style: italic;
   font-weight: bold;
   src: url(../Fonts/DejaVuSerif-BoldItalic.ttf);
   }