.vertical-menu {
  position: fixed;
  float: left;
  width: 20%;
  height: 500px;
  overflow-y: auto;
  margin-top: 10%;
}

.vertical-menu a {
  background-color: #eee;
  color: black;
  display: block;
  padding: 12px;
  text-decoration: none;
}

.vertical-menu a:hover {
  background-color: #ccc;
}

.vertical-menu  a.active {
  background-color: royalblue;
  color: white;
}

.vertical-menu-2 {
  float: right;
  width:70%;
  overflow-y: auto;
  margin-top: 2%;
  margin-left: 1%;
  margin-right: 2%;

}

.alignleft {
  margin-left: 0%;
}

dt {
  font-weight: bold;
  color: #0867a6;
}

dd {
  color: darkslategrey;
}