--- FreeBSD/tinderbox/webui/templates/paefchen/header.inc.tpl	2008/01/07 02:05:34	1.2
+++ FreeBSD/tinderbox/webui/templates/paefchen/header.inc.tpl	2008/01/07 03:53:59	1.3
@@ -5,7 +5,7 @@ if (preg_match('@<!-- (\w+):(\w+);(\w+):(\d*);(\w+):(\
 ?>
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
 	"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
-<!-- $Paefchen: FreeBSD/tinderbox/webui/templates/paefchen/header.inc.tpl,v 1.1 2008/01/05 12:25:17 as Exp $ //-->
+<!-- $Paefchen: FreeBSD/tinderbox/webui/templates/paefchen/header.inc.tpl,v 1.2 2008/01/07 02:05:34 as Exp $ //-->
 <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
 <head>
 	<title><?=$tinderbox_name?><? if (! empty($header_title)) print " - ".$header_title; ?></title>
@@ -26,11 +26,13 @@ if (preg_match('@<!-- (\w+):(\w+);(\w+):(\d*);(\w+):(\
 	<div id="topmenu">
 		<a id="top"></a>
 		<div class="left">
+<? if (is_array($topmenu) && count($topmenu) > 0) { ?>
 			<ul>
-<? if (is_array($topmenu)) {foreach ($topmenu as $menu_title => $menu_url) { ?>
-			<li><a href="<?=$menu_url?>"><?=$menu_title?></a></li>
-<? }} ?>
+	<? foreach ($topmenu as $menu_title => $menu_url) { ?>
+				<li><a href="<?=$menu_url?>"><?=$menu_title?></a></li>
+	<? } ?>
 			</ul>
+<? } ?>
 		</div>
 		<div class="right">
 <? if (! empty($user_name)) { ?>
