diff -r 000000000000 -r 1afc9d2ab94d authserver/testCAS/resources/assets/less/bootstrap/mixins/nav-divider.less
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/authserver/testCAS/resources/assets/less/bootstrap/mixins/nav-divider.less	Wed Apr 01 15:31:12 2015 +0200
@@ -0,0 +1,10 @@
+// Horizontal dividers
+//
+// Dividers (basically an hr) within dropdowns and nav lists
+
+.nav-divider(@color: #e5e5e5) {
+  height: 1px;
+  margin: ((@line-height-computed / 2) - 1) 0;
+  overflow: hidden;
+  background-color: @color;
+}