document.write( '<link rel="alternate stylesheet" type="text/css" href="/scripts/font_win_normal.css" title="font_win_normal" />' );
document.write( '<link rel="alternate stylesheet" type="text/css" href="/scripts/font_win_large.css"  title="font_win_large" />' );
document.write( '<link rel="alternate stylesheet" type="text/css" href="/scripts/font_win_small.css"  title="font_win_small" />' );
document.write( '<link rel="alternate stylesheet" type="text/css" href="/scripts/font_mac_normal.css" title="font_mac_normal" />' );
document.write( '<link rel="alternate stylesheet" type="text/css" href="/scripts/font_mac_large.css"  title="font_mac_large" />' );
document.write( '<link rel="alternate stylesheet" type="text/css" href="/scripts/font_mac_small.css"  title="font_mac_small" />' );
document.write( '<script type="text/JavaScript" src="/scripts/styleswitcher.js"></script>' );

function setFontSize( title ) {
	var os = 'win';

	if (navigator.userAgent.indexOf('Mac') != -1) {
		os = 'mac';
	}

	setActiveStyleSheet( "font_" + os + "_" + title );
}