Updates to doc styling

Author: heathermiller

docs/theme/base.html

@@ -53,6 +53,8 @@
         <script src="{{ base_url }}/js/bootstrap-3.0.3.min.js"></script>
         <script src="{{ base_url }}/js/prettify-1.0.min.js"></script>
         <script src="{{ base_url }}/js/retina.min.js"></script>
+        <script src="//use.typekit.net/dwf8mie.js"></script>
+        <script>try{Typekit.load();}catch(e){}</script>
         <script src="{{ base_url }}/js/base.js"></script>
     </body>
 </html>

docs/theme/css/base.css

@@ -98,4 +98,16 @@ div.source-links {
     .bs-sidebar.affix {
         width: 263px;
     }
+}
+
+.github-stars {
+    margin-top: 26px;
+}
+
+.version-number {
+    font-family: "museo-slab",serif;
+    font-style: normal;
+    font-weight: 300;
+    color: #586E75;
+    font-size: 16px;
 }

docs/theme/nav.html

@@ -12,8 +12,7 @@
             </button>
 
             <!-- Main title -->
-            <a class="navbar-brand" href="{{ homepage_url }}"><img src="{{ base_url }}/img/pickling-logo.png"/></a>
-            <span class="version-number">{{ version }}</span>
+            <a class="navbar-brand" href="{{ homepage_url }}"><img src="{{ base_url }}/img/pickling-logo.png"/><span class="version-number"> v0.9.0</span></a>
             <!-- <a class="navbar-brand" href="{{ homepage_url }}">{{ site_name }}</a> -->
         </div>
 
@@ -50,14 +49,8 @@
                 {% endif %}
                 {% if repo_url %}
                 <li>
-                    <a href="{{ repo_url }}">
-                        {% if repo_name == 'GitHub' %}
-                            <i class="fa fa-github"></i>
-                        {% elif repo_name == 'Bitbucket' %}
-                            <i class="fa fa-bitbucket"></i>
-                        {% endif %}
-                        {{ repo_name }}
-                    </a>
+                    <iframe class="github-stars" src="http://ghbtns.com/github-btn.html?user=scala&repo=pickling&type=watch&count=true"
+  allowtransparency="true" frameborder="0" scrolling="0" width="110" height="20"></iframe>
                 </li>
                 {% endif %}
             </ul>