__html__ pretty-printer