restore ardour-style ruler labels for timecode ruler.

Also reduce font size used to a cross-platform single definition.
reduce all default font sizes on Linux by 80%

If you use font scaling of 80% you may wish to reset it to 100% to get almost the exact same font sizes as previously. Normal size is now 8pt,
rather then 10pt as before