use pre white-space formatting for time