/* Unchanged */
/* body {
  line-height: 1.5;
  color:#000;
  background: none;
  font-size: 10pt;
}

a:link, a:visited {
  background: transparent;
  font-weight:700;
  text-decoration: underline;
}

a:link:after, a:visited:after {
  content: " (" attr(href) ") ";
  font-size: 90%;
} */