fix the font used for display time, yet again