/* Self-hosted rather than loaded from Google Fonts: the privacy page states the
   site contacts no third party, and hotlinking Google Fonts would make that false.

   TTF rather than WOFF2 only because no converter was available in this
   environment — running the two files through woff2_compress would cut roughly
   70% off them and is worth doing. */

@font-face {
  font-family: 'RobotoSlab';
  src: url('../fonts/RobotoSlab-Regular.ttf') format('truetype');
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: 'RobotoSlab';
  src: url('../fonts/RobotoSlab-Bold.ttf') format('truetype');
  font-weight: 700;
  font-style: normal;
  font-display: swap;
}