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.