(wip) New Firebug theme option in Toolbox options #2