This reverts commit fb933fc6. The commit broke buildbots due to non-ASCII characters in HTMLLogger.css.