var spans;

function random_change(styleToChange)
{
	var extra = Math.round(8 * Math.random());
	styleToChange.fontSize = 8 + extra + 'pt';
	if (extra == 0)
		styleToChange.color = '#00004e';
	else
	{
		var colorExtra = Math.round(70 * Math.sqrt(extra));
		var blueExtra = Math.round(colorExtra * 0.75);
		styleToChange.color = '#' + colorExtra.toString(16) + colorExtra.toString(16) + (78 + blueExtra).toString(16);
	}
}

function change_some(number)
{
	for (var num_i = 0; num_i < number; num_i++)
		random_change(spans[Math.round((spans.length - 1) * Math.random())].style);
}

function initialize()
{
	var container = document.getElementById('content');
	if (container)
	{
		spans = container.getElementsByTagName('span');
		for (var span_i = 0; span_i < spans.length; span_i++)
			random_change(spans[span_i].style);
	}
	setInterval("change_some(3)", 1000);
}