Theming helpers for the Restaurant Distribution.