Theorem environments that are shaded
