/*
	isFont

	based on fontAvailable jQuery Plugin, v1.0
	which is Copyright (c) 2009, Howard Rauscher

	Check whether a particular font is installed
*/

function isFont(fontName)
{
	var element, oldWidth, newWidth;

	// prepare element, and append to DOM
	element = document.createElement('span');

	element.style.visibility = 'hidden';
	element.innerHTML = 'abcdefghijklmnopqrstuvwxyz';
	document.body.appendChild( element );

	// get the width of element after applying a fake font
	element.style.fontFamily = '__FAKEFONT__';
	oldWidth = element.offsetWidth;

	element.style.fontFamily = fontName;
	newWidth = element.offsetWidth;

	document.body.removeChild( element );
	return (oldWidth !== newWidth);
};