diff -r 000000000000 -r 1afc9d2ab94d authserver/testCAS/resources/assets/less/bootstrap/mixins/nav-vertical-align.less
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/authserver/testCAS/resources/assets/less/bootstrap/mixins/nav-vertical-align.less	Wed Apr 01 15:31:12 2015 +0200
@@ -0,0 +1,9 @@
+// Navbar vertical align
+//
+// Vertically center elements in the navbar.
+// Example: an element has a height of 30px, so write out `.navbar-vertical-align(30px);` to calculate the appropriate top margin.
+
+.navbar-vertical-align(@element-height) {
+  margin-top: ((@navbar-height - @element-height) / 2);
+  margin-bottom: ((@navbar-height - @element-height) / 2);
+}