I would prefer not to use color aliasing in CSS. While both offer the same functionality, I'm able to use the hex code a lot easier when inputting it into other things like color choosers than I would be with color aliases.  The speed of lookup between the two seems negligible: http://jsperf.com/css-color-names-vs-hex-codes