Bug 1094509 - Switch to light devedition theme when light devtools theme is applied;r=Gijs