On 19 March 2018 at 15:59, Eli Zaretskii <eliz@gnu.org> wrote:

> This message is a heads-up for people who think there are still
> significant/critical bugs we must fix before the release: please speak
> up now.
>

https://debbugs.gnu.org/cgi/bugreport.cgi?bug=30295#11

Please try this in CSS mode:

div: {
  #87e087
}

I hope you'll agree it's bad, and makes a mockery of Tom's very welcome
improvements. It's also easy and safe to fix.

As ever I'm reluctant to provide a patch (though I do have one and I'll
certainly be using it), because I haven't assigned copyright, but I did
make concrete suggestions for a fix.