/* FRM Figure Mono: DejaVu Sans Mono 2.37, subset to the characters the figures use and renamed as
   the Bitstream Vera licence requires of a modified copy. Licence: LICENSE-DejaVu.txt */
@font-face{font-family:"FRM Figure Mono";src:url("frm-figure-mono.woff2") format("woff2");font-weight:400;font-style:normal;font-display:block}