Right now the font size is hardcoded in `renderer.cpp`, it'd be good to make the menu font size part of the theme definition.
Right now the font size is hardcoded in
renderer.cpp, it'd be good to make the menu font size part of the theme definition.