adopt both themes for changes affecting add-ons manager between Mozilla 6 and 7
[themes.git] / EarlyBlue / mozapps / pref /
drwxr-xr-x   ..
-rw-r--r-- 67 check.gif
-rw-r--r-- 59 dot.gif
-rw-r--r-- 2819 pref.css