Pass a name to widgets

Change-Id: I1ac7096d263f860f5c5c80115bfd07f8cbe40c0f
diff --git a/dev/scss/main/kwic.scss b/dev/scss/main/kwic.scss
index 6950559..58257b5 100644
--- a/dev/scss/main/kwic.scss
+++ b/dev/scss/main/kwic.scss
@@ -456,6 +456,10 @@
 	      font-family: "FontAwesome";
 	      content: $fa-info;
       }
+      &.plugin::after {
+	      font-family: "FontAwesome";
+	      content: $fa-plugin;        
+      }
     }
   }
 }
diff --git a/dev/scss/util.scss b/dev/scss/util.scss
index fcc4206..16cea3e 100644
--- a/dev/scss/util.scss
+++ b/dev/scss/util.scss
@@ -249,4 +249,5 @@
 // $fa-metadata:    "\f067";
 $fa-metadata:    "\f055";
 $fa-to-query:    "\f102";
-$fa-cut:         "\f0c4";
\ No newline at end of file
+$fa-cut:         "\f0c4";
+$fa-plugin:      "\f1e6";
\ No newline at end of file