I have now selected Arial and Times, which solves the boldface problem. (But of course this might not be just my problem; we have not identified what causes it, and new visitors with a PC similar to mine might suffer the same problem...)
But I have the impression that it still looks significantly worse than it did when the default fonts were not yet messed up. This could be because the fonts seem smaller than what I was used too, which of course degrades their resolution. Hard to say, as I don't have any screenshots from last month. But where I first experienced the quality as 'good', I now experience it as 'sub-standard'.
I have now selected Arial and Times, which solves the boldface problem. (But of course this might not be just my problem; we have not identified what causes it, and new visitors with a PC similar to mine might suffer the same problem...)
But I have the impression that it still looks significantly worse than it did when the default fonts were not yet messed up. This could be because the fonts seem smaller than what I was used too, which of course degrades their resolution. Hard to say, as I don't have any screenshots from last month. But where I first experienced the quality as 'good', I now experience it as 'sub-standard'.