Add an option to disable CSS3PIE in the style sheet settings (see #4985)