@page {
    margin-bottom: 5pt;
    margin-top: 5pt
    }
@font-face {
    font-family: "DejaVuSerif";
    font-style: normal;
    font-weight: normal;
    src: url(OEBPS/Fonts/DejaVuSerif.otf)
    }
@font-face {
    font-family: "DejaVuSans";
    font-style: normal;
    font-weight: bold;
    src: url(OEBPS/Fonts/DejaVuSans-Bold.otf)
    }
@font-face {
    font-family: "Ubuntu Mono";
    font-weight: normal;
    font-style: normal;
    src: url(OEBPS/Fonts/UbuntuMono-Regular.otf)
    }
@font-face {
    font-family: "Ubuntu Mono Bold";
    font-style: normal;
    font-weight: bold;
    src: url(OEBPS/Fonts/UbuntuMono-Bold.otf)
    }
@font-face {
    font-family: "Ubuntu Mono BoldItal";
    font-weight: bold;
    font-style: italic;
    src: url(OEBPS/Fonts/UbuntuMono-BoldItalic.otf)
    }
@font-face {
    font-family: "Ubuntu Mono Ital";
    font-weight: normal;
    font-style: italic;
    src: url(OEBPS/Fonts/UbuntuMono-Italic.otf)
    }