Commit f1e82e3f authored byBrowse files
Use StyledText and set linkColor to text color
There's not really any need for elaborate HTML styling as provided by RichText. More importantly, though, this lets us easily (without adding custom CSS) set linkColor to the text color. Currently, links use the default blue color which can clash with the background quite harsh. Since links are underlined, they are still marked.