diff -r d4ec02c51c91 -r af15590802a4 assets/stylesheets/bootstrap/mixins/_nav-divider.scss
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/assets/stylesheets/bootstrap/mixins/_nav-divider.scss	Thu Jun 15 12:17:09 2017 +0200
@@ -0,0 +1,10 @@
+// Horizontal dividers
+//
+// Dividers (basically an hr) within dropdowns and nav lists
+
+@mixin nav-divider($color: #e5e5e5) {
+  height: 1px;
+  margin: (($line-height-computed / 2) - 1) 0;
+  overflow: hidden;
+  background-color: $color;
+}