deselect onglet accueil si non selectionné

html/index.php

@@ -88,7 +88,7 @@ if($currentArena == ""){
 	<h1><?php echo $siteTitle; ?></h1>
 	
   	<nav id="languages"><a href="<?php echo $currentArena; ?>-fr">fr</a>&nbsp;<a href="<?php echo $currentArena; ?>-en">en</a></nav>
-  	<nav id="menus"><a href="/"<?php if($currentArena == "") echo ' class="selected"'; ?>><?php echo $lang['HOME']; ?></a>
+  	<nav id="menus"><a href="/"<?php if(($currentArena == "") && (!isset($_GET['doc']))) echo ' class="selected"'; ?>><?php echo $lang['HOME']; ?></a>
   	<?php
             foreach($arenas as $arena){
                 if( $arena['id'] == $currentArena){