@charset "utf-8"; /* CSS Document */ /* Page */ @page { margin-top: 5px; margin-bottom: 5px; } /* Font */ @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: normal; font-weight: bold; src: url(../Fonts/DejaVuSerif-Bold.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: italic; font-weight: bold; src: url(../Fonts/DejaVuSerif-BoldItalic.ttf); }