More compact HTML output