a bit more cleanup in the layout

diff --git a/css/standard.css b/css/standard.css
index 2633d039a218694ea784ad66c210779d4c354066..368bd523d876d611b3d91e1eebafb644a064dd28 100644 (file)
--- a/css/standard.css
+++ b/css/standard.css
@@ -198,15 +198,23 @@ ul.oldtrick li div div.card3 span span{
   border-top:0;
 }
 
-.time,.over { 
+.time { 
+  float:left;
+  border:2px solid gray;
+  border-top:0;
+}
+
+.over { 
   float:right;
   border:2px solid black;
   clear:right;
- }
+}
 
 .bug {
   float:left;
   width:10em;
   border:2px solid gray;
   border-top:0;
+  padding-top:0.5em;
+  clear:left;
 }
\ No newline at end of file

diff --git a/functions.php b/functions.php
index 6bd50af740d23f59b84e322b532752f8e373c803..f77f8aead048b977016e6983c99a177d247e965c 100644 (file)
--- a/functions.php
+++ b/functions.php
@@ -394,7 +394,7 @@ function display_status()
 {
   echo "<div class=\"info\">";
   echo " is someone playing solo, etc?";
-  echo "</div>";
+  echo "</div>\n";
   
   return;
 }
@@ -402,11 +402,11 @@ function display_status()
 function display_news()
 {
   global $wiki;
-  echo "<div class=\"bug\"> ".
-    "Please hit shift+reload.<br /><hr />".
-    "added local time display, let me know what you think<br /><hr />".
-    "If you find more bugs, please list them in the <a href=\"".$wiki.
-    "\">wiki</a>.</div>\n";
+  echo "<div class=\"bug\">\n".
+    "  Please hit <strong>shift+reload</strong>.<br /><hr />\n".
+    "  added local time display, let me know what you think<br /><hr />\n".
+    "  If you find more bugs, please list them in the <a href=\"".$wiki.
+    "\">wiki</a>.\n</div>\n";
   return;
 }
 

diff --git a/index.php b/index.php
index 990bee7eab3166e6e1e86b708f84854aa3201ae1..287a064d5b7fcbed5c33f970546de778234587ec 100644 (file)
--- a/index.php
+++ b/index.php
@@ -280,9 +280,6 @@ else if(isset($_REQUEST["me"]))
        break;
       case 'play':
       case 'gameover': /*both entries here,  so that the tricks are visible for both in case of 'play' there is a break later that skips the last part*/
-       display_news();
-       display_status();
-
        /* display local time */
        echo "<div class=\"time\">\n Local times:<table>";
        $users = array();
@@ -297,6 +294,7 @@ else if(isset($_REQUEST["me"]))
            echo "<tr> <td>$name</td> <td>".date("Y-m-d H:i:s")."</td></tr>\n";
          };
        echo "</table>\n</div>\n";
+       display_status();
 
        /* display links to other games */
        echo "<div class=\"over\">\n";
@@ -309,6 +307,8 @@ else if(isset($_REQUEST["me"]))
        echo "</form>\n";
        echo "</div>\n";
 
+       display_news();
+
        $gamestatus = DB_get_game_status_by_gameid($gameid);
        if($gamestatus == 'pre')
          {