Changed style so that definitions and remarks are in correct theoremstyle