BODY
{
  background-color: rgb( 238, 238, 170);

  margin-left: 3em;
  margin-right: 5em;


  font-size: 10pt;
  font-family: serif;
}


body .nav-tr-corner {
  margin-top:0;  
  padding-top:0;  

  margin-bottom: 6pt;

  padding-left: 50px;  
  margin-right: 0; 

  padding-right: 0;  
  float: right; 
}

a.quiet-link { 
  color: black;
  text-decoration: none; 
}

a.quiet-link:hover { 
/*  font-weight: bold; */
  color: blue;
  text-decoration: underline; 
}


/* Glossary */
dt {
  font-size: 12pt;
  font-family: sans-serif;
}
dd {}