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