Comment 2 for bug 1068651

Yep, Gnome 3.6 broke many themes. It sucks when that happens, but it's for the better because they've made improvement to Gnome and now designers can make better themes for the improvements.