@page {
    margin-bottom: 5pt;
    margin-top: 5pt
    }
@font-face {
    font-family: "DejaVu Serif";
    src: url(fonts/DejaVu-Serif.ttf)
    }
@font-face {
    font-family: "DejaVu Serif";
    src: url(fonts/DejaVu-Serif-Condensed.ttf);
    font-stretch: semi-condensed
    }
@font-face {
    font-family: "DejaVu Serif";
    src: url(fonts/DejaVu-Serif-Italic.ttf);
    font-style: italic
    }
@font-face {
    font-family: "DejaVu Serif";
    src: url(fonts/DejaVu-Serif-Bold.ttf);
    font-weight: bold
    }
@font-face {
    font-family: "DejaVu Serif";
    font-style: italic;
    src: url(fonts/DejaVu-Serif-Bold-Italic.ttf);
    font-weight: bold
    }
@font-face {
    font-family: "DejaVu Serif";
    font-stretch: semi-condensed;
    src: url(fonts/DejaVu-Serif-Condensed-Bold.ttf);
    font-weight: bold
    }
@font-face {
    font-family: "DejaVu Serif";
    font-stretch: semi-condensed;
    src: url(fonts/DejaVu-Serif-Condensed-Italic.ttf);
    font-style: italic
    }
@font-face {
    src: url(fonts/DejaVu-Serif-Condensed-Bold-Italic.ttf);
    font-family: "DejaVu Serif";
    font-weight: bold;
    font-stretch: semi-condensed;
    font-style: italic
    }
@font-face {
    font-family: "DejaVu Serif";
    src: url(fonts/DejaVu-Serif1.ttf)
    }
@font-face {
    font-family: "DejaVu Serif";
    src: url(fonts/DejaVu-Serif-Bold1.ttf);
    font-weight: bold
    }
@font-face {
    font-family: "DejaVu Serif";
    font-stretch: semi-condensed;
    src: url(fonts/DejaVu-Serif-Condensed1.ttf)
    }
@font-face {
    font-family: "DejaVu Serif";
    src: url(fonts/DejaVu-Serif-Italic1.ttf);
    font-style: italic
    }
@font-face {
    font-family: "DejaVu Serif";
    src: url(fonts/DejaVu-Serif-Bold-Italic1.ttf);
    font-weight: bold;
    font-style: italic
    }
@font-face {
    font-family: "DejaVu Serif";
    font-stretch: semi-condensed;
    src: url(fonts/DejaVu-Serif-Condensed-Bold1.ttf);
    font-weight: bold
    }
@font-face {
    font-family: "DejaVu Serif";
    font-stretch: semi-condensed;
    src: url(fonts/DejaVu-Serif-Condensed-Italic1.ttf);
    font-style: italic
    }
@font-face {
    font-stretch: semi-condensed;
    src: url(fonts/DejaVu-Serif-Condensed-Bold-Italic1.ttf);
    font-style: italic;
    font-family: "DejaVu Serif";
    font-weight: bold
    }