@page {
    margin-bottom: 5pt;
    margin-top: 5pt
    }
@font-face {
    font-family: DejaVuSerif;
    src: url(styles/XXXXXXXXXXXXXXXX);
    font-size: 1em
    }
@font-face {
    font-family: DejaVuSans-Bold;
    src: url(styles/XXXXXXXXXXXXXXXX);
    font-size: 1em
    }