User:Jeffreydavidspeck/vector.js

font-family: "Times New Roman"; $wgVectorFeatures['sectioneditlinks']['global'] = true; LocalSettings.php.$wgVectorUseSimpleSearch = true;