/* Inter, as used by the existing internal portal; bundled for same-origin loading. */
@font-face{font-family:Inter;src:url('fonts/Inter.ttf') format('truetype');font-style:normal;font-weight:100 900;font-display:swap}