Theorem environments that are shaded.

Homepage:
http://www.tug.org/texlive/
