improve worker counting

src/dev-center/css/style.css

@@ -37,7 +37,7 @@ body{
     flex: 1;
 }
 
-h1 .app-count{
+h1 .app-count, h1 .worker-count{
     font-size: 20px;
     color: #6d767d;
     font-weight: 400;
@@ -499,7 +499,7 @@ label {
     background-color: #3273dc;
 }
 
-.sidebar-nav > li .app-count{
+.sidebar-nav > li .app-count, .sidebar-nav > li .worker-count {
     font-size: 14px;
     color: #6d767d;
     font-weight: 400;
@@ -507,7 +507,7 @@ label {
     float: right;
 }
 
-.tab-btn.active .app-count{
+.tab-btn.active .app-count, .tab-btn.active .worker-count{
     color: #f6f6f6;
 }
 

src/dev-center/js/workers.js

@@ -29,6 +29,8 @@ window.refresh_worker_list = async (show_loading = false) => {
         $('#no-workers-notice').show();
         $('#worker-list').hide();
     }
+
+    count_workers();
 }