$wgFiltersLargestFontSize