Also, if you hover over the geometric objects in the proof (like an AB or ABC), the corresponding object is highlighted in the figure.