<off-topic>
Tip: with currently available UI options, to quickly change the font size (still limited to the preset values): hover with the mouse pointer over the font size input box on the controls bar and scroll the mouse wheel (don't click into the entry box, else the mouse pointer gets kind of stuck there and has to be moved out explicitly).
</off-topic>
<off-topic>
Tip: with currently available UI options, to quickly change the font size (still limited to the preset values): hover with the mouse pointer over the font size input box on the controls bar and scroll the mouse wheel (don't click into the entry box, else the mouse pointer gets kind of stuck there and has to be moved out explicitly).
</off-topic>