Fixed that long project names in the header may overlap the main menu (#13127).
Authored by: jplang 2013-02-11
Parent: [r11350]
Child: [r11352]
