var cookie_stuff = unescape( document.cookie );
var crumbs = cookie_stuff.split( '; ' );
for ( var i=0; i < crumbs.length; i++ ) {
	var crumb = crumbs[ i ];
	if ( 0 == crumb.indexOf( 'style=' ) ) {
		var StyleFile = "style" + crumb.charAt(6) + ".css";
		document.writeln('<link rel="stylesheet" type="text/css" href="/assets/css/' + StyleFile + '" mce_href="/assets/css/' + StyleFile + '">');
	}
}