This time we are going to change the font size. You have to change it in your theme lua. So it is to be changed in every theme.
In the rc.lua you can change also the tagnames.
We change the size of fonts and change the width and height of the menu.
Exaggerate with the numbers then save, reload and analyze.