[css-syntax] tweak the multiplication signs.