CLEANUP: fixed html output a bit
authorArun Persaud <arun@nubati.net>
Mon, 14 Nov 2011 05:55:27 +0000 (21:55 -0800)
committerArun Persaud <apersaud@lbl.gov>
Mon, 14 Nov 2011 06:00:03 +0000 (22:00 -0800)
added whitespaces and line breaks

include/functions.php
include/game.php
include/output.php

index ddac18267dbd111aa59db02007083bb08d62a229..9f36330da129fee013d8912a967d1aaf1216adcf 100644 (file)
@@ -1181,22 +1181,22 @@ function display_user_menu($id)
     {
       if($i==0)
        {
     {
       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 _('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)
        {
        "\">game ".DB_format_gameid($r[1])." </a><br />\n";
       if($i>4)
        {
-         echo "...<br />\n";
+         echo "  ...<br />\n";
          break;
        }
     }
 
   if($i)
          break;
        }
     }
 
   if($i)
-    echo  "</div>\n";
+    echo  "</div>\n\n";
   return;
 }
 
   return;
 }
 
index 11cb66fc98dee09d99e93b0b005facad44bba50e..b8963d2fc5134aac1a1d782a4d4371a82b1b5e3b 100644 (file)
@@ -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 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 "  </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)
 
 /* make sure that we don't show the notes to the wrong person
  * (e.g. other people looking at an old game)
index 1adcaa78f4087e9f5640a802148937d4b02a2013..e91451c677f95ace37e475dc74c32b4c84dfea2b 100644 (file)
@@ -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";
     "  <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";
 
   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 " | <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;
 }
     }
   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 "<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')
   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;
 }
 
   return;
 }