UX improvements in table editor

2018-08-10 18:11:34 +02:00
parent c642774316
commit 1e183f5059
24 changed files with 654 additions and 405 deletions
@@ -0,0 +1,7 @@
+.nav-tabs .nav-link.highlight {
+	border-color: $nav-tabs-link-hover-border-color;
+
+	&:hover, &:focus {
+		border-color: $nav-tabs-link-hover-border-color;
+	}
+}