/*	
	The JavaScript stuff for choosing an alternative style sheet for stupid Wintel machines.
	Copyright (c) David Plunkett, Tuesday.
	It should be inserted AFTER (!) the existing POND style sheet refrence.
*/

	
if(navigator.platform.indexOf("Win32") != -1)
	document.write("<link rel=\"stylesheet\" href=\"../../pondwin.css\" type=\"text/css\">");


//The following line allows the script to be tested on Ye Holy Mac.
//if(navigator.platform.indexOf("MacPPC") != -1)
//	document.write("<link rel=\"stylesheet\" href=\"../../pondwin.css\" type=\"text/css\">");