From: arun Date: Wed, 13 Dec 2006 19:18:12 +0000 (+0000) Subject: a bit more cleanup in the layout X-Git-Url: https://git.nubati.net/cgi-bin/gitweb.cgi?p=e-DoKo.git;a=commitdiff_plain;h=92a2164d4f1d5367b9325a8d65089abe79ee653b a bit more cleanup in the layout --- diff --git a/css/standard.css b/css/standard.css index 2633d03..368bd52 100644 --- 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 6bd50af..f77f8ae 100644 --- a/functions.php +++ b/functions.php @@ -394,7 +394,7 @@ function display_status() { echo "
"; echo " is someone playing solo, etc?"; - echo "
"; + echo "\n"; return; } @@ -402,11 +402,11 @@ function display_status() function display_news() { global $wiki; - echo "
". - "Please hit shift+reload.

". - "added local time display, let me know what you think

". - "If you find more bugs, please list them in the wiki.
\n"; + echo "
\n". + " Please hit shift+reload.

\n". + " added local time display, let me know what you think

\n". + " If you find more bugs, please list them in the wiki.\n
\n"; return; } diff --git a/index.php b/index.php index 990bee7..287a064 100644 --- 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 "
\n Local times:"; $users = array(); @@ -297,6 +294,7 @@ else if(isset($_REQUEST["me"])) echo "\n"; }; echo "
$name ".date("Y-m-d H:i:s")."
\n
\n"; + display_status(); /* display links to other games */ echo "
\n"; @@ -309,6 +307,8 @@ else if(isset($_REQUEST["me"])) echo "\n"; echo "
\n"; + display_news(); + $gamestatus = DB_get_game_status_by_gameid($gameid); if($gamestatus == 'pre') {