Theming

Documentation for ThemeProvider, defineTheme, mergeTheme, and the default theme.