Bug 1096469 - Make devedition theme work with custom devtools themes;r=Gijs