[GRASS-dev] help font size

[Hamish]

Michael wrote:
> What do folks think about increasing the font size on the
> manual pages that show up under the "manual" tab in GRASS
> modules. The current size set is 10, but it seems really small
> to me and difficult to read. Setting it to 12 is still small,
> but readable. But maybe it looks fine on other computers. Am I
> the only one that think it looks really tiny?

it looks a wee bit small to me too, but I wonder how well the
usage section fits for those working on a small netbook?


Hamish

ps- I just tried: ctrl-mouse wheel doesn't help :)