Create a new style with no parent - Styles & Templates > Style Manager > Add New Style > no parent - allow it to be pickable by users. Have the users having the problem select this style and then browse the site using this totally default vbulletin style - do they still have the same problem?