@font-face{font-family:'Noto Mono HR';src:url('NotoSansMono-Regular.ttf') format('truetype');font-weight:400;font-style:normal}.noto-mono-hr{font-family:'Noto Mono HR',monospace}@font-face{font-family:'Noto Mono HR';src:url('NotoSansMono-Bold.ttf') format('truetype');font-weight:700;font-style:normal}