Hacks to improve performance of top header bar and navigation (no more Firefox flickering as well!)