--- style.js.orig	Sat Oct 11 00:42:28 2003
+++ style.js	Wed Oct 15 05:00:30 2003
@@ -28,7 +28,8 @@
 
 /* 以上設定 */
 
- main();
+// main();
+window.onload = main;
 }
 
 function main(){
@@ -54,11 +55,12 @@
   if(sfTitles.indexOf(sheet)==-1) sheet=sS[0].title;
   fChangeSS(sheet);
  }
- else if(sheet!="noCookie")
-  document.write('<META http-equiv="Default-Style" content="'+ sheet +'">');
+// else if(sheet!="noCookie")
+//  document.write('<META http-equiv="Default-Style" content="'+ sheet +'">');
   /* Mozillaのとき、最初にスタイルシートの一覧を取得すると不具合を生じるので、
      meta要素で既定のスタイルを設定する */
- window.onload=fInit;
+// window.onload=fInit;
+ fInit();
  window.onunload=fEnd;
 }