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.
Let me know in a comment below if you have more questions.