/* Fonts for the standalone report documents: the reports ask for Inter / IBM Plex Mono; Inter maps to DM Sans. */
@font-face { font-family: 'Inter'; src: url('/fonts/DMSans-Variable.woff2') format('woff2'); font-weight: 400 700; font-display: swap; }
@font-face { font-family: 'IBM Plex Mono'; src: url('/fonts/IBMPlexMono-Variable.woff2') format('woff2'); font-weight: 400 700; font-display: swap; }