Menue element button styles don't show

Hi.
I just had a problem I could solve myself, just want to share it with you.
I wanted to change the style of the menue element button in “adnvanced styles” but the background- and boder colors did not show in the frontend. I found the corresponding code in themes/enfold/includes/admin/register-backend-advanced-styles.php, lines 340ff and changed them to this:

            'color' => "color: %color%;",
            'background_color' => "background-color: %background_color%;",
            'border_color' => "border-color: %border_color%;",
            'border_radius' => "border-radius: %border_radius%;",

This works for me.