Comment 5 for bug 94323

Line 566:
#nonhelp {
 margin: 0 20px 0 38px;
 min-width: 752px; /* [br#94323] for search bar not to go under tabs */
}

Line 582:
#globalsearch {
 float: right;
 margin-top: 15px;
 /*width: 220px; [br#94323] */
 margin-right: 70px; /* [br#94323] for search field not to go under tabs */
}