Update with files generated on Mac OS X.
User interface tweaks for Mac OS X.

Apply workaround for overlapping buttons.
Modify minimum size and vertical policy for some sliders. These should
fix most if not all overlapping and partially hidden widget issues