@nav-link-padding: 10px 15px;
@nav-link-hover-bg: @gray-lighter;
-@nav-disabled-link-color: @gray-light;
-@nav-disabled-link-hover-color: @gray-light;
+@nav-disabled-link-color: @gray-lighter;
+@nav-disabled-link-hover-color: @gray-lighter;
//== Tabs
@nav-tabs-border-color: #ddd;