body
{
  margin: 10px;
  padding: 0;
  font-family: Arial, sans-serif;
  font-size: 12px;
  background-color: #E6F7D4;
  color:black;
}

address {display:none;}

pre hr
{
width:0pt;
}

#indexReadme
{
  margin-top: 15pt;
  width: 55em;
}