For highlighting, can you please instead of predefined colors add a color picker that allows us to choose any color we want. I often prefer highlights much lighter than the options you provide. I like subtle highlighting and I would love the ability to do that.
