.page-menu {

  .page-menu-title {
    margin-top: 0;
    margin-bottom: 1em;
    color: @header-color;
    font-weight: bold;
  }

  @border-spacing: 12px;

  margin: 0 0 @border-spacing;
  padding:0 0 @border-spacing 18px;

  border-bottom: 1px solid @border-gray;

  @media (min-width: @screen-sm-min) {
    margin-bottom: @border-spacing * 2;
    margin-top: @border-spacing * -1; // so .page-title spacing is consistent when there is no menu
  }

  ul {
    margin: 0 0 0 18px;
    padding: 0;
  }

  a {
    &:visited {
      color: #800080;
    }
  }
  
}