Optimize output of color values

Useful to manipulate colors in integers in PHP code. But once output,
there really is no difference.  And this:

   #fff

is much more space-efficient than this:

   rgb(255,255,255)

(at least for this example, the former is 400% more efficient)