Custom font size

[ExpLog]

Being able to adjust the font size application wide would be extremely helpful, as the current font size can be tiny for some of us.

[fabiospampinato]

You can do that via View -> Zoom In/Out already. Maybe there should be a setting for preserving this across restarts though.

[arpit]

View -> Zoom In/Out will scale the button sizes and all chrome elements as well.

Generally a "preferences" window would be useful to add that allows for different font sizes, fonts, or the ability to just add a custom CSS rule.

[fabiospampinato]

Let's wait until proper settings #476 are implement first.