function init()
{
	if( typeof( releaseNotes ) != 'undefined' ) {
		for( var id in releaseNotes ) {
			releaseNotes[id].render();
		}
	}
}

function viewReleaseNotes( version )
{
	version = version.replace( /\./, '-' );
	releaseNotes[version].show();
}

function showHowto()
{
	document.getElementById( 'HowtoBox' ).style.display = 'block';
}