Doc tab height hack for FF.