Fix user dropdown so that it has some space betweeen its right edge and the viewport right edge.

It seems a recent bootstrap version has added a negative margin-right to the last child of a navbar-right element. In this app this means the user dropdown in the navbar is too far to the right, which is not desirable. Hence this fix.