@page { margin-bottom: 5pt; margin-top: 5pt } @font-face { src: url(fonts/DejaVu-Serif.ttf); panose-1: 2 6 6 3 5 6 5 2 2 4; font-family: "DejaVu Serif" } @font-face { src: url(fonts/DejaVu-Serif-Bold.ttf); font-weight: bold; panose-1: 2 6 8 3 5 6 5 2 2 4; font-family: "DejaVu Serif" } @font-face { font-stretch: semi-condensed; src: url(fonts/DejaVu-Serif-Condensed.ttf); panose-1: 2 6 6 6 5 6 5 2 2 4; font-family: "DejaVu Serif" } @font-face { src: url(fonts/DejaVu-Serif-Italic.ttf); font-style: italic; panose-1: 2 6 6 3 5 3 5 11 2 4; font-family: "DejaVu Serif" } @font-face { font-stretch: semi-condensed; src: url(fonts/DejaVu-Serif-Condensed-Italic.ttf); font-style: italic; panose-1: 2 6 6 6 5 3 5 11 2 4; font-family: "DejaVu Serif" } @font-face { font-style: italic; src: url(fonts/DejaVu-Serif-Bold-Italic.ttf); font-weight: bold; panose-1: 2 6 8 3 5 3 5 11 2 4; font-family: "DejaVu Serif" } @font-face { font-stretch: semi-condensed; src: url(fonts/DejaVu-Serif-Condensed-Bold.ttf); font-weight: bold; panose-1: 2 6 8 6 5 6 5 2 2 4; font-family: "DejaVu Serif" } @font-face { font-style: italic; panose-1: 2 6 8 6 5 3 5 11 2 4; src: url(fonts/DejaVu-Serif-Condensed-Bold-Italic.ttf); font-weight: bold; font-family: "DejaVu Serif"; font-stretch: semi-condensed }