@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-Italic.ttf); font-family: "DejaVu Serif"; panose-1: 2 6 6 3 5 3 5 11 2 4; font-style: italic } @font-face { src: url(fonts/DejaVu-Serif-Condensed.ttf); font-family: "DejaVu Serif"; panose-1: 2 6 6 6 5 6 5 2 2 4; font-stretch: semi-condensed } @font-face { src: url(fonts/DejaVu-Serif-Bold.ttf); font-family: "DejaVu Serif"; panose-1: 2 6 8 3 5 6 5 2 2 4; font-weight: bold } @font-face { src: url(fonts/DejaVu-Serif-Bold-Italic.ttf); font-family: "DejaVu Serif"; panose-1: 2 6 8 3 5 3 5 11 2 4; font-style: italic; font-weight: bold } @font-face { src: url(fonts/DejaVu-Serif-Condensed-Italic.ttf); font-family: "DejaVu Serif"; panose-1: 2 6 6 6 5 3 5 11 2 4; font-style: italic; font-stretch: semi-condensed } @font-face { src: url(fonts/DejaVu-Serif-Condensed-Bold.ttf); font-family: "DejaVu Serif"; panose-1: 2 6 8 6 5 6 5 2 2 4; font-stretch: semi-condensed; font-weight: bold } @font-face { font-family: "DejaVu Serif"; src: url(fonts/DejaVu-Serif-Condensed-Bold-Italic.ttf); panose-1: 2 6 8 6 5 3 5 11 2 4; font-style: italic; font-weight: bold; font-stretch: semi-condensed }