sync both themes with DOM Inspector changes between SeaMonkey 2.7 and current trunk