A parser and converter for Tab Atkins's proposed color function in CSS