From b7929a56d963af480364fc8705e6d343db2c8350 Mon Sep 17 00:00:00 2001
From: olivia <olivia>
Date: Wed, 18 Jul 2007 12:41:50 +0000
Subject: [PATCH]

---
 cis/private/lehre/benotungstool/menue.inc.php | 46 ++++++++-----------
 1 file changed, 19 insertions(+), 27 deletions(-)

diff --git a/cis/private/lehre/benotungstool/menue.inc.php b/cis/private/lehre/benotungstool/menue.inc.php
index 985ce2eb8..501f85d23 100644
--- a/cis/private/lehre/benotungstool/menue.inc.php
+++ b/cis/private/lehre/benotungstool/menue.inc.php
@@ -1,23 +1,15 @@
 <?php
-echo "\n<!--Menue-->\n";
-echo "<br>";
-echo "<table>";
-echo "<tr>";
-echo "<td><a href='verwaltung.php?lvid=$lvid&stsem=$stsem&lehreinheit_id=$lehreinheit_id' class='Item'>";
-echo "<font size='3'><img src='../../../../skin/images/menu_item.gif' width='7' height='9'>&nbsp;Übungen</font>";
-echo "</a>&nbsp;&nbsp;&nbsp;&nbsp;</td>";
-echo "<td><a href='anwesenheitstabelle.php?lvid=$lvid&stsem=$stsem&lehreinheit_id=$lehreinheit_id&uebung_id=$uebung_id' class='Item'>";
-echo "<font size='3'><img src='../../../../skin/images/menu_item.gif' width='7' height='9'>&nbsp;Anwesenheits- und Übersichtstabelle</font>";
-echo "</a>&nbsp;&nbsp;&nbsp;&nbsp;</td>";
-echo "<td><a href='studentenpunkteverwalten.php?lvid=$lvid&stsem=$stsem&lehreinheit_id=$lehreinheit_id' class='Item'>";
-echo "<font size='3'><img src='../../../../skin/images/menu_item.gif' width='7' height='9'>&nbsp;Studentenpunkte verwalten</font>";
-echo "</a>&nbsp;&nbsp;&nbsp;&nbsp;</td>";
-echo "<td><a href='statistik.php?lvid=$lvid&stsem=$stsem&lehreinheit_id=$lehreinheit_id' class='Item'>";
-echo "<font size='3'><img src='../../../../skin/images/menu_item.gif' width='7' height='9'>&nbsp;Statistik</font>";
-echo "</a></td>";
-echo "</tr>";
-echo "<tr>";
-echo "<td colspan='4'>";
+echo "\n\n<!--Menue-->\n";
+echo "<br>\n";
+echo "<table cellpadding='8'>\n";
+echo "	<tr>\n";
+echo "		<td><a href='verwaltung.php?lvid=$lvid&stsem=$stsem&lehreinheit_id=$lehreinheit_id' class='Item'><font size='3'><img src='../../../../skin/images/menu_item.gif' width='7' height='9'>&nbsp;Übungen</font></a></td>\n";
+echo "		<td><a href='anwesenheitstabelle.php?lvid=$lvid&stsem=$stsem&lehreinheit_id=$lehreinheit_id&uebung_id=$uebung_id' class='Item'><font size='3'><img src='../../../../skin/images/menu_item.gif' width='7' height='9'>&nbsp;Anwesenheits- und Übersichtstabelle</font></a></td>\n";
+echo "		<td><a href='studentenpunkteverwalten.php?lvid=$lvid&stsem=$stsem&lehreinheit_id=$lehreinheit_id' class='Item'><font size='3'><img src='../../../../skin/images/menu_item.gif' width='7' height='9'>&nbsp;Studentenpunkte verwalten</font></a></td>\n";
+echo "		<td><a href='statistik.php?lvid=$lvid&stsem=$stsem&lehreinheit_id=$lehreinheit_id' class='Item'><font size='3'><img src='../../../../skin/images/menu_item.gif' width='7' height='9'>&nbsp;Statistik</font></a></td>\n";
+echo "	</tr>\n";
+echo "	<tr>\n";
+echo "		<td colspan='4'>";
 $file = $_SERVER["SCRIPT_NAME"];
 $break = Explode('/', $file);
 $pfile = $break[count($break) - 1]; 
@@ -25,15 +17,15 @@ if ($pfile == "verwaltung.php")
 	echo "&nbsp;&nbsp;&nbsp;&nbsp;Übersicht";
 else if ($pfile == "verwaltung_listen.php")
 {
-	echo "&nbsp;&nbsp;&nbsp;&nbsp;<a href='verwaltung.php?lvid=$lvid&stsem=$stsem&lehreinheit_id=$lehreinheit_id'>Übersicht</a>";
+	echo "&nbsp;&nbsp;&nbsp;&nbsp;<a href='verwaltung.php?lvid=$lvid&stsem=$stsem&lehreinheit_id=$lehreinheit_id'>Übersicht</a> \n";
 	if (isset($_GET["liste_id"]) && !isset($_GET["uebung_id"]))
-		echo "-&gtÜbung";
+		echo "		-&gtÜbung \n";
 	if (isset($_GET["liste_id"]) && isset($_GET["uebung_id"]))
-		echo "-&gt;<a href='verwaltung_listen.php?lvid=$lvid&stsem=$stsem&lehreinheit_id=$lehreinheit_id&liste_id=$liste_id'>Übung</a>-&gt;Liste";
+		echo "		-&gt;<a href='verwaltung_listen.php?lvid=$lvid&stsem=$stsem&lehreinheit_id=$lehreinheit_id&liste_id=$liste_id'>Übung</a>-&gt;Liste \n";
 }
-echo "<br><br>";
-echo "</td>";
-echo "</tr>";
-echo "</table>";
-echo "\n<!--Menue Ende-->\n";
+echo "		<br><br>\n";
+echo "		</td>\n";
+echo "	</tr>\n";
+echo "</table>\n";
+echo "<!--Menue Ende-->\n\n";
 ?>
\ No newline at end of file