adding unofficial github buttons

2 files changed, 40 insertions, 1 deletions

diff --git a/docs/assets/css/docs.css b/docs/assets/css/docs.css
index 185f381e9..2dde6a452 100644
--- a/docs/assets/css/docs.css
+++ b/docs/assets/css/docs.css
@@ -39,6 +39,44 @@ body > .navbar-fixed .brand:hover {
 }
 
 
+/* Github buttons
+-------------------------------------------------- */
+.github-btn + .github-btn {
+  margin-left: 10px;
+}
+.github-btn {
+  display: inline-block;
+  height: 20px;
+  overflow: hidden;
+}
+.github-btn .btn,
+.github-btn .count {
+  float: left;
+  padding: 1px 5px 1px 4px;
+  font-size: 11px;
+  font-weight: normal;
+  line-height: 16px;
+  color: #555;
+  -webkit-border-radius: 3px;
+     -moz-border-radius: 3px;
+          border-radius: 3px;
+}
+.github-btn .btn {
+  box-shadow: none;
+}
+.github-btn .github-ico {
+  float: left;
+  margin-right: 4px;
+  opacity: .75;
+}
+.github-btn .count {
+  display: inline-block;
+  margin-left: 2px;
+  background-color: #fff;
+  border: 1px solid #ddd;
+}
+
+
 /* Jumbotrons
 -------------------------------------------------- */
 .jumbotron {
@@ -59,7 +97,7 @@ body > .navbar-fixed .brand:hover {
   font-weight: 300;
   line-height: 36px;
 }
-.jumbotron .btn {
+.jumbotron .btn-large {
   font-size: 20px;
   padding: 14px 24px;
   margin-right: 5px;
@@ -146,6 +184,7 @@ body > .navbar-fixed .brand:hover {
   font-weight: normal;
   color: #999;
 }
+.quick-links .github-btn,
 .quick-links .tweet-btn,
 .quick-links .follow-btn {
   position: relative;
diff --git a/docs/assets/img/github-16px.png b/docs/assets/img/github-16px.png
new file mode 100644
index 000000000..c99ab237a
--- /dev/null
+++ b/docs/assets/img/github-16px.png