Selvfølgelig må man ændre i et theme:-) I princippet ændre du i functions.php (eller anden fil) når du et installere et plugin:-)
Derudover kan jeg fortælle at knapperne på nuværende tidspunkt er lavet som css buttons, hvor farven kan ændres fra Rustik settings. Men umiddelbart ser det ud til at man skal ind i Woocommerce koden, og redigere hvis man ønsker at ændre knapper til egne .png billeder i stedet for css.