Re: .Xdefaults and Mozilla menu bar configuration