Migrate variables.less

For a performance improvement, we should move variables.less to a CSS.

The comments in the file give clear instructions.
Please verify that the resulting values with and without this LESS are the same, and try to keep them as low as possible and explain any difference left.