Ignore the colours. They are a waste of time
so I deleted it and went to "include library" and selected the servo library, and that's what came up
Really ?
Have you rebooted the PC since you tried that and tried again ? It may be a symptom of a corrupted Arduino environment installation.