Firefox Themes - misc. tweaks