navigation for languages modifed, flags deleted. Content index changed
3 // --------------------------------------------------
5 // Set the container width, and override it for fixed navbars in media queries
9 @media (min-width: @screen-sm) {
12 @media (min-width: @screen-md) {
15 @media (min-width: @screen-lg-min) {
20 // mobile first defaults
25 // Common styles for small and large grid columns
31 // Columns, offsets, pushes, and pulls for extra small devices like
34 .make-grid-columns-float(xs);
35 .make-grid(@grid-columns, xs, width);
36 .make-grid(@grid-columns, xs, pull);
37 .make-grid(@grid-columns, xs, push);
38 .make-grid(@grid-columns, xs, offset);
43 // Columns, offsets, pushes, and pulls for the small device range, from phones
46 @media (min-width: @screen-sm-min) {
47 .make-grid-columns-float(sm);
48 .make-grid(@grid-columns, sm, width);
49 .make-grid(@grid-columns, sm, pull);
50 .make-grid(@grid-columns, sm, push);
51 .make-grid(@grid-columns, sm, offset);
57 // Columns, offsets, pushes, and pulls for the desktop device range.
59 @media (min-width: @screen-md-min) {
60 .make-grid-columns-float(md);
61 .make-grid(@grid-columns, md, width);
62 .make-grid(@grid-columns, md, pull);
63 .make-grid(@grid-columns, md, push);
64 .make-grid(@grid-columns, md, offset);
70 // Columns, offsets, pushes, and pulls for the large desktop device range.
72 @media (min-width: @screen-lg-min) {
73 .make-grid-columns-float(lg);
74 .make-grid(@grid-columns, lg, width);
75 .make-grid(@grid-columns, lg, pull);
76 .make-grid(@grid-columns, lg, push);
77 .make-grid(@grid-columns, lg, offset);