Merge remote-tracking branch 'origin/developer' into developer

2019-07-21 15:20:42 +02:00
parent 3eb0a99813 74232689fb
commit 57901853a9
3 changed files with 9 additions and 2 deletions
@@ -239,3 +239,6 @@ button.clearButton {
  border-color: #dbdbdb;
  border-left: white;
 }
+.taglink {
+  color: #0046a0;
+}
@@ -278,3 +278,7 @@ button.clearButton{

 }

+.taglink{
+	color: @color;
+}
+