The original discussion, More ways to download code..., also states that "you can use the css class 'embed-code-dl' to change the way it is styled." so you can just go to your user settings and put something in the "On-Site CSS Markup:" section to make the 'download' link look any way you like.