/* Public Sans, self-hosted.

   Vendored rather than pulled from Google Fonts: this application runs
   on a LAN alongside the loan system, and a webfont that needs the
   internet is a page that renders wrong the moment the line drops.
   Only the four weights the UI actually uses are shipped. */

@font-face {
    font-family: 'Public Sans';
    font-style: normal;
    font-weight: 400;
    font-display: swap;
    src: url('files/public-sans-latin-400-normal.woff2') format('woff2');
}
@font-face {
    font-family: 'Public Sans';
    font-style: normal;
    font-weight: 500;
    font-display: swap;
    src: url('files/public-sans-latin-500-normal.woff2') format('woff2');
}
@font-face {
    font-family: 'Public Sans';
    font-style: normal;
    font-weight: 600;
    font-display: swap;
    src: url('files/public-sans-latin-600-normal.woff2') format('woff2');
}
@font-face {
    font-family: 'Public Sans';
    font-style: normal;
    font-weight: 700;
    font-display: swap;
    src: url('files/public-sans-latin-700-normal.woff2') format('woff2');
}