w3c style list argument of the week: use of the American English "color" in CSS-is this really an efficient application of brilliant minds?