Highlight effects definitions

1. Added style definitions for highlight
2. Tweaked border radius a bit
3. Added a nice pushbutton effect (button travel)
4. Added a nice shadow under the taskbar.