color.html: 3-digit color code support.