I haven't complimented our fantastic documentation lately. It is truely
amazing!!
Is it true for anyone else that the effective font for all the HTML
enclosed in <code> tags is somewhat smaller which in not a problem
except for symbols like "^", etc.? If so would anyone consider adding a
style for <code> tags which slightly increased the font size.
I see this with Firefox 3 and the latest Debian version of SeaMonkey.
Thanks for reading this,
Paul Scott
_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/lilypond-devel
