user_level == 10 && $_GET['ahimsaskin'] != "" )
$skin = $_GET['ahimsaskin'];
if( $skin != "none" && preg_match("/^[a-zA-Z0-9]+(\-[a-zA-Z0-9]+)*$/", $skin) )
print
"
";
if( ($customstylesheet = util_get_customss_url()) != "" )
print "\n";
// finally, if we are in skin edit mode, then load up the JavaScript for customisation
/* TODO: this is not there yet
if( isset($current_user)
&& $current_user->user_level == 10
&& $_GET['ahimsaskin'] != ""
&& $_GET['skinedit'] == 1 )
{
print
"
";
}
*/
?>