/// <summary>
/// Get a Font exactly the same as the passed in one, except for scale factor.
/// </summary>
/// <param name="initial">The font to scale.</param>
/// <param name="scale">Scale by this factor.</param>
/// <returns>The scaled font.</returns>
public static Font ScaleFont(Font initial, double scale)
{
Font scaled = initial.WithScaledSize (scale);
return scaled;
}