[Mono-docs-list] [PATCH] Change the font size in monodoc

[Mario Sopena]

Hello,

    I've added the possibility to change the font size to monodoc
browser. When monodoc uses gecko, it adds the usual menu items for
changing the font size (larger, smaller and normal) to the View menu.
The change is made through css and it is saved with the settings, so
you don't have to change every time you start the program.
   I've seen Miguel had deleted the FONT_SIZE property of the
css...because it was in px (?). Now font_size is set in %, but tell me
if there is a problem with this approach.

  ok to commit?

Mario
-------------- next part --------------
A non-text attachment was scrubbed...
Name: browser.diff
Type: text/x-patch
Size: 2268 bytes
Desc: not available
Url : http://lists.ximian.com/pipermail/mono-docs-list/attachments/20050817/7b109156/browser.bin
-------------- next part --------------
A non-text attachment was scrubbed...
Name: docbrowser.diff
Type: text/x-patch
Size: 4351 bytes
Desc: not available
Url : http://lists.ximian.com/pipermail/mono-docs-list/attachments/20050817/7b109156/docbrowser.bin