/* This CSS file intentionally left blank.

   This file is used by color.js and the setcolorset() function
   to implement colorsets; CSS rules are added to this stylesheet.

*/