Widgets for the Restaurant distribution.