HTML-Mode, snippets and 256 colors terminal