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

2019-06-04 16:42:52 +02:00
parent d77c8d69e3 ae4203ccf9
commit c3073101b1
9 changed files with 346 additions and 279 deletions
@@ -72,6 +72,9 @@
 .om-user-line i {
  margin-right: 2%;
 }
+taginput-container is-focusable:focus {
+  border-color: #0046a0 !important;
+}
 .bookmark-headline {
  margin: 10px;
  padding-bottom: 10px;
@@ -90,6 +90,12 @@ a.nav-item.nav-link{
    }
 }

+//createMsg
+taginput-container is-focusable:focus {
+	border-color: @color !important;
+	//box-shadow: 0;
+}
+
 // bookmark
 .bookmark-headline{
    margin: 10px;