Ability to change font size

[Andrjus Frantskjavitsius]

The user should be able to change the font size.

[Kristian K]

This sounds like a very slippery road. It ought to be possible to change font size only semantically, e.g. specifying some text to be a heading or subheading or any other such semantical entity.

Wikipedia tries this approach as well, since no quick search in the help pages states anything about font sizes. See http://en.wikipedia.org/wiki/Help:Cheatsheet

[Kristian K]

... or you mean that the text in the GUI should be scaleable. Yes, it should! :-) Propably the JFX html widget should have this built in in its API, so you could assign simple 'plus'/'minus'/'reset' buttons to according actions.

[Andrjus Frantskjavitsius]

Duplicate of #56.