/*
$grid-breakpoints: (
  xs: 0,
  sm: 576px,
  md: 768px,
  lg: 992px,
  xl: 1200px,
  xxl: 1500px
);
*/
nav.top-menu a {
  display: inline-block;
  color: #0F2759;
  padding: 5px 8px;
  border-radius: 2rem;
}
nav.top-menu a.selected {
  background-color: #A3CAFF;
}
@media (min-width: 1200px) {
  nav.top-menu a {
    padding: 5px 10px;
  }
}
@media (min-width: 1400px) {
  nav.top-menu a {
    padding: 7px 20px;
  }
}