Customized Gnome Panel clock.

Nice, but I was able to do all of these things before I made this adjustment. AFAICS, nothing new resulted.