'."\n";
$HTMLHeaderFmt[] = "\n";
#Markup('^menu','';
};
return '<:block>';
};
function HorVerMenuModify ($depth,$content) {
global $HorVerMenu;
if ($HorVerMenu) {
if ($depth == '*') {
$html .= "$depth";
return $html;
}
else
return "$depth";
}
else { /* do not change anything */
return "$depth$content";
};
};
function HorVerMenuSeparator($line,$depth) {
global $HorVerMenu;
if ($HorVerMenu) {
return "<:ul,$depth>";
}
else
return $line;
};
?>