Arduino IDE Serial Port Gray/Grey

Thats a good question, since I down own a Leonardo, but glancing in the driver folders (of 1.0, bit outdated on this computer), there is one specifically marked Leonardo