sync both themes with SeaMonkey 2.42 to 2.45 classic theme changes