As a minimal attempt at styling, and to accommodate users who prefer different color options, we should enable automatic and user-selected themes.