Perhaps someone likes this more compact theme for Gnome shell 3.6. Unpack it and install the deb file.
Make sure that you have the extension < user themes > installed.
In gnome-tweak-tool:
chose shell-theme: < Theme-laptop >
Best regards,
Otto Meijer
Bookmarks