/* CSS du menu vertical, bieler batiste */

body{
    margin-left:5em; /* marge de gauche */
    }

.menu{
    position:absolute;
    /* solve a Opera7/IE display bug */
    width:152px;
    width/**/:150px;
    border-top: 1px #000 solid;
    border-left: 1px #000 solid;
    border-right: 1px #000 solid;
    margin:0;
    padding:0;
    }
    
.menu span{
    display:none;
    }
    
.menu ul{
    border-top: 1px #000 solid;
    border-left: 1px #000 solid;
    border-right: 1px #000 solid;
    margin:0;
    padding:0;
    position:absolute; /* important */
    width:152px;
    width/**/:150px;
    }
    
.menu li ul{
    visibility:hidden;
    }
            
.menu li ul{
    margin-left:150px; /* be careful */
    margin-top:-24px;
    }
    
.menu a{
    text-align:center;
    background-color: #7689A7;/* modifier couleur 1er fond */
    color:#000;
    text-weight:bold;
    display:block;
    width:150px;
    border-bottom: 1px #000 solid;
    text-decoration:none;
    margin:0;
    padding:3px 0 3px 0; /* em units can creat little graphic bug in mozilla */
    }
    
.menu a:hover{
    background-color: #aaf;
    }
    
/* for a mozilla better display with key nav */
.menu a:focus{
    background-color: #aaf;
}

.menu span{
    /* hide some accessibility stuff */
    display:none;
    }
        
.menu li{
    width:150px;
    display:block;    
    float:left;  
    list-style:none;
    margin:0;
    padding:0;
    }
    
    pre
{ 
	border: 1px solid #AAA; 
	background-color:#F8F8F8;
	padding:8px;
	font-size:100%; 
	max-width:90%; 
	margin:16px 32px 16px 32px;
	font-family: "Bookman Old Style", "Cambria", Arial, Verdana, Geneva;
	color:black;
	-moz-box-shadow: 4px 4px 10px #888;  
	-webkit-box-shadow: 4px 4px 10px #888;  
	box-shadow:4px 4px 6px #888;
	white-space:pre; 
	white-space:pre-wrap; 
	word-wrap:break-word;
-moz-border-radius:6px;
-webkit-border-radius:6px;
border-radius:6px;		
}
 toper
	{
        font-family: Monaco, "Lucida Console", "Courier New", monospaced;
        font-size: 15px;
		border: 2px solid #5a86c5; 
	    background-color:#a9b9dd;
		padding:8px;
        position: fixed;
		width:390px;
        top:400px;
        left:50%;
		margin-left:-860px;
        color:#000000;
		-moz-transform:rotate(-90deg);
		-webkit-transform:rotate(-90deg); 
		-o-transform:rotate(-90deg);
		-ms-transform : rotate(-90deg);
		-moz-border-radius:6px;
		-webkit-border-radius:6px;
		border-radius:6px;
		-moz-box-shadow: 4px 4px 6px #888;  
	-webkit-box-shadow: 4px 4px 6px #888;  
	box-shadow:4px 4px 6px #888;
    }    
/* IE PC selector */
* html .menu li {
    display:inline; /* solve a IE PC list bug */
    float:none; /* solve a IE5 clav nav bug */
    }
    
a.linkOver{
    background-color: #eee;
    }