body {
   padding: 0px;
   margin: 10px;
   font-family: Times, Verdana, Arial, Helvetica, Sans-Serif;
   font-family: Helvetica, Sans-Serif;
   font-size: 100%;
}

p {
   text-align: justify;
}

h1, h2, h3 {
   font-weight: bold;
}

h1 {
   font-size: 175%;
   border-bottom: 1px #000000 solid;
/* left or both are no options as the 'menu' is a float */
   clear: right;
}

h2 {
   font-size: 150%;
   text-decoration: underline;
   clear: right;
}

h3 {
   font-size: 125%;
   text-decoration: underline;
   clear: right;
}

pre {
   font-size: 90%;
   padding: 4px;
}
/******************************************************************************/
.bar { 
   text-decoration: overline; 
}
/******************************************************************************/
.top {
   display: none;
}

#menu {
   display: none;
}
/******************************************************************************/
div.content {

}
/******************************************************************************/
#bottom {
   border: none;
   font-weight: bold;
}
#bottom table {
   border: 0;
   margin: 0;
   padding: 0;
   width: 100%;
}
#bottom th {
   width: 10%;
}
#bottom td {
   vertical-align: middle;
   width: 30%;
}
#bottom hr {
   color: #000000;
}
/******************************************************************************/
table {
   color: #000000;
   margin: 0;
   border: 0;
/* To keep that inferior IE happy instead of 100% */
   width: 99%;
   clear: none;
   border-collapse: collapse;
   background: none;
}

img.left {
   float: left;
   margin-top: 5px;
   margin-right: 10px;
   margin-bottom: 10px;
}

img.right {
   float: right;
   margin-top: 5px;
   margin-left: 10px;
   margin-bottom: 10px;
}
/******************************************************************************/
table.eprints {
   margin: 0;
   border: 0;
}

.eprints th,
.eprints td {
   font-size: 80%;
   padding: 0.7em;
   background: #ffff88;
   border: 2px #ffffbb solid;
}
/******************************************************************************/
table.trento {
   Margin: 0;
   border: 0;
}
   
.trento tr { }
   
   
.trento th,
.trento td {
   padding: 0.4em;
   background: #ffff88;
   border: 2px #ffffdb solid;
}

.name {font-weight: bold; }

/******************************************************************************/
.heavy {
   font-weight: bold;
   background: #eeeeee;
   color: #000000;
   padding: 1em;
   border: 0;
   margin: 0;
   font-size: 125%;
   text-align: center;
}