Skip to content
Discussion options

You must be logged in to vote

Sorry for necro-bumping this old post.

I was also looking for this but found nothing.

After inspecting the preview generation workflow and preview generation script it seems the font used is called Space Mono.

Hope this can help someone find it in the future.

Replies: 1 comment 1 reply

Comment options

You must be logged in to vote
1 reply
@oliveiralecca
Comment options

Answer selected by oliveiralecca
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants