An HTML color picker