[Project_owners] can't change user theme in drupal

[Eric H. Jung]

--- "Douglas E. Warner" <silfreed at silfreed.net> wrote:

> On Thursday 15 November 2007, Eric H. Jung wrote:
> > I re-read
> > http://mozdev.org/pipermail/project_owners/2007-November/010414.html which
> > says non-default themes in drupal (for users, not admins) should work.
> > However, it doesn't work for me at http://instaclick.mozdev.org. I get the
> > same results that Adam described.
> >
> > Any ideas?
> 
> No, actually.  Where you trying to change the theme in drupal by going to:
> Administer > Themes
> And then changing the "default" radio button to another theme?  The theme also 
> has to be enabled, so without changing those options the only other theme 
> available would be the garland theme.
> 
> -Doug

Administer->Themes->blue marine checked as enabled and default, then clicked "Save Configuration"
button at bottom of page. Appears to work now, thanks!