/* IBM Plex Mono – lokal eingebunden statt über fonts.googleapis.com.
   Enthalten sind nur die Schnitte, die das Stylesheet wirklich benutzt;
   das entspricht dem, was zuvor von Google angefordert wurde.
   Dateien: wwwroot/fonts/ibm-plex-mono/ */

@font-face {
    font-family: "IBM Plex Mono";
    font-style: normal;
    font-weight: 400;
    font-display: swap;
    src: url("../fonts/ibm-plex-mono/IBMPlexMono-Regular.ttf") format("truetype");
}

@font-face {
    font-family: "IBM Plex Mono";
    font-style: normal;
    font-weight: 500;
    font-display: swap;
    src: url("../fonts/ibm-plex-mono/IBMPlexMono-Medium.ttf") format("truetype");
}