Add a hidden preference to control the size of the UI's monospaced font.