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>');

	//	Temp: Display an extra info panel for just sonic generations
	$$('.extraInfo.mandspromo').setStyle('display', whichTheme.match(/1032$/) ? 'block' : 'none');
}

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);
}