Good CSS introduction and editors

There are a lot of docs out about css. Yesterday I found a really useful one – with examples. You will find it here.

And I found the following css editors:

Do you user other tools? If yes, describe the pros + cons!