The css has a general a:visited defined to a tint of blue, which applies to code blocks and thus changes highlighting:

Here to, from, Set and extensionality have been visited. This is less critical for function and type names but, as can be seen, changes the color for record fields (and would do for the refl type constructor as well) significantly.