default_monospace_font_size

Description:

public uint default_monospace_font_size { get; set construct; }

The default font size in pixels to use for content displayed in monospace font if no font size is specified.