adjust both themes for SeaMonkey 2.7 changes, i.e. bug 576402