Here are defined highlighters: green one and red one.