DejaVu/maraschino — pull request #5 by N3MIS15 (2012-03-14 09:44:32+00:00)
Title: More menu styling

I changed menu_head into a div like settings button to give it the exact look settings has.