How is the palette picker coded? Looks like an OS widget, but I assume it is just clever CSS/JavaScript?