Removed `add_focus_property` from ui.js as it was no longer needed since IE8 is the oldest supported IE. Also cleaned up some IE related functions.
Fixed incorrect background colour in graphite theme because it was less spesific than the CSS core.