GtkScintilla::style_set_size

void style_set_size(int style, int size_points);

Define the size of some style

$scintilla->style_set_size(SCINTILLA_STYLE_DEFAULT, 20);