@page {
    margin-bottom: 5pt;
    margin-top: 5pt
    }
@font-face {
    font-family: "DejaVuSerif";
    src: local("☺"), url(styles/XXXXXXXXXXXXXXXX) format("opentype"), url(styles/XXXXXXXXXXXXXXXX) format("truetype");
    font-weight: normal;
    font-style: normal
    }
@font-face {
    font-family: "DejaVuSerif";
    src: local("☺"), url(styles/XXXXXXXXXXXXXXXX) format("truetype");
    font-weight: bold;
    font-style: normal
    }
@font-face {
    font-family: "DejaVuSerif";
    src: local("☺"), url(styles/XXXXXXXXXXXXXXXX) format("truetype");
    font-weight: normal;
    font-style: italic
    }
@font-face {
    font-family: "DejaVuSerif";
    src: local("☺"), url(styles/XXXXXXXXXXXXXXXX) format("truetype");
    font-weight: bold;
    font-style: italic
    }