I DID do it. Its real easy, it takes 5 minuets of your time to re-upload this for everyone else.
just replace ./gnome-shell/gnome-shell.css with this one in your theme and it works:
[link]I just uploaded that from the modified file on my computer, literally 4 lines of code were changed.