Added stylesheet for term highlighting