Fix bug #4013 “"Menu path" font size in Hotkeys tab is too small”