a,
a:visited,
a:hover,
a:active {
  color: #0000EE;
  text-decoration: none;
}


a:hover {
  text-decoration: underline;
}

.pdf-link,
.pdf-link:visited,
.pdf-link:hover,
.pdf-link:active {
  color: #d32f2f;
}

a.noline,
a.noline:visited,
a.noline:hover,
a.noline:active {
  color: inherit;
  text-decoration: none;
}