"have_style" detection code cleanup

[www.energie.vellum.cz.git] / common.php

diff --git a/common.php b/common.php
index 89ead4d..aae2fe0 100644 (file)
--- a/common.php
+++ b/common.php
@@ -25,7 +25,8 @@
        else if (ereg("[[:<:]]Mozilla/([0-9]+)\\.",$user_agent,$mozilla_major_a))
                $mozilla_major=$mozilla_major_a[1];
 
-       $have_css=!ereg("Mozilla/4\\.[5-7]",$user_agent);
+       $have_style=!isset($mozilla_major) || $mozilla_major!=4;
+       $have_css=true; // doesn't hurt anybody AFAIK
 
 function addpercents($url)
 {
@@ -149,7 +150,10 @@ function month_a($year,$month,$month_last=0,$sequential=0)
 
 function img_size($width,$height)
 {
-       return("style=\"border:0;width:${width}px;height:${height}px\" width=\"$width\" height=\"$height\"");
+       global $have_style;
+
+       return(($have_style ? "style=\"border:0;width:${width}px;height:${height}px\"" : "border=\"0\"")
+                       ." width=\"$width\" height=\"$height\"");
 }
 
 function img($file,$alt,$attrs="")