workspace label: react to changes in top bar font changes

tiling.js

@@ -155,8 +155,8 @@ class Space extends Array {
 
         let label = new St.Label();
         this.label = label;
-        label.set_style('font-weight: bold; font-feature-settings: "tnum"; height: 1.86em;');
         label.hide();
+        label.set_style('font-feature-settings: "tnum";');
 
         let selection = new St.Widget({name: 'selection',
                                        style_class: 'tile-preview'});

topbar.js

@@ -398,6 +398,8 @@ function enable () {
 
         for (let [workspace, space] of Tiling.spaces) {
             space.label.set_position(Math.round(r.x), Math.round(r.y));
+            let fontDescription = label.clutter_text.font_description;
+            space.label.clutter_text.set_font_description(fontDescription);
         }
     });
     Main.panel.addToStatusArea('WorkspaceMenu', menu, 0, 'left');