Set Firebug theme when Firebug is enabled (issue #85)