Mint-Y cinnamon: window-list applet set fixed notification badge font size (#527)

So that it isn't affected by user font scaling

Author: fredcw

src/Mint-Y/cinnamon/cinnamon-dark.css

@@ -1245,6 +1245,9 @@ StScrollBar {
   background-color: #35a854;
   margin: 0; }
 
+.grouped-window-list-notifications-badge-label {
+  font-size: 12px; }
+
 .grouped-window-list-button-label {
   padding-left: 4px; }
 

src/Mint-Y/cinnamon/cinnamon.css

@@ -1245,6 +1245,9 @@ StScrollBar {
   background-color: #35a854;
   margin: 0; }
 
+.grouped-window-list-notifications-badge-label {
+  font-size: 12px; }
+
 .grouped-window-list-button-label {
   padding-left: 4px; }
 

src/Mint-Y/cinnamon/sass/_common.scss

@@ -1650,6 +1650,10 @@ $base_padding: 7px;
     margin: 0;
   }
 
+  &-notifications-badge-label {
+    font-size: 12px;
+  }
+
   &-button-label {
     padding-left: 4px;
   }