Added GitHub star button next to logo

2018-02-21 18:10:35 +01:00
parent f294d39ed4
commit e5bcbcc545
3 changed files with 18 additions and 9 deletions
--- a/website/src/css/imports/header.css
+++ b/website/src/css/imports/header.css
@ -213,17 +213,23 @@ header {
    }
  }

-  .logo {
-    display: block;
-    margin: 0 auto $tiny auto;
-    width: 100%;
-
+  .logo-container {
    @media screen and (min-width: $tablet) {
+      margin-top: 10px;
      float: left;
-      margin: -4px 0 -6px 0;
-      width: initial;
+    }
+    .logo {
+      display: block;
+      margin: 0 auto $tiny auto;
+      width: 100%;
+      @media screen and (min-width: $tablet) {
+        margin: -14px 20px -6px 0;
+        width: initial;
+        float: left;
+      }
    }
  }
+
  .cta-header {
    margin-left: $micro;
  }