style editing and mysql dump