Add bold mono font (#7815)

---------

Co-authored-by: Nicolas Ettlin <nicolas.ettlin@me.com>
This commit is contained in:
Ricky
2025-05-16 14:22:52 -04:00
committed by GitHub
parent 9fb051933b
commit 69ce5d36cc
4 changed files with 19 additions and 2 deletions

Binary file not shown.