body, th, td {
      background-color:white;
      color:navy;
}

a{background-color:transparent; color:navy;}
b{background-color:transparent; color:navy;}

a:link{background-color:transparent; color:navy;}
a:visited{background-color:transparent; color:navy;}
a:hover{background-color:transparent; color:navy;}

p{
  padding: 0em 0.5em ;
  background-color: transparent;
  color:#009;
}

ul, ol{
  padding: 0em 2em ;
  background-color: transparent;
  color:#009;
}

h1{
   padding:0em;
   font-family:"Monotype Corsiva", sans-serif, helvetica,verdana, geneva, arial;
   background-color:transparent;
   color:#009;
   font-size:130%;
}

h2 {
   padding:0em;
   font-family:sans-serif, helvetica,verdana, geneva, arial;
   background-color:transparent
   color:#009;
   font-size:115%;
}

div.title {
  margin: 0;
  font-size: 175%;
  font-weight: bold;
  line-height: 1.1;
  text-align: center;
}
div.title p {
  font-family:"Monotype Corsiva", sans-serif, helvetica,verdana, geneva, arial;
  background-color:transparent;
  color:#009;
  font-size:75%;
  font-style: italic;
  font-family:"Times New Roman", sans-serif, helvetica,verdana, geneva, arial;

  text-align: center;
}

div.highlightbox {
   margin-left: auto;
   margin-right: auto;
   background-color:#CCC;
   border: thin outset navy;
   width: 90%;
   position: relative;
   text-align: left; 
}
div.highlightbox b{
   color:#09F;
   font-size: 125%;
}

div.menu {
  margin: 0;
  font-size: 80% /*smaller*/;
  font-weight: bold;
  line-height: 1.1;
  text-align: center;
  position: absolute;
  left: 10px;
  top: expression( (  10 + ( ignoreMe = document.documentElement.scrollTop ? document.documentElement.scrollTop : document.body.scrollTop ) ) + 'px' );
  width: 15em;
  bottom: auto;
}

body > div.menu {
  margin: 0;
  font-size: 80% /*smaller*/;
  font-weight: bold;
  line-height: 1.1;
  text-align: center;
  position: fixed;
  top: 10px;
  left: 10px;
  width: 15em;
  right: auto;
  bottom: auto;
}
div.menu p {
  margin: 0;
  padding: 0.3em 0.4em;
  font-family: Arial, sans-serif;
  background:navy;
  border: thin outset navy;
  color: white;
}
div.menu a, div.menu em { background-color:navy; color:white; display:block; margin:0 0.5em; padding:0.5em 0em; }
div.menu a, div.menu em { border-top:2px groove #009 }
div.menu a:first-child { border-top: none }
div.menu em { color: #CFC }
div.menu a:link { text-decoration: none; background-color:navy;  color: #FFF }
div.menu a:visited { text-decoration: none; background-color:navy; color: #FFF }
div.menu a:hover { background:white; color:navy }
div.menu a.active{background-color:blue; color:white;}

div.publications{
  margin: 1em;
  font-size: 90%;
  line-height: 1.1;
  min-height: 180px;
  text-align: justify;
}
div.publications h2 {
  margin-top: 2em;
  font-family: sans-serif, helvetica,verdana, geneva, arial;
  font-weight: bold;
  text-align: center;
  background: #009;
  color: #fff;
}
div.publications h3 {
}
div.publications ul, div.publications ol{
  margin: 0em;
  padding: 0em 3em 0em 0em;
  font-family: sans-serif, helvetica,verdana, geneva, arial;
}

div.abstract {
  margin: 2em;
  font-size: 90%;
  line-height: 1.1;
  min-height: 180px;
  text-align: justify;
  background: #eee;
}

div.abstract p {
  padding: 2em 1em;
  font-family: sans-serif, helvetica,verdana, geneva, arial;
  font-weight: bold;
  background: #eee;
  color: #009;
}

div.pub_book {
  margin: 0em 0.5em;
  padding: 0em;
  text-align: justify;
}
div.pub_book a, div.pub_book p{
  margin: 0em;
  padding: 0em;
  text-align: justify;
}
div.pub_book ul,  div.pub_book ol{
  margin: 0em;
  padding: 0em 4em;
}

div.disclaimer {
  margin: 3em 2em;
  line-height: 1;
  text-align: justify;
}
div.disclaimer p {
  margin: 0em;
  padding: 0.1em;
  font-size: 66%;
  font-family: sans-serif, helvetica,verdana, geneva, arial;
  background: #fff;
  color: #009;
}
div.disclaimer h1 {
  padding: 0.2em;
  font-size: 75%;

  font-family: sans-serif, helvetica,verdana, geneva, arial;
  background: #009;
  color: #ccc;
}

/*** This can be floated left or right ***/
.first-wrapper-rigid {
   background-color: transparent;
   float: left;
   width: 1028px;
   text-align: center;
}

/*** This can be floated opposite to .second-float ***/
.first-float-rigid {
   background-color: transparent;
   float: right;
   top: 0em;
   right: 0em;
   border-left: thin outset #009;
   text-align: justify;
   margin: 0.3em 0.3em 0.3em 12em;
   padding: 1.2em;
}

/*** This must be floated opposite to .first-float ***/
.second-float-rigid {
   float: left;
   min-width: 24em;
   margin: 0;
   background-color: transparent;
   border-style: solid;
}

td.cast{
   width: 110px;
   text-align: center;
   font-size: 75%;
   font-weight: bold;
}