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?)
Q: I'm a student of visual communications and asked myself why links are blue. I found some answers that might be, for example blue is a color of learning, but I'm not sure what is right. Is there any reason, why links are colored blue ?
A: There is no reason why one should use color, or blue, to signify links: it is just a default. I think the first WWW client (WorldWideWeb I wrote for the NeXT) used just underline to represent link, as it was a spare emphasis form which isn't used much in real documents. Blue came in as browsers went color - I don't remember which was the first to use blue. You can change the defaults in most browsers, and certainly in HTML documents, and of course with CSS style sheets. There are many examples of style sheets which use different colors.
My guess is that blue is the darkest color and so threatens the legibility least. I used green whenever I could in the early WWW design, for nature and because it is supposed to be relaxing. Robert Cailliau made the WWW icon in many colors but chose green as he had always seen W in his head as green.
One of the nicest link renditions was Dave Raggett's "Arena" browser which had a textured parchment background and embossed out the words of the link with a square apparently raised area."
