Allow user to specify which of the default themes he or she would like to use; fixes #15.