ReStyle 'Play' buttons green

I don't know how this vanished - I blame a merge problem. It was
introduced at 61d47d9, but was missing at the next commit, 6036251;
but the diff for the latter doesn't show it being removed!

I assume it's some kind of merge artefact, but I don't know what...