DIV.padd {
  background-color: rgb(240,240,255);
  color: rgb(0,0,0);
  font-family: monospace;
  margin-left:  3%;
  margin-right: 3%;
  border-width: 1px;
  border-style: solid;
}	 

DIV.headers {
  border-top-style: solid;
  border-bottom-style: none;
  border-top-width: 1px;
  border-bottom-width: 0;
  border-top-color: rgb(0,0,0);
  color: rgb(0,0,80);
  margin-left:  2%;
  margin-right: 2%;
}

DIV.body {
  margin-left:  3%;
  margin-right: 3%;
}

DIV.quote {
  border-left-style: solid;
  border-left-width: 3px;
  border-left-color: rgb(0,0,80);
  color: rgb(0,0,80);
  padding-left: 2%
}