@page { margin-bottom: 5pt; margin-top: 5pt } @font-face { font-family: DejaVu_Serif; font-style: normal; font-weight: normal; src: url(fonts/00001.ttf) } @font-face { font-family: DejaVu_Serif; font-style: normal; font-weight: bold; src: url(fonts/00002.ttf) } @font-face { font-family: DejaVu_Serif; font-style: italic; font-weight: normal; src: url(fonts/00003.ttf) } @font-face { font-family: DejaVu_Serif; font-style: italic; font-weight: bold; src: url(styles/XXXXXXXXXXXXXXXX) } @font-face { font-family: DejaVu_Serif_Condensed; font-style: normal; font-weight: normal; src: url(styles/XXXXXXXXXXXXXXXX) } @font-face { font-family: DejaVu_Serif_Condensed; font-style: normal; font-weight: bold; src: url(styles/XXXXXXXXXXXXXXXX) } @font-face { font-family: DejaVu_Serif_Condensed; font-style: italic; font-weight: normal; src: url(styles/XXXXXXXXXXXXXXXX) } @font-face { font-family: DejaVu_Serif_Condensed; font-style: italic; font-weight: bold; src: url(styles/XXXXXXXXXXXXXXXX) } @font-face { font-family: DejaVu_Sans; font-style: normal; font-weight: normal; src: url(fonts/00004.ttf) } @font-face { font-family: DejaVu_Sans; font-style: italic; font-weight: normal; src: url(fonts/00005.ttf) } @font-face { font-family: DejaVu_Sans; font-style: normal; font-weight: bold; src: url(styles/XXXXXXXXXXXXXXXX) } @font-face { font-family: DejaVu_Sans; font-style: italic; font-weight: bold; src: url(styles/XXXXXXXXXXXXXXXX) } @font-face { font-family: DejaVu_Sans_Condensed; font-style: normal; font-weight: normal; src: url(styles/XXXXXXXXXXXXXXXX) } @font-face { font-family: DejaVu_Sans_Condensed; font-style: normal; font-weight: bold; src: url(styles/XXXXXXXXXXXXXXXX) } @font-face { font-family: DejaVu_Sans_Condensed; font-style: italic; font-weight: normal; src: url(styles/XXXXXXXXXXXXXXXX) } @font-face { font-family: DejaVu_Sans_Condensed; font-style: italic; font-weight: bold; src: url(styles/XXXXXXXXXXXXXXXX) } @font-face { font-family: DejaVu_Mono; font-style: normal; font-weight: normal; src: url(fonts/00006.ttf) } @font-face { font-family: DejaVu_Mono; font-style: italic; font-weight: normal; src: url(styles/XXXXXXXXXXXXXXXX) } @font-face { font-family: DejaVu_Mono; font-style: normal; font-weight: bold; src: url(styles/XXXXXXXXXXXXXXXX) } @font-face { font-family: DejaVu_Mono; font-style: italic; font-weight: bold; src: url(styles/XXXXXXXXXXXXXXXX) } @font-face { font-family: Gapstown; font-style: normal; font-weight: normal; src: url(styles/XXXXXXXXXXXXXXXX) } @font-face { font-family: Gapstown; font-style: normal; font-weight: bold; src: url(styles/XXXXXXXXXXXXXXXX) }