Ensure number of Github stargazers can be displayed

We have too many now.

content/css/docs.css

@@ -178,7 +178,7 @@ body {
 
 .open-source .github-stars {
   margin-top: 20px;
-  width: 160px;
+  width: 200px;
   height: 30px;
 }