3 // --------------------------------------------------
6 border-bottom: 1px solid darken(@page-header-border-color, 2%);
7 padding-bottom: ((@line-height-computed / 2) + 1);
8 margin: (@line-height-computed * 2)+10 0 @line-height-computed;
15 .sidebar-header + .list-group {
17 margin-top: -@grid-gutter-width/2/2;
19 background: transparent;
20 border-color: darken(@page-header-border-color, 2%);
23 .list-group-item-heading {
24 font-size: @font-size-base;
29 color: @dropdown-header-color;
30 font-size: @font-size-base;
32 line-height: @line-height-computed + 1;
37 margin-top: @grid-gutter-width/4;
42 background: @dropdown-link-active-bg !important;
43 border-color: @dropdown-link-active-border-color !important;
45 @media (min-width: @grid-float-breakpoint) {
47 content: @fa-var-angle-right;
48 font-family: @icon-font-name-fa;
51 right: @grid-gutter-width/2/2;
60 border-bottom: 1px solid transparent;
62 border-top: 1px solid transparent;
64 font-size: @font-size-base + 1;
65 line-height: @line-height-computed + 1;
66 padding: 1px @grid-gutter-width/2;
68 background: @dropdown-link-hover-bg;
69 border-color: @dropdown-link-hover-border-color;
72 color: lighten(@gray-pf, 12%);
73 font-size: @font-size-base + 3;
74 margin-right: @grid-gutter-width/4;
76 vertical-align: middle;
77 width: @font-size-base + 3;
82 margin-left: -@grid-gutter-width/2;
83 margin-right: -@grid-gutter-width/2;
89 background: transparent;
92 padding: 6px @grid-gutter-width/2;
94 padding-left: @grid-gutter-width/2 + 17;
98 padding: 9px @grid-gutter-width/2;
101 font-size: @font-size-base;
104 display: inline-block;
117 @media (min-width: @grid-float-breakpoint-max) {
118 .sidebar-header-bleed-left {
119 margin-left: -@grid-gutter-width/2;
121 margin-left: @grid-gutter-width/2;
124 .sidebar-header-bleed-right {
125 margin-right: -@grid-gutter-width/2;
127 margin-right: @grid-gutter-width/2;
130 margin-right: @grid-gutter-width/2;
133 margin-right: -@grid-gutter-width/2;
137 .panel-group .panel-default, .treeview {
140 margin-left: -@grid-gutter-width/2;
141 margin-right: -@grid-gutter-width/2;
146 padding-left: @grid-gutter-width/2;
147 padding-right: @grid-gutter-width/2;
148 &.node-selected:after {
149 content: @fa-var-angle-right;
150 font-family: @icon-font-name-fa;
153 right: @grid-gutter-width/2/2;
161 @media (min-width: @grid-float-breakpoint) {
163 background: @sidebar-pf-bg;
165 border-right: 1px solid @sidebar-pf-border-color;
168 border-left: 1px solid @sidebar-pf-border-color;
170 > .nav-category, > .nav-stacked {