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