HtmlResultFormatter: improved css