add variables for heading font sizes; fixes #9921

Fixes #9921.
Does not affect the generated CSS.