Linux: change font size?

[Gabriel Alejandro Zorrilla]

Hi there. On Linux i dont find an option to change font and it's size (editor-wise)?

How do i do it?

Thanks!

[Graham Harris]

Hi Gabriel,

The font name you change by setting [global.font: Verdana ] in Wiki Settings. In the View tree, drill down through global -> font.

on Linux I use Bitstream Vera Sans through Synaptic instead Verdana because of poor Ligature handling in Verdana on Ubuntu

I don't know how to set the font size directly, I use control-+ or control-minus keystrokes for that.