.headingFontSize {font-size:4px;}

td {
font-size:110%

}

div.normal
{
font-size:large
}

div.larger
{
font-size:110%
}

div.fixeds
{
font-size:large;
width:1230px;
overflow:auto
}


div.fixed
{
font-size:large;
width:810px;
overflow:auto
}

div.cen
{
text-align:center;
overflow:auto
}

img.bottom
{
vertical-align:text-bottom;
 margin: 0pt -3pt 0pt -3pt
}

mark {
  background-color: green;
  color: black;
}

tbody { 
    height:40em;  
    overflow:scroll;
                }

.nodec a:link {text-decoration: none;}
.nodec a:visited {text-decoration: none;}
.nodec a:active {text-decoration: none;}
.nodec a:hover {text-decoration: none;}

.publications li  { margin-bottom: 3px; }
.publications a:link {text-decoration: none; color:black}