Merge branch 'master' into validation

2026-05-17 22:24:49 +02:00 · 2019-02-04 13:35:21 -05:00
parent bfb5285dc9 b340b65df4
commit ac7dba082f
16 changed files with 28 additions and 21 deletions
@@ -411,6 +411,10 @@ button[disabled].action:hover {
    border-radius: 3px;
 }

+.icon-annotation {
+    color: #333;
+}
+

 /* Toolbar / Persistent UI Elements
 ------------------------------------------------------- */