diff options
| author | Arun Persaud <arun@nubati.net> | 2011-10-06 19:30:21 -0700 |
|---|---|---|
| committer | Arun Persaud <apersaud@lbl.gov> | 2011-10-06 21:26:44 -0700 |
| commit | 92b91104986b28919e4a3603ce1bc7fbde0b8fbb (patch) | |
| tree | 5b6d538d59638aa1aebafdc606a46378a9f904fe /include | |
| parent | 82a95233b5eec850096bae969d5dd70105c65586 (diff) | |
| download | e-DoKo-92b91104986b28919e4a3603ce1bc7fbde0b8fbb.tar.gz e-DoKo-92b91104986b28919e4a3603ce1bc7fbde0b8fbb.tar.bz2 e-DoKo-92b91104986b28919e4a3603ce1bc7fbde0b8fbb.zip | |
started on better mobile support
some changes in order of HTML, but mostly CSS
Diffstat (limited to 'include')
| -rw-r--r-- | include/game.php | 20 | ||||
| -rw-r--r-- | include/output.php | 1 |
2 files changed, 11 insertions, 10 deletions
diff --git a/include/game.php b/include/game.php index 0ef5a3e..dcabc67 100644 --- a/include/game.php +++ b/include/game.php @@ -121,7 +121,7 @@ set_gametype('normal'); echo "<form action=\"index.php?action=game&me=$me\" method=\"post\">\n"; /* handle user notes (only possible while game is running)*/ -if( $mystatus!='gameover' ) +if( $mystatus!='gameover' ) if(myisset('note')) { $note = $_REQUEST['note']; @@ -130,15 +130,6 @@ if( $mystatus!='gameover' ) DB_insert_note($note,$gameid,$myid); }; -/* make sure that we don't show the notes to the wrong person - * (e.g. other people looking at an old game) - */ -if( $mystatus != 'gameover' || - ( $mystatus == 'gameover' && - isset($_SESSION['id']) && - $myid == $_SESSION['id'])) - output_user_notes($myid,$gameid,$mystatus); - /* handle calls, output a comment to show when the call was made */ /* initialize comments */ $comment = ''; @@ -2177,6 +2168,15 @@ if(sizeof($other_game_ids)>0 && $mystatus=='gameover') echo "</div>\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) + */ +if( $mystatus != 'gameover' || + ( $mystatus == 'gameover' && + isset($_SESSION['id']) && + $myid == $_SESSION['id'])) + output_user_notes($myid,$gameid,$mystatus); + echo "</form>\n"; $gamestatus = DB_get_game_status_by_gameid($gameid); diff --git a/include/output.php b/include/output.php index 29a6d7d..e79fecf 100644 --- a/include/output.php +++ b/include/output.php @@ -378,6 +378,7 @@ function output_header() <meta charset="utf-8" /> <link rel="shortcut icon" href="pics/edoko-favicon.png" /> <link rel="stylesheet" href="css/standard.css?v=30" /> + <link rel="stylesheet" media="screen and (max-width: 600px)" href="css/narrow.css?v=1" /> <link rel="stylesheet" href="css/dateinput.css?v=1"/> <script type="text/javascript" src="include/jquery.js"> </script> <script type="text/javascript" src="include/jquery.tablesorter.js"></script> |