Definition highlighting (WIP)