diff options
| -rw-r--r-- | docs/_config.yml | 1 | ||||
| -rw-r--r-- | docs/_layouts/default.html | 3 | ||||
| -rw-r--r-- | docs/css/main.scss | 7 |
3 files changed, 11 insertions, 0 deletions
diff --git a/docs/_config.yml b/docs/_config.yml index 51578256b..1bdfb808a 100644 --- a/docs/_config.yml +++ b/docs/_config.yml @@ -1,4 +1,5 @@ title: Dotty Documentation +repository_url: "http://github.com/lampepfl/dotty" baseurl: "" theme: minima gems: diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index 65a2cd859..992487de8 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -16,6 +16,9 @@ </a> <div id="content"> <h1>{{ page.title }}</h1> + <div class="edit-docs"> + <a href="{{site.repository_url}}/edit/master/docs/{{page.path}}">[edit on github]</a> + </div> {{ content }} </div> <div id="toc"> 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; } |