Currently the gerrit top menu is a bit wider than the window regardless of the width. This is caused by the mismatch between left (220px) and right-margin (200px) of the gerrit_topmenu element. Change-Id: I4dbcfae79b72b537fb90000dc5963293590fb914