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;        
+      }
     }
   }
 }