/* Open Sans, lokal ausgeliefert. Bewusst kein Google Fonts:
   die Seite argumentiert mit Datensouveränität, da lädt man keine
   Besucher-IPs zu einem US-Anbieter. */
@font-face{font-family:'Open Sans';font-style:normal;font-weight:300;font-display:swap;
  src:url('opensans-light-webfont.woff2') format('woff2'),url('opensans-light-webfont.woff') format('woff');}
@font-face{font-family:'Open Sans';font-style:normal;font-weight:400;font-display:swap;
  src:url('opensans-regular-webfont.woff2') format('woff2'),url('opensans-regular-webfont.woff') format('woff');}
@font-face{font-family:'Open Sans';font-style:normal;font-weight:700;font-display:swap;
  src:url('opensans-bold-webfont.woff2') format('woff2'),url('opensans-bold-webfont.woff') format('woff');}