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.