Theorem environments that are shaded.
