2014-03-10 07:18:48 +01:00
|
|
|
// Horizontal dividers
|
|
|
|
//
|
|
|
|
// Dividers (basically an hr) within dropdowns and nav lists
|
|
|
|
|
2019-08-21 10:38:14 +02:00
|
|
|
@mixin nav-divider($color: $nav-divider-color, $margin-y: $nav-divider-margin-y, $ignore-warning: false) {
|
2017-03-26 23:54:19 +02:00
|
|
|
height: 0;
|
2018-01-22 01:54:06 +01:00
|
|
|
margin: $margin-y 0;
|
2014-03-10 07:18:48 +01:00
|
|
|
overflow: hidden;
|
2017-03-26 23:54:19 +02:00
|
|
|
border-top: 1px solid $color;
|
2019-08-21 10:38:14 +02:00
|
|
|
@include deprecate("The `nav-divider()` mixin", "v4.4.0", "v5", $ignore-warning);
|
2014-03-10 07:18:48 +01:00
|
|
|
}
|