A simple theme for gnome-shell 3.10.