global $HTTP_SERVER_VARS,$msie_major,$mozilla_major,$title_tail,$head_css,$have_css,$head;
header("Content-type: text/html");
+ header("Content-Style-Type: text/css");
if (!isset($msie_major) || $msie_major>=4)
print('<?xml version="1.0" encoding="'.$HTTP_SERVER_VARS["CLIENT_CHARSET"].'"?>'."\n");
?>
print($head);
print("</head><body");
if (isset($mozilla_major) && $mozilla_major==4)
- print(" bgcolor=\"black\" text=\"white\" link=\"cyan\" vlink=\"teal\"");
+ print(" bgcolor=\"black\" text=\"white\" link=\"aqua\" vlink=\"teal\"");
print(">\n");
if ($title)
print("<h1 class=\"centered\">"