/* Shrink search bar */
.search {
  max-width: 300px !important;
  font-size: 14px !important;
  padding: 4px 8px !important;
}

/* Make top bar less chunky */
.top-bar {
  padding: 8px 16px !important;
}

/* Tweak logo size */
.logo img {
  max-height: 28px !important;
}