Don't add cursor: pointer to vars when variable highlighting is inactive

[twiss]

In exported documents, variable highlighting is inactive, and clicking on vars doesn't do anything. So, I think we shouldn't set cursor: pointer on them.

This seems to possibly have been a mistake and only intended for variables with a data type hover bubble, but even there, clicking on them doesn't do anything so setting cursor: pointer on them still doesn't particularly make sense, IMHO.

For non-exported documents when highlighting is active, src/styles/var.css.js will still set cursor: pointer, so this shouldn't break that case.

[sidvishnoi]

Thanks for the PR @twiss.
I'm wondering if we should instead support var highlighting on generated docs: #3765.

Just to clear my understanding: With var highlighting on, I think we agree we should continue showing cursor: pointer. But if there's vars outside highlighting, even if they have data-type, I think there's no reason to show pointer?

[twiss]

I think #3765 would be a great addition, yeah, though I think it's in principle orthogonal from this change indeed in the sense that that change should be made in src/core/highlight-vars.js (by removing the removeOnSave, among other things), whereas this file could/should still be changed in the exact same way (although the effect will be less visible, it'll just remove a redundant CSS rule at that point).