@page { margin-bottom: 5pt; margin-top: 5pt } @font-face { font-family: "DejaVu Sans"; src: url(fonts/00001.ttf) }