Merge pull request #6 from gnieark/dev

Dev
pull/9/head
Gnieark 9 years ago
commit 42aef6d787

@ -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";

@ -48,3 +48,9 @@ header h1{
float: right;
text-align: right;
}
section{
border-bottom: 1px solid rgb(204, 204, 204);
margin: 0 auto;
overflow: hidden;
width: 90%;
}

@ -0,0 +1,5 @@
td {min-width: 10px; height: 10px;}
.cellj0{border-bottom: 1px dotted black;}
.cellj2{border-top:1px dotted black;}
.celli0{border-right:1px dotted black;}
.celli2{border-left:1px dotted black;}

@ -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",

Loading…
Cancel
Save