Decker fonts are composed of fixed-size bitmaps. The included example "fonts.deck" has a variety of additional fonts to choose from in various sizes, and an editor:

https://beyondloom.com/decker/fonts.html

We also recently gained a library for working with vector-based text:

https://beyondloom.com/decker/hershey.html

[deleted]

Ah. That would have been good to know! I was looking mostly in the interface for a font size tweaker of some kind.