Manual:$wgAllowUserCssPrefs

Whether to allow user-preferences implemented in CSS. This allows users to customise the site appearance to a greater degree; disabling it will improve page load times.