@page {
  margin-bottom: 5pt;
  margin-top: 5pt;
}
@font-face {
  font-family: "MinionVariableConcept-Roman";
  src: url(OPS/fonts/MinionVariableConcept-Roman.otf);
}
@font-face {
  font-family: "MinionPro-Regular";
  src: url(OPS/fonts/MinionPro-Regular.otf);
}
@font-face {
  font-family: "MuseoSans-500";
  src: url(OPS/fonts/MuseoSans-500.otf);
}
@font-face {
  font-family: "MuseoSans-700";
  src: url(OPS/fonts/MuseoSans-700.otf);
}
@font-face {
  font-family: "MuseoSans-300";
  src: url(OPS/fonts/MuseoSans-300.otf);
}
@font-face {
  font-family: "MuseoSans-300Italic";
  src: url(OPS/fonts/MuseoSans-300Italic.otf);
}
@font-face {
  font-family: "NotoSansMath-Regular";
  src: url(OPS/fonts/NotoSansMath-Regular.ttf);
}
@font-face {
  font-family: "RobotoMono-Italic-VariableFont_wght";
  src: url(OPS/fonts/RobotoMono-Italic-VariableFont_wght.ttf);
}
@font-face {
  font-family: "RobotoMono-VariableFont_wght";
  src: url(OPS/fonts/RobotoMono-VariableFont_wght.ttf);
}
