$wgFiltersSmallestFontSize