#menu { 
   color: black;
   /* inizio modifiche by linux@studenti */
   /*margin-top: 120px;*/
   margin-top: 90px;
   /* fine modifiche by linux@studenti */
   margin-left: 5px;
   font-family: "Bitstream Vera Sans", Verdana, Helvetica, Arial, sans-serif;
	 font-size: 110%;
}

#menu a { text-decoration: none; }

#menu ul {
	font-family: sans-serif;
	list-style-type: none;
	padding-left: 0px;
	}
#menu ul li {padding-top: 5px}	
#menu ul a {
  margin-left: -3px;
  padding-left: 18px;
  padding-right: 10px;
  padding-top: 10px;
  padding-bottom: 10px;
  color: black}
#menu ul a:hover {
  background: url(../img/highlight.png) no-repeat ;
  background-position: 1px 3px;
  }
#menu ul ul {
	font-size: 85%;
	padding-left: 15px;
	}
	
#menu #cur a {
  background: url(../img/selected.png) no-repeat ;  
  background-position: 1px 1px;
}

#menu #cur a:hover {
  background: url(../img/highlight.png) no-repeat ;  
  background-position: 1px 1px;
}

#disctree {
   position: absolute;
   padding:0;
   left:0;
   height: 11px;
   bottom: 5px;
   margin-left:19px;}

/*#exit_button {
   height : 26px;
   cursor: pointer;
}

#exit_button a {
   position: absolute;
   width : 92px;
   height : 26px;
   margin-left: 28px; bottom: 20px;
   background-image : url("../../img/sys/ExitButton.png");
}

#exit_button a:hover { background-position: 0px -26px; }
*/

#exit_button {
   cursor: pointer;
   float:left;
   display:block;
   width : 40px;
   height : 40px;
}

#exit_button a {
   position: fixed;
   width : 40px;
   height : 40px;
   bottom: 20px;

   background-image : url("../../include/img/exit.png");
}
/* #exit_button a:hover { background-position: 0px -26px; } */

#print_button {
   width : 40px;
   height : 40px;
   cursor: pointer;
   float:left;
  display:block;

}

#print_button a {
   position: fixed;
   width : 40px;
   height : 40px;
   bottom: 20px;

   background-image : url("../../include/img/print.png");
}
#info_button {
   width : 40px;
   height : 40px;
   cursor: pointer;
   float:left;
  display:block;

}

#info_button a {
   position: fixed;
   width : 40px;
   height : 40px;
   bottom: 20px;

   background-image : url("../../include/img/info.png");
}
#back_button {
   width : 40px;
   height : 40px;
   cursor: pointer;
   float:left;
  display:block;

}
#back_button a {
   position: fixed;
   width : 40px;
   height : 40px;
   bottom: 20px;

   background-image : url("../../include/img/back.png");
}

.info_button {
   position: fixed;
   padding:0;
   right:2px;
   width:32;
   height: 29px;
   bottom: 2px;
   margin-left:10px;}