Firebug theme breaks integrated DevTools themes #49 (part II.)