function doTheme (whichTheme) {
	new Asset.css('/css/themes/' + whichTheme, {id: 'style1'});
	//style_1 = $('style1');

    //$('log').setHTML('<a href="' + path + 'style1.css">style1.css<\/a><\/span>');
}

function extraMessage (theSummary) {
    if (theSummary == '') {
        $('extraMessage').setHTML ('');
        document.getElementById ('extraInfo').style.display = 'hidden';
    } else {
        $('extraMessage').setHTML (theSummary);
        document.getElementById ('extraInfo').style.display = 'block';
    }
}

function doStuff (whichTheme, whichGameGroup) {
    doTheme (whichTheme);
    //extraMessage (whichGameGroup);
}