@page {
    margin-bottom: 5pt;
    margin-top: 5pt
    }
@font-face {
    font-family: "Subset-DejaVu Serif";
    font-style: normal;
    font-weight: normal;
    src: url(fonts/00056.ttf)
    }
@font-face {
    font-family: "Subset-DejaVu Serif";
    font-style: italic;
    font-weight: normal;
    src: url(fonts/00054.ttf)
    }
@font-face {
    font-family: "Subset-DejaVu Serif";
    font-style: normal;
    font-weight: bold;
    src: url(fonts/00058.ttf)
    }
@font-face {
    font-family: "Subset-DejaVu Serif";
    font-style: italic;
    font-weight: bold;
    src: url(fonts/00052.ttf)
    }
@font-face {
    font-family: "Subset-DejaVu Sans";
    font-style: normal;
    font-weight: normal;
    src: url(fonts/00057.ttf)
    }
@font-face {
    font-family: "Subset-DejaVu Sans";
    font-style: italic;
    font-weight: normal;
    src: url(fonts/00060.ttf)
    }
@font-face {
    font-family: "Subset-DejaVu Sans";
    font-style: normal;
    font-weight: bold;
    src: url(fonts/00062.ttf)
    }
@font-face {
    font-family: "Subset-DejaVu Sans";
    font-style: italic;
    font-weight: bold;
    src: url(fonts/00059.ttf)
    }
@font-face {
    font-family: "Subset-DejaVu Sans Mono";
    font-style: normal;
    font-weight: normal;
    src: url(fonts/00055.ttf)
    }
@font-face {
    font-family: "Subset-DejaVu Sans Mono";
    font-style: italic;
    font-weight: normal;
    src: url(fonts/00061.ttf)
    }
@font-face {
    font-family: "Subset-DejaVu Sans Mono";
    font-style: normal;
    font-weight: bold;
    src: url(fonts/00053.ttf)
    }
@font-face {
    font-family: "Subset-DejaVu Sans Mono";
    font-style: italic;
    font-weight: bold;
    src: url(fonts/00051.ttf)
    }