[m-rev.] [for review] Fix some styling of the menu.

[Peter Wang]

On Fri, 19 Apr 2013 11:24:22 +1000, Paul Bone <paul at bone.id.au> wrote:
> 
> That looks good too, I think I like it better as it's more minimal.  Are you
> happy for me to commit our combined changes?

Sure.  You might want to actually delete the HRs instead.

Peter