style guidelines for CodePro