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