Yes, I'd suggest leaving `whitespace-style` untouched. It's quite a complicated setting, and used for several things.