* Add the environment 'framedcolorminipage'
* Add the theorem environment 'definition'.