diff --git a/docs/_config.yml b/docs/_config.yml index 29ec7733e40..6bd245d8f4e 100644 --- a/docs/_config.yml +++ b/docs/_config.yml @@ -9,6 +9,7 @@ header_pages: markdown: kramdown repository: "se-edu/addressbook-level3" +github_icon: "images/github-icon.png" plugins: - jemoji diff --git a/docs/_includes/header.html b/docs/_includes/header.html index ed5a382aef7..33badcd4f99 100644 --- a/docs/_includes/header.html +++ b/docs/_includes/header.html @@ -24,6 +24,11 @@ {{ my_page.title | escape }} {%- endif -%} {%- endfor -%} + {%- if site.repository -%} + + View on GitHub + + {%- endif -%} {%- endif -%} diff --git a/docs/assets/css/style.scss b/docs/assets/css/style.scss index 0d1fce9fbbe..b5ec6976efa 100644 --- a/docs/assets/css/style.scss +++ b/docs/assets/css/style.scss @@ -5,3 +5,8 @@ @import "minima/skins/{{ site.minima.skin | default: 'classic' }}", "minima/initialize"; + +.icon { + height: 21px; + width: 21px +} diff --git a/docs/images/github-icon.png b/docs/images/github-icon.png new file mode 100755 index 00000000000..8b25551a979 Binary files /dev/null and b/docs/images/github-icon.png differ