Gnome3 runs the UI by JS: here there are my changes to its interface. Every commit would be something really easy to export as Gnome3 extension.