Functions to manage the theme code.
$Id: themes.php 492 2005-08-15 09:59:19Z stijn $
Determine the name of the default theme.
Loads the indicated theme.
Includes the default theme if no theme is loaded already.
Set the theme for this page.
Documentation generated on Fri, 30 Jun 2006 10:31:38 +0200 by phpDocumentor 1.3.0RC3