Using PWM plus a RESTful API to set colors for an RGB LED