From f179c9279f9f9a3bf9ef342900590e761855a696 Mon Sep 17 00:00:00 2001
From: Felix Mulder <felix.mulder@gmail.com>
Date: Mon, 7 Nov 2016 15:57:06 +0100
Subject: Fix #1675: add `edit on github` button

---
 docs/css/main.scss | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'docs/css')

diff --git a/docs/css/main.scss b/docs/css/main.scss
index 2fca7d8ea..43da29284 100644
--- a/docs/css/main.scss
+++ b/docs/css/main.scss
@@ -70,6 +70,7 @@ div#container {
     }
 
     div#content {
+        position: relative;
         margin-top: $distance-top;
         width: $content-width - $toc-width;
         float: right;
@@ -150,6 +151,12 @@ div#container {
     }
 }
 
+div.edit-docs {
+    position: absolute;
+    top: 8px;
+    right: 0;
+}
+
 h1#search {
     margin-top: 50px;
 }
-- 
cgit v1.2.3