@font-face {
  font-family: "Times";
}
@font-face {
  font-family: "TimesBold";
  font-weight: bold;
}
@font-face {
  font-family: "TimesItalic";
  font-style: italic;
}
@font-face {
  font-family: "TimesBoldItalic";
  font-weight: bold;
  font-style: italic;
}
@page {
  margin: 2mm;
}
body {
  margin-right: 24pt;
  font-family: Times;
  font-style: normal;
  font-weight: normal;
  orphans: 2;
  widows: 2;
}
i {
  font-family: TimesItalic;
  font-style: italic;
}
sup {
  line-height: 0%;
}
.ident {
  text-align: center;
  -webkit-hyphens: none;
  -moz-hyphens: none;
  -ms-hyphens: none;
  -o-hyphens: none;
  hyphens: none;
  font-size: small;
}
.info, .trad {
  margin-top: 2em;
  margin-bottom: 0;
  margin-left: 1em;
  text-align: justify;
}
.copy, .isbn {
  margin-top: 2em;
  margin-bottom: 0;
  margin-left: 1em;
  text-align: justify;
}
.modulus {
  margin-top: 1em;
  margin-bottom: 1em;
  margin-left: 1.5em;
  margin-right: 1.5em;
  text-align: justify;
  font-size: xx-small;
}
p {
  margin-top: 0;
  margin-bottom: 0;
}
.dedi {
  font-family: TimesItalic;
  font-style: italic;
  page-break-before: always;
  page-break-after: always;
  padding-top: 35%;
  margin-bottom: 0;
  margin-left: 40%;
  text-align: right;
  text-indent: 0;
  font-size: small;
}