Adding "Edit in Github" button

_config.yml

@@ -7,6 +7,8 @@ encoding: utf-8
 
 # Base variables
 latest_major_version: "6"
+github_repo: "https://github.com/mendix/docs"
+github_branch: "development"
 
 timezone: Netherlands/Amsterdam
 permalink: ordinal

_includes/github_edit_button.html

@@ -0,0 +1 @@
+<a target="_blank" title="Edit this file on Github" class="btn btn-default github-edit-button" href="{{ site.github_repo | append: '/blob/' | append: site.github_branch | append: '/' | append: page.path }}" /><i class="glyphicon glyphicon-pencil"></i><span class="hidden-md hidden-sm hidden-xs">Improve this doc</span></a>

_layouts/mxdefault.html

@@ -27,6 +27,7 @@
             <header class="post-header">
               <h1>{{ page.title }}</h1>
             </header>
+            {% include github_edit_button.html %}
             <article class="post-content">
               {{ content }}
             </article>

_sass/_general.scss

@@ -99,6 +99,26 @@
   }
 }
 
+.post {
+  position: relative;
+  .github-edit-button {
+    margin-top: -30px;
+    float: right;
+    background-color: $white-smoke;
+    border-color: $white-smoke;
+    color: $link-color;
+    font-weight: 100;
+    @include border-radius(2em);
+    font-size: 12px;
+    i {
+      top: 0.1em;
+    }
+    span {
+      padding-left: 0.5em;
+    }
+  }
+}
+
 .header-link {
   font-size: 29px;
   font-weight: 100;

_sass/_variables.scss

@@ -4,6 +4,8 @@ $color-darkgrey: #2d3e4e;
 $color-blue: #30a5de;
 $color-lightgrey: #f9f9fa;
 
+$white-smoke: #f0f0ee;
+
 $color-blue: #0195db;
 
 $link-color: #0496da;