The stats HTML output were barely readable on some browsers such as
firefox on Linux, due to the selected helvetica font which is too
small. Specifying "arial" first fixes the issue without changing the
table size. Also, the default size of 0.8em choosen to get 10px out
of 12px is wrong because it gets 9px when rounded down.
(cherry picked from commit
a94f2d2ef944e3f54f50e938ff3c8de1a021f7ff)
(cherry picked from commit
abfb7bdacaec6962da3fd90225dd6ea359b6599c)
"<meta http-equiv=\"content-type\" content=\"text/html; charset=iso-8859-1\">\n"
"<style type=\"text/css\"><!--\n"
"body {"
- " font-family: helvetica, arial;"
+ " font-family: arial, helvetica, sans-serif;"
" font-size: 12px;"
" font-weight: normal;"
" color: black;"
" background: white;"
"}\n"
"th,td {"
- " font-size: 0.8em;"
+ " font-size: 10px;"
" align: center;"
"}\n"
"h1 {"