else if (ereg("[[:<:]]Mozilla/([0-9]+)\\.",$user_agent,$mozilla_major_a))
$mozilla_major=$mozilla_major_a[1];
+ $have_style=!isset($mozilla_major) || $mozilla_major!=4;
+ $have_css=true; // doesn't hurt anybody AFAIK
+
function addpercents($url)
{
$r=$c="";
{
global $admin_mail;
- print("\n<br /><h1 class=\"error\">Nastala chyba pøi zpracování: $msg!</h1>\n"
+ print("\n<p> <br /> </p><hr /><h1 class=\"error\">Nastala chyba pøi zpracování: $msg!</h1>\n"
."<p>Mù¾ete tento problém nahlásit <a href=\"mailto:$admin_mail\">správci tohoto webu</a>.</p>\n");
footer();
}
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="")
return(false);
}
-function footer()
+// PHP dirname() is broken: ("/1/2/3"=>"/1/2", "/1"->"/")
+function dirnameslashed($filename)
+{
+ $r=dirname($filename);
+ if (substr($r,-1)!="/")
+ $r.="/";
+ return($r);
+}
+
+function footer($delimit=true)
{
// deadlock prevention:
global $footer_passed;
$footer_passed=true;
global $cvs_id_html,$viewcvs,$viewcvs,$HTTP_SERVER_VARS;
+ if ($delimit)
+ print("<p> </p>\n");
?>
-<p> </p>
<hr />
<table border="0" width="100%">
<tr><td align="left"><span class="cvs-id"><?php print($cvs_id_html); ?></span></td><td align="right"><a
function heading()
{
- global $msie_major,$mozilla_major,$title_tail,$head_css,$head;
+ global $msie_major,$mozilla_major,$title_tail,$head_css,$have_css,$head;
header("Content-type: text/html; charset=iso-8859-2");
if (!isset($msie_major) || $msie_major>=4)
<head><title>Energie & peníze<?php
if (isset($title_tail))
print(": $title_tail");
-?></title>
-<style type="text/css"><!--
+ print("</title>\n");
+ if ($have_css) {
+?><style type="text/css"><!--
.cvs-id { font-family: monospace; }
.error { color: red; background-color: transparent; }
.quote { font-family: monospace; }
:visited { color: teal; background-color: transparent; }
h1,h2 { color: yellow; background-color: transparent; }
<?php
- if (isset($head_css))
- print(trim($head_css)."\n");
- print("--></style>\n");
+ if (isset($head_css))
+ print(trim($head_css)."\n");
+ print("--></style>\n");
+ }
if (isset($head))
print($head);
print("</head><body");