Implementation of ThemeResolver that uses a theme attribute in the user's
session in case of a custom setting, with a fallback to the default theme.
This is most appropriate if the application needs user sessions anyway.