MamlRendererBodyTextFontSize Property

Gets or sets the font size of the body text that later on is rendered out of the Maml file. We need this here because we have to convert the formulas to images, and need therefore the image size.

public double BodyTextFontSize { get; }