@rougier I wasn't sure what you had in mind for the `lighten` and `darken` functions, these were pretty arbitrary choices on my part. And not great ones IMHO because darken followed by lighten doesn't yield the same color...