<!--
  function cssExists(width,height) 
    {
      return 0;
      if ( ( width==1024) && (height==768) ) return 1;
      else if ( ( width==1280) && (height==1024) ) return 1;
      else if ( ( width==1280) && (height==720) ) return 1;
      else if ( ( width==800) && (height==600) ) return 1;

      /* TO Add
      else if ( ( width==1280) && (height==768) ) return 0;
      else if ( ( width==1280) && (height==854) ) return 0;
      else if ( ( width==1280) && (height==960) ) return 0;
      */
      else return 0;
    }
    var width = screen.width;
    var height = screen.height;
    //document.write("<B>You're set to "+width+ "X" +height+"</B>")
    var browser = "IE";
    var browserName=navigator.appName;
    var platform = navigator.platform;

    //document.write("<B>Platform is "+platform+"</B>");
    if (browserName=="Microsoft Internet Explorer")
    {
      browser = "IE";
    }  
    else if (browserName=="Netscape")
    {
      browser = "NS";
    }  

    var cssFileName;

    if (cssExists(width,height)==1)
    {
      cssFileName = "sudoku"+"_"+platform+"_"+browser+"_"+width+"_"+height+".css"
    }
    else
    {
      cssFileName = "sudoku"+"_"+browser+".css"
    }

    //document.write("<br><B>referrer is "+document.referrer+"</B><BR>");
    //document.write("<br>top.document.location is "+ top.document.location+"<br>");
    //document.write("<br>top.document.search is "+ top.document.search+"<br>");
    /*
    if ( document.referrer == top.document.location )
    {
       puzzle_path = "puzzle"
    }
    else
    {
       puzzle_path = "games/sudoku/puzzle"
    }
    */
    puzzle_path = "games/sudoku/puzzle"
    
    css_file_path = puzzle_path+'/css/'+ cssFileName;

    //document.write("<B>Css file name is "+cssFileName+"</B><BR>");
    //document.write("<B>puzzle_path is "+puzzle_path+"</B><BR>");
    //document.write("<B>css_file_path is "+css_file_path+"</B><BR>");

    document.write('<link rel="stylesheet" href="'+css_file_path+'" type="text/css">');

//-->

