| .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; | |
| } | |
| } | |
| } |