From 3d2b2edbf77f47653f5f2cdbcafaa2564572d83d Mon Sep 17 00:00:00 2001
From: Julius Volz <julius@soundcloud.com>
Date: Mon, 28 Mar 2016 21:05:05 +0200
Subject: [PATCH] Add GitHub star button to header.

---
 layouts/header.html | 3 +++
 static/docs.css     | 6 ++++++
 2 files changed, 9 insertions(+)

diff --git a/layouts/header.html b/layouts/header.html
index 81e90195..56458089 100644
--- a/layouts/header.html
+++ b/layouts/header.html
@@ -72,6 +72,9 @@
             <li><a href="/community/">Community</a></li>
             <li><a href="/blog/">Blog</a></li>
             <li><a href="https://github.com/prometheus"><i class="fa fa-github"></i> Github</a></li>
+            <li>
+              <iframe src="https://ghbtns.com/github-btn.html?user=prometheus&repo=prometheus&type=star&count=true" class="github-stars" frameborder="0" scrolling="0"></iframe>
+            </li>
           </ul>
         </div>
       </div>
diff --git a/static/docs.css b/static/docs.css
index 0faa5271..1e516b23 100644
--- a/static/docs.css
+++ b/static/docs.css
@@ -19,6 +19,12 @@ body {
   margin-right: 3px;
 }
 
+.navbar .github-stars {
+  margin: 15px 0 0 15px;
+  width: 100px;
+  height: 20px;
+}
+
 .jumbotron {
   background-color: #e6522c;
   background-image: url("/assets/jumbotron-background.png");