body {
/* only needed because IE doesn;t support li:hover, but it does
   support a:hover -> in those cases this script is not needed!
   i.e. still a CSS only solution is given! But all list items
   must have a link then.
   it's only for the lack of child descent support > that the
   rest far below is given */

/*
   behavior: url("/stylesheets/csshover.htc");
*/
   color: #000000;
   background: #ffffbb;
   background: #ffffdd;
   padding: 0px;
   margin: 10px;
/*
   font-family: Times, Verdana, Arial, Helvetica, Sans-Serif;
   font-family: Arial, Verdana, Helvetica, Sans-Serif;
*/
   font-family: Helvetica, Sans-Serif;
   font-family: Arial, Verdana, Helvetica, Sans-Serif;
   font-size: 100%;
   font-size: 90%;
}

a:link, 
a:visited, 
a:hover {
   color: #2f86ff;
   text-decoration: none;
}

a:hover {
   text-decoration: underline;
}

a:visited {
   color: #ac0011;
}

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%;
   border: 1px #006f02 solid;
   background: #b0e4ae;
   padding: 4px;
}

img {
   border: 0;
}
/******************************************************************************/
.bar { 
   text-decoration: overline; 
}
/******************************************************************************/
.top 
{
   background: #ffff00;
   height: 100px;
/* black for temporary visibility improvement */
   border: 1px solid #000000;
}

.top a.logo,
.top a.logo:link,
.top a.logo:hover,
.top a.logo:visited {
   color: #ac0011;
   border: none;
} 

.top .date {
   color: #ac0011;
   font-size: 15px;
   margin: 0px;
   padding-right: 20px;
   padding-top: 6px;
   padding-bottom: 6px;
   display: inline;
   float: right;
   clear: right;
}

.top .date a:link,
.top .date a:visited {
   color: #ac0011;
   text-decoration: none;
}

img.logo {
   float: left;
   border: none;
}
/******************************************************************************/
/******************************************************************************/
/********************************************************* Menu functionality */

#menu 
{
   float: left;
/* This is only necessary for the M$ unfriendly (but good CSS, alternative 2)
   solution as otherwise the width will be taken the full width of menu as far 
   as open and as a float that's not very welcome */
   width: 150px;
   height: 100%;
}

#menu ul, 
#menu li {
   margin: 0;
   padding: 0;
   display: block;
}  

#menu ul {
   list-style: none;
   width: 150px;
} 

#menu li {
   position: relative;
   display: block;
   z-index: 9;
}

#menu li:hover {
   z-index: 15;
}

/*----------------------------------- Alternative 1; apparently M$   friendly */
#menu ul ul {
   position: absolute;
   display: none;
   right: -140px;
   top: 4px;
}
  
#menu li:hover ul ul {
   display:none;
}

#menu li:hover ul, 
#menu li:hover li:hover ul {
   display:block;
}
/*----------------------------------------------------------------------------*/
/*----------------------------------- Alternative 2; apparently M$ unfriendly */
/*
#menu ul ul {
   position: absolute;
   display: none;
   width: 150px;
}

#menu li:hover > ul {
   display: block;
   margin-left: 150px;
}

#menu li.sub:hover {
   width: 300px;
}
*/
/*----------------------------------------------------------------------------*/

#menu li a:hover {
   display: block;
}

#menu li a {
   display: block;
}
/******************************************************************************/
/********************************************************** Menu decoration ***/
#menu {
   background: #ffffbb;
   background: #ffffdd;
   margin-top: 10px;
/*
   font-size: 80%;
   font-size: 90%;
/*
/*
   font-weight: bold;
*/
}
#menu ul {
   border: 1px solid #ffffbb;
   border: 1px solid #ffffdd;
/** black for temporary visibility improvement **/
   border: 1px solid #000000;
}
#menu li a {
   /* make sure that sizes correspond with the #menu li a:hover sizes!!! */
   margin: 0px;
   background: #ffff00;
   color: #ff0000;
   border-top: 1px #ffffbb solid;
   border-top: 1px #ffffdd solid;
   border-bottom: 1px #ffffbb solid;
   border-bottom: 1px #ffffdd solid;
   padding: 4px 2px 4px 10px;
   text-decoration: none;
}
#menu li a:visited {
   color: #0081ac;
}
#menu li a:hover {
   margin: 0px;
   background: #2f86ff;
   color: #ffffff;
   border-top: 1px #6f000b solid;
   border-bottom: 1px #6f000b solid;
   padding: 4px 2px 4px 10px;
   text-decoration: none;
}
#menu p.h {
   text-align: center;
}
/******************************************************************************/
div.content {
   margin-left: 170px;
   margin-bottom: 20px;
}
/******************************************************************************/
#bottom {
   display: none;
}
/******************************************************************************/
table {
   color: #000000;
   margin: 0;
   border: 0;
/* To keep that inferior IE happy instead of 100% */
/*
   width: 99%;
*/
   width: 95%;
   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;
}
/******************************************************************************/
.eprints {
/*
   font-family: Times, Verdana, Arial, Helvetica, Sans-Serif;
*/
}

table.eprints {
   margin: 0;
   border: 0;
}

.eprints th,
.eprints td {
   font-size: 80%;
   font-size: 90%;
   padding: 0.7em;
   background: #ffff88;
   border: 2px #ffffbb solid;
   border: 2px #ffffdd 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; }

/******************************************************************************/
.yndata {
   margin-top: 20px;
   border: 0;
   padding: 0;
}
.yndata th {
   text-align: left;
   vertical-align: top;
   padding: 10px 20px 10px 0px;
}
/******************************************************************************/
.news {
}

.heavy {
   font-weight: bold;
   background: #ffff00;
   color: #ac0011;
   padding: 10px;
   border: 0;
   margin: 0;
   font-size: 125%;
   text-align: center;
}

.midheavy {
   font-weight: bold;
   background: #ffff00;
   color: #ac0011;
   padding: 10px;
   border: 0;
   margin: 0;
   font-size: 125%;
   text-align: left;
}

.warning {
   font-weight: bold;
   color: #ff0000;
   font-size: 125%;
}