Use HTML macro instead of "normal" function for displaying times.