Made the timestamp less imposing (decreased font size) to fix a visual bug (Issue#124)