Some new styles for the snippets highlighter