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