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=!ereg("Mozilla/4\\.[5-7]",$user_agent);
+ $have_css=true; // doesn't hurt anybody AFAIK
function addpercents($url)
{
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="")