a:link img, a:visited img { border-style: none } /* no border on img links */
/* @media screen {   hide from IE3 */
/* a[href]:hover { */

a:hover {
   background: #0000BB;
   color: white;
}

a[href].main-menu-item:hover,a[href].sub-menu-item:hover { 
   background: white;
   color: blue;
}

a.bibtex, a.details, a.download {
   font-size: xx-small;
   color : black;
   border: solid black;
   border-bottom-width: 1px;
   border-left-width: 1px;
   border-right-width: 1px;
   border-top-width: 1px;
}
  
a.bibtex:hover,a.details:hover,a.download:hover {
   background: black;
   color: white;
   font-weight: bold;
}  
  
A {
  color: darkblue;
  text-decoration: none;
}


H1 {
  font-size: huge;
  font-variant: small-caps;
  font-weight: bold;
  margin-top: 0px;
#padding-top: -0.2cm;
  padding-left: 2px;
  padding-right: 2px;
  background-color: #cccccc; 
  color: darkblue;
}

H1.authors {
  font-size: 150%;
  font-variant: small-caps;
  font-weight: bold;
  margin-top: 0px;
  padding-left: 2px;
  padding-right: 2px;
  background-color: #cccccc; 
  color: black;
}

H1.title {
  font-size: 200%;
#font-variant: small-caps;
  font-weight: bold;
  margin-top: 0px;
  padding-left: 50px;
  padding-right: 2px;
  background-color: #cccccc; 
  color: black;
}

H2 {
  font-size: medium;
  font-weight: bold;
#  font-variant: small-caps;
# font-style: italic;
  background-color: #dddddd;
  color: darkblue;
  padding-right: 2px;
  padding-left: 2px;
}

  
pre {
        background: white;
}
  
body { 
  font-family: Verdana, sans-serif;
  font-size: small;
  padding-left: 0.5cm;   
  padding-right: 0.5cm;   
  padding-top: 0.4cm;
  background-color: #cccccc;   
}



p {
  font-family: Verdana, sans-serif;
  padding:1em 0px 2px 2em;
}

p.citation {
  text-indent: -1em;
  padding:0px 0px 4px 3em;
}

p.abstract {
  font-style: italic;
  padding: 0px 2em 2px 2em;
}

ul { margin: 0px 0px 2px 0px; padding-left: 3.5em; }

.content>p {margin:0px;}

  
img.pic {
  vertical-align: top;
  margin-top: 75px;
  right: 90px;
  z-index: 1;
}


/* All the content boxes belong to the content class. */
.content {
  /* Position is declared "relative" to gain control of stacking order
     (z-index). */ 
  position:relative; 
  width:auto;
  min-width: 310px;
  margin:10px 10px 10px 10px;
  /* This allows the content to overlap the right menu in narrow windows in
     good browsers. */ 
  z-index:3; 
}

.nav {
  text-align: right;
  margin-right: 100px;
}

/*
div.nav a:hover {
  background-color:#ffffff;
  border: solid #d00000;
  border-bottom-width: 1px;
  border-left-width: 0px;
  border-right-width: 0px;
  border-top-width: 0px;
  padding-bottom: 2px;
}
*/
