How to remove leftover css from an old theme?

Hi,

I built a website using Headway Themes and, with all the issues going on over there, I decided to rebuild the site in Divi.

Everything has gone fine except that in HT there was some code added to style the WooCommerce product buttons. And this still shows on the website here http://gold-2.farmgearcms.co.uk/shop/. The green and red colour are no longer wanted and the padding that was added now breaks things.

I thought it would be fairly easy to find the code in my files and then delete it. I have used TextWrangler to do the multifile search and was able to find a HT caching folder. So I deleted that.

The code is still there. So I thought I’d search for the button’s green hex code and that would show me where the old css was hiding.

Then, to add to the confusion I realised that the green hex code #136e3d showing in Firebug is not the same as the one in the css in HT. (I still have a copy of the site in HT that I made this site from) See below

`.custom.woocommerce div.product div.images img, .custom.woocommerce div.product div.images a {width: auto;}
.custom.woocommerce button.button.alt {padding: 0 12px;}
.custom.woocommerce .quantity .qty {height: 1.2rem;}
.custom.woocommerce p.price {margin-bottom: 4%;}
.custom.woocommerce #respond input#submit.alt, .custom.woocommerce a.button.alt,.custom.woocommerce button.button.alt, .custom.woocommerce input.button.alt, .custom.woocommerce div.product .woocommerce-tabs ul.tabs li, .custom.woocommerce #respond input#submit.alt:hover, .custom.woocommerce a.button.alt:hover, .custom.woocommerce button.button.alt:hover, .custom.woocommerce input.button.alt:hover {background-color: #1f541c;}

.custom.woocommerce div.product form.cart, .custom.woocommerce div.product p.cart {margin-top: 3rem;}

.custom.woocommerce div.product .woocommerce-tabs ul.tabs li.active, .custom.woocommerce div.product .woocommerce-tabs ul.tabs li a:hover, .custom.woocommerce div.product .woocommerce-tabs ul.tabs li:hover {background-color: #c90000; color: white;}
.custom.woocommerce div.product .woocommerce-tabs ul.tabs li a {color: white;}

But the search returned no results for either hex code, or the #c90000 one in the code above. And yet I can see one of them on the store front. I have cleared my browser cache several times too. And I have looked at the site in several browsers.

Any help will be greatly appreciated 🙂