Python documentation for get_button_info(self, bd_addr, callback): states:

	The server will send back its information directly and the callback will be called
        once the response arrives. Responses will arrive in the same order as requested.
	
	The callback takes three parameters:
            bd_addr, 
            uuid (hex string of 32 characters), 
            color (string and None if unknown).

What are the possible values for color ? are they "official" colors name, such as HTML color names?