Prevent wrapping in header-right menu (#702).

Prevents long usernames from wonkifying layout.