merge

Author: cscheid

theme-dark.scss

@@ -25,6 +25,7 @@ $dropdown-color: $body-color;
 $dropdown-link-color: $body-color;
 $dropdown-link-hover-bg: $gray-600;
 $dropdown-link-hover-color: #eee;
+$nav-tabs-link-hover-border-color: rgb(80, 80, 80);
 
 $border-color:                rgba($gray-800, 0.5);