More compact visual style for a few widgets:
- Button: switched default color to plain instead of gradient. Height from 5gu to 4gu.
- OptionSelector: row height from 6gu to 5gu.
- Slider: much thinner visual style.
- Switch: size from 10gu x 5gu to 8gu x 4gu.
- CheckBox: size from 4.25gu x 4gu to 3.25gu x 3gu.
- smaller 'x-large' font size. Fixes: 1276173