Horn syntax highlighting support