added a plugin for coloring the whitespace red