The dotted underline is usually reserved for indicating alt text or hover content, actually. In this case, I think it's fine to be dotted, since it's not a true hyperlink, but combining that with it being the same text color is just bad from a semantic POV. It's made worse by the fact that the author apparently decided to make visited links blue. (Edit: apparently it's "active" panes, not visited, but semantically similar)
@maxkrieger if you're reading this, please consider making unvisited links blue, to conform to the universal semantics everywhere else on the web, and make visited links either purple, or black if you really want. (edit: or some different color for active panes. Green?)
@maxkrieger if you're reading this, please consider making unvisited links blue, to conform to the universal semantics everywhere else on the web, and make visited links either purple, or black if you really want. (edit: or some different color for active panes. Green?)