Turn notimestamp into a positive setting (showtimestamp)
Fix colours on mobile

@creesch introduced this change, but I'm not sure why
Make timestamps smaller and all the same colour on mobile

Different colours on mobile don't really work: either they're too similar to
distinguish (and then it just looks strange), or they're too dark to be visible.