mpv-player/mpv — pull request #895 by saivert (2014-06-30 18:04:21+00:00)
Title: Set dark theme variant for Gnome 3 Desktop

We can probably make this configurable later but it seems the standard pattern is for most media related apps to use the dark theme (Totem does this and Eye of gnome does it).