HtmlResultFormatter: made fonts a bit smaller