@page {
    margin-bottom: 5pt;
    margin-top: 5pt
    }
@font-face {
    font-family: "DejaVuSerifCondensed";
    src: url(ops/fonts/DejaVuSerifCondensed.ttf);
    font-style: normal;
    font-weight: normal
    }
@font-face {
    font-family: "DejaVuSerifCondensed";
    src: url(ops/fonts/DejaVuSerifCondensed-Bold.ttf);
    font-style: normal;
    font-weight: bold
    }
@font-face {
    font-family: "DejaVuSerifCondensed";
    src: url(ops/fonts/DejaVuSerifCondensed-BoldItalic.ttf);
    font-style: italic;
    font-weight: bold
    }
@font-face {
    font-family: "DejaVuSerifCondensed";
    src: url(ops/fonts/DejaVuSerifCondensed-Italic.ttf);
    font-style: italic;
    font-weight: normal
    }
@font-face {
    font-family: "DejaVuSansR";
    src: url(ops/fonts/DejaVuSansCondensed.ttf);
    font-style: normal;
    font-weight: normal
    }
@font-face {
    font-family: "DejaVuSansB";
    src: url(ops/fonts/DejaVuSansCondensed-Bold.ttf);
    font-style: normal;
    font-weight: bold
    }
@font-face {
    font-family: "DejaVuSansI";
    src: url(ops/fonts/DejaVuSansCondensed-Oblique.ttf);
    font-style: italic;
    font-weight: normal
    }
@font-face {
    font-family: "DejaVuSansBI";
    src: url(ops/fonts/DejaVuSansCondensed-BoldOblique.ttf);
    font-style: italic;
    font-weight: bold
    }