Is the only way to change the hotbutton font size by editing the UI files? Or have they made a much easier method by now?
I just change the size of the hot buttons which make it a larger font. Right click in a button and select change size. Usually around 125 works ok.