function displayRule($rule)
{
$title = $rule[0];
$score = $rule[1];
$details = $rule[2];
$detailsHtml = "";
if ($details) {
$detailsHtml = "<a href='show details' alt='show details' onclick='toggleDetails(this); return false;' style='text-decoration: none;'><img src='images/right-arrow-17x14.gif' width=17 height=14></a>" . "<div class=popup style='display: none;'>{$details}</div>\n";
}
$html = "<tr><td class=score style='color: " . scoreColor($score) . ";'>{$score}</td><td>{$title} {$detailsHtml}</td></tr>\n";
return $html;
}
$typeColor = "found";
} else {
if ($cache['old'] <= 10) {
$typeColor = "new";
} else {
$typeColor = "r";
}
}
}
if ($zoom > 13) {
$pointer = 1.5 * $zoom;
} else {
$pointer = 0;
}
if ($_GET['sc'] == 1) {
imagefilledellipse($im, $pt["x"], $pt["y"] - $pointer, max(2 * $zoom - 7, 7), max(2 * $zoom - 7, 7), scoreColor($im, $cache['score'], $cache['votes'], $color[$typeColor]));
}
// BLACK ELLIPSE
imageellipse($im, $pt["x"], $pt["y"] - $pointer, max(2 * $zoom - 10, 5), max(2 * $zoom - 10, 5), $black);
// MARKER ELLIPSE
imagefilledellipse($im, $pt["x"], $pt["y"] - $pointer, max(2 * $zoom - 12, 3), max(2 * $zoom - 12, 3), $color[$typeColor]);
if ($zoom > 13) {
$pointer = 1.5 * $zoom;
// show additional pointer
$value = array($pt["x"] - max(2 * $zoom - 10, 5) / 2, $pt["y"] - $pointer, $pt["x"], $pt["y"], $pt["x"] + max(2 * $zoom - 10, 5) / 2, $pt["y"] - $pointer);
imagefilledpolygon($im, $value, 3, $color[$typeColor]);
imageline($im, $pt["x"] - max(2 * $zoom - 10, 5) / 2, $pt["y"] - $pointer, $pt["x"], $pt["y"], $black);
imageline($im, $pt["x"] + max(2 * $zoom - 10, 5) / 2, $pt["y"] - $pointer, $pt["x"], $pt["y"], $black);
//imageellipse($im, $pt["x"], $pt["y"]+1.5*$zoom, $radius, $radius, $black);
if ($_GET['signes'] == "true") {
$fontSize = 1.3 * $zoom - 11;
