Hello,
In this case, use the next custom CSS code (Theme Options > Theme custom CSS > Global), to change size of the cart icon:
#header-vertical .et_b_header-cart { font-size: 14px; }
Regards