Move the ruler's timecodes down by a few pixels to fit with GTK/Adwaita 3.14+'s slim paned handles
@jeff
Submitted by Jeff F.T. Assigned to Alex Băluț @aleb
Description
Created attachment 288420
screenshot
As this screenshot demonstrates, the dividers between various parts of the UI are now slimmer (a thin black line). This is all fine and dandy, but now our time labels look "too close" to that line at the top of the ruler.
My suggestion would be to lower just the labels, by 3 pixels, to give them some "breathing space" above.
We could also shorten all the mid & minor "ticks" on the rulers by the same amount (the "major" ticks going all the way up to the divider looks fine to me).
Imported from https://bugzilla.gnome.org/show_bug.cgi?id=738481