div.menu {
  height: 100%;
  max-height: 100%;
  overflow: auto;
}

a {
  color: #38678a;
  text-decoration: none;
}

a:link {
  color: #38678a;
}

a:visited {
  color: #38678a;
}

a:hover {
  color: #f90602;
}

a:active {
  color: #f90602;
}