CSS: hover pseudo class for DockTitles.
Ongoing work on the CSS theme
Merge remote branch 'origin/master'