[horde] Themes, defaults and availability

[Chuck Hagenbuch]

Quoting Jan Schneider <jan at horde.org>:

> This is indeed confusing. I'd suggest that we don't use the Horde "name" for
> the Horde theme, but really call it (hardcoded) "Horde".
> "Default" or "Standard" should change to the default theme as specified in
> prefs.php.

I've changed the name of the theme to "Horde" (should this be 
gettext-ed? Wasn't
sure). The "Use Default Value" problem is that "Use Default Value" doesn't
really work for any prefs, especially ones with valid empty values. So it goes
beyond themes, and I don't have the brainpower to tackle it right now.

-chuck

-- 
"But she goes not abroad in search of monsters to destroy." - John 
Quincy Adams