If you look in help.stylesheet, there are styles used for various parts of
the help system. You can see font-family and font-sizes that are used.
Thanks, that works great.
Btw, if you update, Cmd: +/- work to increase or decrease font size (it
uses the Alt key on Windows/Linux) in the browser. It would be great to
get this working for the listener as well, and other windows, but its a bit
more work...
--
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk