/* Inter (OFL, see fonts/OFL-Inter.txt), the same file as tresenfrei.de: weights 400 to 600 with
   optical size. Serves the app and the framed pages instead of Google Fonts. */
@font-face {
  font-family: "Inter";
  src: url("/static/fonts/inter-opsz.woff2") format("woff2");
  font-weight: 400 600;
  font-style: normal;
  font-display: swap;
}