whitespace is bigger for miriam links

frontend-js/src/main/js/gui/leftPanel/GuiUtils.js

@@ -245,8 +245,8 @@ GuiUtils.prototype.createAnnotationList = function (annotations, options) {
     }
 
     grouppedAnnotations[annotatorClass] = grouppedAnnotations[annotatorClass].sort(function (a, b) {
-      const aType = a.getType().toUpperCase();
-      const bType = b.getType().toUpperCase();
+      var aType = a.getType().toUpperCase();
+      var bType = b.getType().toUpperCase();
       if (aType < bType) return -1;
       else if (aType > bType) return 1;
       else return 0;
@@ -276,7 +276,7 @@ GuiUtils.prototype.createAnnotationList = function (annotations, options) {
         }
 
         var header = document.createElement("div");
-        header.style.width = "24px";
+        header.style.width = "28px";
         header.style.float = "left";
         header.innerHTML = "[" + cntAnnotations + "]";
         row.appendChild(header);