In CSS, red and #FF0000 produce the same color. A display label such as Navy Blue corresponds to the shorter keyword navy.