@page {
  margin-bottom: 5pt;
  margin-top: 5pt;
}
@font-face {
  font-family: "Cinzel Bold";
  font-style: normal;
  font-weight: bold;
  src: url(OPS/fonts/Cinzel-Bold.otf);
}
@font-face {
  font-family: "Bitstream Vera Sans Mono";
  src: url(OPS/fonts/VeraMono.ttf);
}
@font-face {
  font-family: "Times New Roman";
  font-style: normal;
  font-weight: normal;
  src: url(OPS/fonts/times.ttf);
}
@font-face {
  font-family: "Times New Roman";
  font-style: normal;
  font-weight: bold;
  src: url(OPS/fonts/timesbd.ttf);
}
@font-face {
  font-family: "Times New Roman";
  font-style: italic;
  font-weight: bold;
  src: url(OPS/fonts/timesbi.ttf);
}
@font-face {
  font-family: "Times New Roman";
  font-style: italic;
  font-weight: normal;
  src: url(OPS/fonts/timesi.ttf);
}
@font-face {
  font-family: Arial;
  font-style: normal;
  font-weight: normal;
  src: url(OPS/fonts/arial.ttf);
}
@font-face {
  font-family: Arial;
  font-style: normal;
  font-weight: bold;
  src: url(OPS/fonts/arialbd.ttf);
}
@font-face {
  font-family: Arial;
  font-style: italic;
  font-weight: bold;
  src: url(OPS/fonts/arialbi.ttf);
}
@font-face {
  font-family: Arial;
  font-style: italic;
  font-weight: normal;
  src: url(OPS/fonts/ariali.ttf);
}