permit arenas having their own css

html/index.php

@@ -69,6 +69,12 @@ if($currentArena == ""){
 	@import url(/style.css);
       </style>
      <?php
+      //arena specific css script (if needed)
+      if(isset($currentArenaArr['cssFile'])){
+	  echo '<style type="text/css"><!--'."\n";
+	  echo file_get_contents("../src/arenas/".$currentArena."/".$currentArenaArr['cssFile']);
+	  echo "\n--></style>";
+	}     
       //arena specific script js (if needed)
 	if(isset($currentArenaArr['jsFile'])){
 	  echo '<script type="text/javascript"><!--'."\n";

src/arenas_lists.php

@@ -4,7 +4,8 @@ $arenas=array(
         'id'    => "tictactoe",
         'url'   => "/tictactoe",
         'title' => "Tic Tac Toe",
-        'jsFile'=> "js.js"
+        'jsFile'=> "js.js",
+        'cssFile'=> "style.css"
     ),
     array(
         'id' => "Battleship",