Make the default (non-native) workspace lighter, especially on Windows.

Change-Id: Ie1cc5817a5b75f129791da450105ffee07438900
rulers: Make the numbers a bit smaller, and always with odd size.

Change-Id: Id27bb0435d00f2026ff8c82ed246ca67947e9e42
rulers: Let's hide them by default.

2 years ago this was a hot topic on UX-advise :-) - let's see if people are
more happy with hiding them by default now.

Change-Id: If4946538232c7579f7ce03d4947360645fb4967d