Sketchbook can't detect my arduino

Hello. I am using an Acer Aspire 5732z running a 64 bit version of LinuxMint 16. My board is an arduino Esplora.
I set the sketchbook to Esplora in tools, but whenever I try to upload a sketch, it says: "Couldn't find a leonardo on the selected port. Check that you have the correct port selected. If it is correct, try pressing the boards reset button after initiating." Also, when i go to the 'tools' tab, the 'serial port' menu is greyed out.

Have you followed these instructions yet?