Added highlighting to TURTLE examples