WebKit.Settings.default_monospace_font_size – webkit2gtk-4.0 Reference Manual

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.