That should still be an easy change. I'd highly recommend NOT editing their css. If it doesn't have a custom css function that it added to your menu, download one of the css plugins off wordpress. If you edit ANY of their files, it'll get blow away the first update you do.
If you absolutely have to edit functions, spawn a child theme and then you can do whatever.