CLEANUP: fixed html output a bit

added whitespaces and line breaks

3 files changed, 12 insertions, 14 deletions

diff --git a/include/functions.php b/include/functions.php
index ddac182..9f36330 100644
--- a/include/functions.php
+++ b/include/functions.php
@@ -1181,22 +1181,22 @@ function display_user_menu($id)
     {
       if($i==0)
 	{
-	  echo "<div class=\"usermenu\">\n";
+	  echo "<div class=\"usermenu\">\n  ";
 	  echo _('It\'s your turn in these games').":<br />\n";
 	}
 
       $i++;
-      echo "<a href=\"".$INDEX."?action=game&amp;me=".$r[0].
+      echo "  <a href=\"".$INDEX."?action=game&amp;me=".$r[0].
 	"\">game ".DB_format_gameid($r[1])." </a><br />\n";
       if($i>4)
 	{
-	  echo "...<br />\n";
+	  echo "  ...<br />\n";
 	  break;
 	}
     }
 
   if($i)
-    echo  "</div>\n";
+    echo  "</div>\n\n";
   return;
 }
 
diff --git a/include/game.php b/include/game.php
index 11cb66f..b8963d2 100644
--- a/include/game.php
+++ b/include/game.php
@@ -2135,7 +2135,7 @@ else
     echo "<div class=\"usermenu\">\n";
     echo "It's your turn in these games:<br />\n";
     echo "Please log in to see this information.\n";
-    echo "</div>\n";
+    echo "</div>\n\n";
   }
 
 /*
@@ -2182,7 +2182,7 @@ if(sizeof($other_game_ids)>0 && $mystatus=='gameover')
     echo "  </p>\n";
   }
 
-echo "</div>\n"; /* end gameinfo */
+echo "</div>\n\n"; /* end gameinfo */
 
 /* make sure that we don't show the notes to the wrong person
  * (e.g. other people looking at an old game)
diff --git a/include/output.php b/include/output.php
index 1adcaa7..e91451c 100644
--- a/include/output.php
+++ b/include/output.php
@@ -451,9 +451,7 @@ function output_footer()
     "  <img alt=\"Green Web Hosting! This site hosted by DreamHost.\"".
     " src=\"pics/green1.gif\" height=\"32\" width=\"100\" /></a>\n".
     "  </p> \n";
-  echo "\n";
-  echo "</footer>\n";
-
+  echo "</footer>\n\n";
   echo "</body>\n";
   echo "</html>\n";
 
@@ -490,9 +488,9 @@ function output_status()
       echo " | <a href=\"".$WIKI."\">"._('wiki/bugs')."</a>\n";
       echo " | <a href=\"".$RSS."?uid=".$myid."&amp;token=".$token."\">"._('atom')."</a>\n";
       echo " |&nbsp;&nbsp;&nbsp; <a href=\"".$INDEX."?action=logout\">"._('logout')."</a>\n";
-      echo "</div>\n";
+      echo "</div>\n\n";
 
-      echo "<div class=\"lastlogin\"><span>"._('last login').": ".date("r",$unixtime)."</span></div>\n";
+      echo "<div class=\"lastlogin\"><span>"._('last login').": ".date("r",$unixtime)."</span></div>\n\n";
     }
   return;
 }
@@ -600,10 +598,10 @@ function output_user_notes($userid,$gameid,$userstatus)
   echo "<div class=\"notes\"> "._('Personal notes').": <br />\n";
   $notes = DB_get_notes_by_userid_and_gameid($userid,$gameid);
   foreach($notes as $note)
-    echo "$note <hr />\n";
+    echo "  $note <hr />\n";
   if($userstatus!='gameover')
-    echo "<input name=\"note\" type=\"text\" size=\"15\" maxlength=\"100\" />\n";
-  echo "</div> \n";
+    echo "  <input name=\"note\" type=\"text\" size=\"15\" maxlength=\"100\" />\n";
+  echo "</div>\n\n";
 
   return;
 }