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

[Paul Bone]

On Fri, Apr 19, 2013 at 11:29:17AM +1000, Peter Wang wrote:
> 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.

I wasn't sure about that.  I've created a pull request for the patches.
Feel free to edit your change to do this properly.

Thanks.

-- 
Paul Bone
http://www.bone.id.au