@page { margin-bottom: 5pt; margin-top: 5pt; } @font-face { font-family: "DejaVu Serif"; font-style: normal; font-weight: normal; src: url(fonts/00006.otf); } @font-face { font-family: "DejaVu Serif"; font-style: normal; font-weight: bold; src: url(fonts/00009.otf); } @font-face { font-family: "DejaVu Serif"; font-style: italic; font-weight: normal; src: url(fonts/00008.otf); } @font-face { font-family: "DejaVu Serif"; font-style: italic; font-weight: bold; src: url(fonts/00007.otf); }