See #73 Better display for timer div.