@page {
    margin-bottom: 5pt;
    margin-top: 5pt
    }
@font-face {
    font-family: DejaVuSerif;
    font-style: normal;
    font-weight: normal;
    src: url(fonts/00001.ttf)
    }
@font-face {
    font-family: DejaVuSerif;
    font-style: italic;
    font-weight: normal;
    src: url(fonts/00002.ttf)
    }
@font-face {
    font-family: DejaVuSerif;
    font-style: normal;
    font-weight: bold;
    src: url(fonts/00003.dat)
    }
@font-face {
    font-family: DejaVuSerif;
    font-style: italic;
    font-weight: bold;
    src: url(fonts/00004.dat)
    }
@font-face {
    font-family: DejaVuSans;
    font-style: normal;
    font-weight: normal;
    src: url(fonts/00005.ttf)
    }
@font-face {
    font-family: DejaVuSans;
    font-style: italic;
    font-weight: normal;
    src: url(fonts/00006.ttf)
    }
@font-face {
    font-family: DejaVuSans;
    font-style: normal;
    font-weight: bold;
    src: url(fonts/00007.dat)
    }
@font-face {
    font-family: DejaVuSans;
    font-style: italic;
    font-weight: bold;
    src: url(fonts/00008.dat)
    }
@font-face {
    font-family: DejaVuSansMono;
    font-style: normal;
    font-weight: normal;
    src: url(fonts/00009.dat)
    }
@font-face {
    font-family: DejaVuSansMono;
    font-style: italic;
    font-weight: normal;
    src: url(fonts/00010.dat)
    }
@font-face {
    font-family: DejaVuSansMono;
    font-style: normal;
    font-weight: bold;
    src: url(fonts/00011.dat)
    }
@font-face {
    font-family: DejaVuSansMono;
    font-style: italic;
    font-weight: bold;
    src: url(fonts/00012.dat)
    }