Set the font size to 12pt in the HTML user manual.
This will be visible at http://www.nmr-relax.com/manual/1.3/relax.html with a new relax release.
Authored by: bugman 2011-01-22
Parent: [r12438]
Child: [r12440]
