@page {
    margin-bottom: 5pt;
    margin-top: 5pt
    }
@font-face {
    font-family: DejaVuSans;
    font-weight: bold;
    src: url(fonts/00015.ttf)
    }
@font-face {
    font-family: DejaVuSans;
    src: url(fonts/00016.ttf)
    }
@font-face {
    font-family: DejaVuSerif;
    font-style: italic;
    src: url(fonts/00017.ttf)
    }
@font-face {
    font-family: DejaVuSerif;
    font-weight: bold;
    src: url(fonts/00018.ttf)
    }
@font-face {
    font-family: DejaVuSerif;
    src: url(fonts/00019.ttf)
    }