--- nicetitle.orig.js	Fri Apr 11 23:16:02 2003
+++ nicetitle.js	Sat Sep 13 02:26:59 2003
@@ -133,6 +133,13 @@
     document.getElementsByTagName("body")[0].appendChild(d);
     
     CURRENT_NICE_TITLE = d;
+
+    d.style.visibility = 'hidden';
+    setTimeout('showNiceTitle_()', 1000); // 1000 = 1sec.
+}
+
+function showNiceTitle_() {
+    if (CURRENT_NICE_TITLE) CURRENT_NICE_TITLE.style.visibility = 'visible';
 }
 
 function hideNiceTitle(e) {