body  { 
  /*color: #333333; */
  color: black;
  font-size: 12px; 
  font-family: Arial, Helvetica, sans-serif; 
  text-decoration: none ;
  line-height: 16px;
  margin-right: 2px;
  margin-left: 2px;  
}

td {
  font-family: Arial, Helvetica, sans-serif;
  font-size: 12px;
  text-decoration: none;
}

img {
  border: 0;
  padding: 5px;
}

p {
   margin-right: 4px;
   margin-left: 4px;  
}

 table {
  border-collapse: separate;
}

ul {
   line-height: 16px;
}

a:link {
  font-family: Arial, Helvetica, sans-serif;
  /*color: navy;*/
  color: #3a559a;
  font-size: 12px;
  font-weight: normal;
  text-decoration: none;
  /*color: #ff9900;*/
}

a:active {
  font-family: Arial, Helvetica, sans-serif;
  font-size: 12px;
   /*color: navy;*/
  color: #3a559a;
  font-weight: normal;
  text-decoration: none;
  /*color: #ff9900;*/
}

a:visited {
  font-family: Arial, Helvetica, sans-serif;
  font-size: 12px;
   /*color: navy;*/
  color: #3a559a;
  font-weight: normal;
  text-decoration: none; 
  /*color: #ff9900;*/
}

a:hover {
  font-family: Arial, Helvetica, sans-serif;
  font-size: 12px;
   /*color: navy;*/
  color: black;
  /*font-weight: bold;*/
  text-decoration: underline;
  background-color: #ff593b; /* spidertech orange */
  /*color: #ff9900;*/
}

a.normal_link:link {
   text-decoration: none;
   background-color: #ffffff;
   border: none;
}

a.normal_link:visited {
   text-decoration: none;
   background-color: #ffffff;
   border: none;
}

a.normal_link:hover {
   text-decoration: none;
   background-color: #ffffff;
   border: none;
}  

li.list-bussola {
   line-height: 18px;
   list-style-image: url(/img/bussola.gif);
}


/* */
.fixed_bar {
  margin: 1ex;
  position: absolute;
  position: fixed;
  width: 13ex;
  right: 0;
  top: 48px;
  list-style-image: none;
  border: 1px solid rgb(0, 0, 0);
  /* color: navy; */
  /* background-color: #d6e8ff; */
  padding: 3px;  
  font-size: 12px;
  list-style-type: none;
}

.left_sidebar {
   /* spidertech logo color */
   color: black;
   line-height: 12px; 
}

.initial {}
.normal {}
.normalempty {} /* in certi casi normal va in conflitto con altre classi quindi uso normalempty */
.heading { background-color: #CCCCCC }
.heading_light { background-color: #DCDCDC }
.highlight { background-color: #B0E0E6 }