WebKit2.Settings.prototype.get_default_monospace_font_size

function get_default_monospace_font_size(): Number(guint32) {
    // Gjs wrapper for webkit_settings_get_default_monospace_font_size()
}