I am running Gnome shell 3.12.2 on Ubuntu 14.04. Lately, after a few updates there seem to be some graphical errors, most notably a strange blur around dialogue boxes, menu options etc. I am guessing this is just messed up shadow around the boxes but do not know how to fix it. The red area in the screenshot below gives an idea of what I am talking about. Please help!
