minor correction: top menu height when logged in

removed apparently useless HTML to display a caret that
doubles line height when logged in.