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