.navbar {
  min-height: 80px;
  background-color: rgba(143, 228, 243, 0.75);
  /*box-shadow:0 2px 4px 0 rgba(0,0,0,.25);*/
  font-size: 12pt;
  border: none;
  border-radius: 0px;
}

.navbar-brand {
  padding: 0 15px;
  height: 80px;
  line-height: 80px;
}

.navbar-toggle {
  /* (80px - button height 34px) / 2 = 23px */
  margin-top: 23px;
  padding: 9px 10px !important;
}

@media (min-width: 768px) {
  .navbar-nav > li > a {
    /* (80px - line-height of 27px) / 2 = 26.5px */
    padding-top: 26.5px;
    padding-bottom: 26.5px;
    line-height: 27px;
  }
}

.navbar-brand > img {
  padding-top: 15px;
}
