Ho un problema con un menu css:

Codice PHP:

function print_menu(){
    echo "<div class=\"menu\"><ul>
            [*]<a href=\"./index.php\" title=\"Utilizza i tasti ALT + SHIFT + H per accedere\" accesskey=\"h\">Home</a>
            [*]<a href=\"./destinazioni.php\" title=\"Utilizza i tasti ALT + SHIFT + D per accedere\" accesskey=\"d\">Destinazioni</a>";
            if(isset($_SESSION['user'])){
                echo "[*]<a href=\"./findflight.php\" title=\"Utilizza i tasti ALT + SHIFT + P per accedere\" accesskey=\"p\">Prenota</a>";
                }
                echo "[*]<a href=\"./register.php\" title=\"Utilizza i tasti ALT + SHIFT + R per accedere\" accesskey=\"r\">Registrati</a>";
            echo "[*]<a href=\"./chisiamo.php\" title=\"Utilizza i tasti ALT + SHIFT + W per accedere\" accesskey=\"w\">Chi siamo</a>
        [/list]</div>";
} 
e il suo foglio di stile:

codice:
 
.menu{
	height: 40px;
	width:100%;	 	
	position:relative;
	top:130px;
}

.menu ul{
	display: block;
	height:100%;
}

.menu ul li{
	float: left;
	display:block
}

.menu ul li a{
	width:110px;
	height:28px;
	text-decoration: none;
	text-align: center;
	display: block;
	border-bottom:2px solid #68EAFF;
	margin-right: 20px;
	font-weight: bold;
	font-size:110%;
}

.menu ul li a:hover{
	color: #e6ff14;

	border-bottom:2px solid #e6ff14;

	/*background: url('../images/menus.png') left no-repeat;*/
}
Però davvero non capisco perchè mi faccia sto gioco... Va tutto a posto se sono loggato.


In pratica quando non sono loggato come utente il menu "prenota" non deve apparire, se non sono loggato mi appare questo:


Uploaded with ImageShack.us

Se sono loggato:



Uploaded with ImageShack.us

Il menu è dentro l'header:
codice:
#header{ 	
width: 980px;  	
height:185px; 	
background: url('../images/company_name_bckg2.jpg') repeat-x; 	
margin-top: 20px; 	
margin-left: auto; 	
margin-right:auto; 	
position:relative; 
}


Grazie a chi mi aiuta!