From 85c4d7d68bcfb46c515182675afd49de43973df5 Mon Sep 17 00:00:00 2001 From: short <> Date: Thu, 16 Aug 2001 02:30:45 +0000 Subject: [PATCH] Pages colored to be white-on-black --- common.php | 25 +++++++++++++++++++------ 1 file changed, 19 insertions(+), 6 deletions(-) diff --git a/common.php b/common.php index 94e1a70..3640ecf 100644 --- a/common.php +++ b/common.php @@ -19,8 +19,11 @@ if (isset($detect_js) && !$have_js) $head.=''."\n"; - if (ereg("[[:<:]]MSIE ([0-9]+)\\.",$HTTP_SERVER_VARS["HTTP_USER_AGENT"],$msie_major_a)) + $user_agent=$HTTP_SERVER_VARS["HTTP_USER_AGENT"]; + if (ereg("[[:<:]]MSIE ([0-9]+)\\.",$user_agent,$msie_major_a)) $msie_major=$msie_major_a[1]; + else if (ereg("[[:<:]]Mozilla/([0-9]+)\\.",$user_agent,$mozilla_major_a)) + $mozilla_major=$mozilla_major_a[1]; function addpercents($url) { @@ -147,7 +150,7 @@ function footer() function heading() { - global $msie_major,$title_tail,$head_css,$head; + global $msie_major,$mozilla_major,$title_tail,$head_css,$head; header("Content-type: text/html; charset=iso-8859-2"); if (!isset($msie_major) || $msie_major>=4) @@ -160,15 +163,25 @@ function heading() print(": $title_tail"); ?> \n"); if (isset($head)) print($head); - print("\n"); + print("\n"); } ?> -- 1.8.3.1