Safari ‘red’ and Firefox ‘red’ are actually different css colors. Just noticed.