Syntax highlighting in Agda mode