p,ul {
  font-size: 90%;
  line-height: 150%;
/*
  margin-left:  10px;
  margin-right: 10px;
*/
}

div.p2 {
  font-size: 90%;
  line-height: 150%;
  margin-left: 2em;
}


ul {margin-top: 0em;}

h3{
  font-size: medium;
  /* margin-left: 1em; */
  margin-bottom: 0em;
}

td.h {
  background-color: #ccffcc; /* for 2008 */
  text-align: left;
  font-weight: bold;
  font-size: 1.4em;
  /* font-family: monospace; */
}

.download{
  font-size: 1.2em;
  font-weight: bold;
  /* font-family: monospace; */
  /* font-family: sans-serif; */
}