Use LESSCSS instead of CSS.

Rename animation to interactive-linter-pulse to prevent name conflicts.