Docs: Add GitHub link to top navbar (AY2122S1-CS2103T-W15-1#48)

nguyiyang · Jul 31, 2020 · 292f90a · 292f90a
1 parent 86f65cc
commit 292f90a
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 0 deletions.
diff --git 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
@@ -24,6 +24,11 @@
             <a class="page-link" href="{{ my_page.url | relative_url }}">{{ my_page.title | escape }}</a>
             {%- endif -%}
           {%- endfor -%}
+          {%- if site.repository -%}
+          <a class="page-link no-hover" href="https://github.com/{{site.repository}}">
+            <img src="{{site.github_icon | relative_url}}" class="icon" alt="View on GitHub">
+          </a>
+          {%- endif -%}
         </div>
       </nav>
     {%- endif -%}

diff --git 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