Я вышел за рамки использования стандартных цветов в CSS, объявив их orange , blue , aquamarine и т. д., и использовал rgb() для тех же цветов соответственно, rgb(255,165,0) , rgb(0,0,255) и rgb(127,255,212) (спасибо ColorHighlighter пакет...