src/Pure/System/color_value.scala
2012-09-12 ago tuned headers;
2012-09-11 ago provide color values via options;