/* Inter (c) The Inter Project Authors, SIL Open Font License 1.1.
   DejaVu Sans Mono (c) Bitstream, Inc. and the DejaVu contributors, Bitstream Vera license.
   Both are subset to Latin and ship with the app, so every device renders the same lettering. */
@font-face { font-family: 'Inter'; font-style: normal; font-weight: 400; font-display: swap; src: url(fonts/Inter-400.woff) format('woff'); }
@font-face { font-family: 'Inter'; font-style: normal; font-weight: 500; font-display: swap; src: url(fonts/Inter-500.woff) format('woff'); }
@font-face { font-family: 'Inter'; font-style: normal; font-weight: 600; font-display: swap; src: url(fonts/Inter-600.woff) format('woff'); }
@font-face { font-family: 'DejaVu Sans Mono'; font-style: normal; font-weight: 400; font-display: swap; src: url(fonts/DejaVuSansMono-400.woff) format('woff'); }