Hello @r_gigante , thanks for the answer. And yes, thought so.
By the way, on my company's calibrated display, the red looks way less saturated. Guess, it's time to calibrate my displays again. 🙂
But for those interested, there are browser extensions to override styles and thus colors. (https://chrome.google.com/webstore/detail/stylish-custom-themes-for/fjnbnpbmkenffdnngjfgmeleoegfcffe?hl=en)
Still using it for display the topic titles in original case instead of all uppercase.