How do I download mp3 files?

To download an mp3, just hover the cursor over the red circle to the right of the player. It will turn green; then right click (ctrl-click on mac) and the file will download.

Here is a better view of the menu that pops up:

Click on “Download Linked File” to download the mp3.

Thanks to Caren for making a demo of how to do this on a PC:

Let me know in a comment below if you have more questions.