@page {
    margin-bottom: 5pt;
    margin-top: 5pt
    }
@font-face {
    font-family: "pa_DejaVuSerif";
    font-style: normal;
    font-weight: normal;
    src: url(fonts/00011.ttf)
    }
@font-face {
    font-family: "pa_DejaVuSerif";
    font-style: italic;
    font-weight: normal;
    src: url(fonts/00012.ttf)
    }
@font-face {
    font-family: "pa_DejaVuSerif";
    font-style: normal;
    font-weight: bold;
    src: url(fonts/00010.ttf)
    }
@font-face {
    font-family: "pa_DejaVuSerif";
    font-style: italic;
    font-weight: bold;
    src: url(styles/XXXXXXXXXXXXXXXX)
    }
@font-face {
    font-family: "pa_DejaVuSans";
    font-style: normal;
    font-weight: normal;
    src: url(styles/XXXXXXXXXXXXXXXX)
    }
@font-face {
    font-family: "pa_DejaVuSans";
    font-style: italic;
    font-weight: normal;
    src: url(fonts/00009.ttf)
    }
@font-face {
    font-family: "pa_DejaVuSans";
    font-style: normal;
    font-weight: bold;
    src: url(fonts/00013.ttf)
    }
@font-face {
    font-family: "pa_DejaVuSans";
    font-style: italic;
    font-weight: bold;
    src: url(styles/XXXXXXXXXXXXXXXX)
    }
@font-face {
    font-family: "pa_DejaVuSansMono";
    font-style: normal;
    font-weight: normal;
    src: url(styles/XXXXXXXXXXXXXXXX)
    }
@font-face {
    font-family: "pa_DejaVuSansMono";
    font-style: italic;
    font-weight: normal;
    src: url(styles/XXXXXXXXXXXXXXXX)
    }
@font-face {
    font-family: "pa_DejaVuSansMono";
    font-style: normal;
    font-weight: bold;
    src: url(styles/XXXXXXXXXXXXXXXX)
    }
@font-face {
    font-family: "pa_DejaVuSansMono";
    font-style: italic;
    font-weight: bold;
    src: url(styles/XXXXXXXXXXXXXXXX)
    }