[Dillo-dev] [patch] change font size on the fly

Hi, attached patch allows to change the font size form the tools menu. I find this quite handy sometimes. What do you think? Cheers, Johannes