@page {
  margin-bottom: 5pt;
  margin-top: 5pt;
}
@font-face {
  font-family: "Rowohlt-Serif";
  font-style: normal;
  font-weight: normal;
  src: url(fonts/00012.otf);
}
@font-face {
  font-family: "Rowohlt-Serif";
  font-style: italic;
  font-weight: normal;
  src: url(fonts/00030.otf);
}
@font-face {
  font-family: "Rowohlt-Serif";
  font-style: normal;
  font-weight: bold;
  src: url(fonts/00023.otf);
}
@font-face {
  font-family: "Rowohlt-Serif";
  font-style: italic;
  font-weight: bold;
  src: url(fonts/00029.otf);
}
@font-face {
  font-family: "Rowohlt-Sans";
  font-style: normal;
  font-weight: normal;
  src: url(fonts/00013.otf);
}
@font-face {
  font-family: "Rowohlt-Sans";
  font-style: italic;
  font-weight: normal;
  src: url(fonts/00011.otf);
}
@font-face {
  font-family: "Rowohlt-Sans";
  font-style: normal;
  font-weight: bold;
  src: url(fonts/00018.otf);
}
@font-face {
  font-family: "Rowohlt-Sans";
  font-style: italic;
  font-weight: bold;
  src: url(fonts/00019.otf);
}
@font-face {
  font-family: "Rowohlt-Mono";
  font-style: normal;
  font-weight: normal;
  src: url(fonts/00028.otf);
}
@font-face {
  font-family: "Rowohlt-Mono";
  font-style: italic;
  font-weight: normal;
  src: url(fonts/00014.otf);
}
@font-face {
  font-family: "Rowohlt-Mono";
  font-style: normal;
  font-weight: bold;
  src: url(fonts/00026.otf);
}
@font-face {
  font-family: "Rowohlt-Mono";
  font-style: italic;
  font-weight: bold;
  src: url(fonts/00027.otf);
}
@font-face {
  font-family: "Rowohlt-Ini-1";
  font-style: normal;
  font-weight: normal;
  src: url(fonts/00024.otf);
}
@font-face {
  font-family: "Rowohlt-Ini-2";
  font-style: normal;
  font-weight: normal;
  src: url(fonts/00025.otf);
}
@font-face {
  font-family: "Rowohlt-Ini-3";
  font-style: normal;
  font-weight: normal;
  src: url(fonts/00015.otf);
}
@font-face {
  font-family: "Rowohlt-Ini-4";
  font-style: normal;
  font-weight: normal;
  src: url(fonts/00016.otf);
}
@font-face {
  font-family: "Rowohlt-Ini-5";
  font-style: normal;
  font-weight: normal;
  src: url(fonts/00017.otf);
}
@font-face {
  font-family: "Rowohlt-Ini-6";
  font-style: normal;
  font-weight: normal;
  src: url(fonts/00020.otf);
}
@font-face {
  font-family: "Rowohlt-Ini-7";
  font-style: normal;
  font-weight: normal;
  src: url(fonts/00022.otf);
}
@font-face {
  font-family: "Rowohlt-Ini-8";
  font-style: normal;
  font-weight: normal;
  src: url(fonts/00021.otf);
}