updates css for highlighting definiendum