body
{
  font-family: "Times", "Times New Roman";
  font-size: 14px;
}

div.copy
{
  font-size: 10px;
  font-style: italic;
}