make new dev toolbox in FF 20+ look good as well2012-12-30T20:26:14ZRobert Kaiserrobert@widebook.box.kairo.atRobert Kaiserrobert@widebook.box.kairo.at2012-12-30T20:26:14Zhttps://git-public.kairo.at/?p=themes.git;a=commitdiff;h=445863a284a9920d9f9633ca01b87ca65609a94c