/* Typography trial, loaded only by the German Bot-Labor page. */
main {
    font-family: "IBM Plex Sans", system-ui, -apple-system, BlinkMacSystemFont,
        "Segoe UI", Roboto, Arial, sans-serif;
}