diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/functions.php | 8 | ||||
| -rw-r--r-- | include/game.php | 4 | ||||
| -rw-r--r-- | include/output.php | 14 |
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&me=".$r[0]. + echo " <a href=\"".$INDEX."?action=game&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."&token=".$token."\">"._('atom')."</a>\n"; echo " | <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; } |