function fontTagWorkaround()
{
	var currentElement;

	if (document.getElementsByTagName)
	{
		var tagElements = document.getElementsByTagName('body')[0].getElementsByTagName('font');

		for (i = 0; i < tagElements.length; i ++)
		{
			currentElement = tagElements[i];

			currentElement.style.fontSize = parseInt(currentElement.size) + 'mm';
			currentElement.style.color = /* '#' + */ currentElement.color;
			currentElement.style.fontFamily = currentElement.face;
		}
	}
}