Thanks! Explicitly setting the font resolves the warning.
Maybe DejaVu Sans Mono would work better as the default font. It is available on the web-app and preinstalled on most Linux distributions. However I see that Ubuntu Mono probably looks better.
Another option would be to set the default font to default-font-family: ("Ubuntu Mono", "DejaVu Sans Mono"). This will still cause the warning. However it will make sure a Monospace font is used even when Ubuntu Mono is not installed.
Anyway, thank you for this awesome package!
Thanks! Explicitly setting the font resolves the warning.
Maybe `DejaVu Sans Mono` would work better as the default font. It is available on the web-app and preinstalled on most Linux distributions. However I see that _Ubuntu Mono_ probably looks better.
Another option would be to set the default font to `default-font-family: ("Ubuntu Mono", "DejaVu Sans Mono")`. This will still cause the warning. However it will make sure a Monospace font is used even when _Ubuntu Mono_ is not installed.
Anyway, thank you for this awesome package!
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
When using rivet-typst 0.3.0 on the typst.app web editor it generates the warning "Unknown font family: ubuntu mono"
You can configure an alternative font using the config options
default-font-familyanditalic-font-familyFor example:
I do agree that putting Ubuntu Mono as the default is not ideal since it is not available on the web-app
Thanks! Explicitly setting the font resolves the warning.
Maybe
DejaVu Sans Monowould work better as the default font. It is available on the web-app and preinstalled on most Linux distributions. However I see that Ubuntu Mono probably looks better.Another option would be to set the default font to
default-font-family: ("Ubuntu Mono", "DejaVu Sans Mono"). This will still cause the warning. However it will make sure a Monospace font is used even when Ubuntu Mono is not installed.Anyway, thank you for this awesome package!