Fixed: Firefox theme options js problem