linuxmint/Cinnamon — pull request #355 by Dreckr (2012-02-18 18:58:43+00:00)
Title: Changed Panel Launcher's hover style to make it more highlighted

... and changed box shadow with border (same effect, slightly better performance)