/* Fontin / Fontin SmallCaps: a font by Jos Buivenga (exljbris) -> www.exljbris.com
   Free for personal and commercial use; attribution comment retained per the
   exljbris EULA (https://www.exljbris.com/eula.html). Self-hosted to avoid a
   runtime dependency on GGG's CDN. */
@font-face {
  font-family: 'FontinSmallCaps';
  src: url('/static/fonts/fontin-smallcaps-webfont.woff') format('woff');
  font-display: swap;
}
@font-face {
  font-family: 'FontinRegular';
  src: url('/static/fonts/fontin-regular-webfont.woff') format('woff');
  font-display: swap;
}
/* OptimusPrinceps by Manfred Klein — free for personal and commercial use. */
@font-face {
  font-family: 'OptimusPrincepsSemiBold';
  src: url('/static/fonts/OptimusPrincepsSemiBold.ttf') format('truetype');
  font-display: swap;
}