/* Jump-menu-related styles */
.hhs-jump-menu label {
  display: block;
}

.hhs-jump-menu select {
  display: inline-block;
  max-width: 74%;
  margin-right: 10px;
}

.hhs-jump-menu {
  background-color: #f7f7f7;
  border: 1px solid #cfcfcf;
  margin: 15px 0;
  padding: 15px;
}