@page {
    margin-bottom: 5pt;
    margin-top: 5pt
    }
@font-face {
    font-family: DejaVuSerif;
    font-style: normal;
    font-weight: normal;
    src: url(../Fonts/DejaVuSerif.ttf)
    }
@font-face {
    font-family: DejaVuSerif-Bold;
    src: url(../Fonts/DejaVuSerif-Bold.ttf)
    }
@font-face {
    font-family: DejaVuSerif-Italic;
    src: url(../Fonts/DejaVuSerif-Italic.ttf)
    }
@font-face {
    font-family: DejaVuSans;
    font-style: normal;
    font-weight: normal;
    src: url(../Fonts/DejaVuSansCondensed.ttf)
    }
@font-face {
    font-family: DejaVuSans-Oblique;
    src: url(../Fonts/DejaVuSansCondensed-Oblique.ttf)
    }
@font-face {
    font-family: DejaVuSans-Bold;
    src: url(../Fonts/DejaVuSansCondensed-Bold.ttf)
    }