@page {
    margin-bottom: 5pt;
    margin-top: 5pt
    }
@font-face {
    font-family: DejaVuSansMono;
    src: url(styles/XXXXXXXXXXXXXXXX);
    font-style: normal;
    font-weight: normal
    }
@font-face {
    font-family: DejaVuSansMono;
    src: url(styles/XXXXXXXXXXXXXXXX);
    font-style: normal;
    font-weight: bold
    }
@font-face {
    font-family: DejaVuSansMono;
    src: url(styles/XXXXXXXXXXXXXXXX);
    font-style: italic;
    font-weight: normal
    }
@font-face {
    font-family: DejaVuSansMono;
    src: url(styles/XXXXXXXXXXXXXXXX);
    font-style: italic;
    font-weight: bold
    }
@font-face {
    font-family: AlegreyaSerif;
    src: url(fonts/00001.otf);
    font-style: normal;
    font-weight: normal
    }
@font-face {
    font-family: AlegreyaSerif;
    src: url(styles/XXXXXXXXXXXXXXXX);
    font-style: normal;
    font-weight: bold
    }
@font-face {
    font-family: AlegreyaSerif;
    src: url(fonts/00002.otf);
    font-style: italic;
    font-weight: normal
    }
@font-face {
    font-family: AlegreyaSerif;
    src: url(styles/XXXXXXXXXXXXXXXX);
    font-style: italic;
    font-weight: bold
    }
@font-face {
    font-family: AlegreyaSans;
    src: url(fonts/00003.otf);
    font-style: normal;
    font-weight: normal
    }
@font-face {
    font-family: AlegreyaSans;
    src: url(fonts/00004.otf);
    font-style: normal;
    font-weight: bold
    }
@font-face {
    font-family: AlegreyaSans;
    src: url(fonts/00005.otf);
    font-style: italic;
    font-weight: normal
    }
@font-face {
    font-family: AlegreyaSans;
    src: url(styles/XXXXXXXXXXXXXXXX);
    font-style: italic;
    font-weight: bold
    }
@font-face {
    font-family: GapsTown;
    src: url(styles/XXXXXXXXXXXXXXXX) format("opentype");
    font-style: normal;
    font-weight: normal
    }