The Pro Micro is a Sparkfun product. If you do a search, you will find docs on their site that tell you what IDE settings and libraries to use. Let me know if you have any trouble.

Rick