Merge "Docs:  improve the highlighting of definition lists (<dt> and <dd> elements)"