Proof Commit

Adding styles.xml