* Redefine the colors for the theorem environment 'definition'.