That's great! By the way, you were editing php, not css.
Please consider making your changes to a child theme if you aren't already. That way you can always fall back to the parent theme when something goes amok. Also, if the theme gets updated, all your changes are lost if you haven't used a child theme. (please mark resolved, if you don't mind.)
@martcol: very funny :)