From 3dafb373a8b58d99a32dd3054bfe28968b127e79 Mon Sep 17 00:00:00 2001
From: Mark Schmitz <mark.schmitz@mailbox.org>
Date: Wed, 12 Feb 2020 16:14:42 +0000
Subject: [PATCH] Add hyperlink to github repo below img of tree in sidebar, as
 suggested in https://github.com/tree-sitter/tree-sitter/issues/508

---
 docs/_layouts/default.html | 3 ++-
 docs/assets/css/style.scss | 6 ++++++
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
index 25be9c2d..587ab4f0 100644
--- a/docs/_layouts/default.html
+++ b/docs/_layouts/default.html
@@ -21,7 +21,8 @@
     <div id="sidebar">
       <nav id="table-of-contents">
         <a class="logo table-of-contents-section" href="https://github.com/tree-sitter/tree-sitter">
-          <img src="{{ '/assets/images/tree-sitter-small.png' | relative_url }}" width=200 height=200 />
+          <img title="Tree-sitter logo, link to github repo" src="{{ '/assets/images/tree-sitter-small.png' | relative_url }}" width=200 height=200 />
+          <span class="github-repo">GitHub repository</span>
         </a>
 
         {% for other_page in site.html_pages %}
diff --git a/docs/assets/css/style.scss b/docs/assets/css/style.scss
index 77acb21e..ff9525bc 100644
--- a/docs/assets/css/style.scss
+++ b/docs/assets/css/style.scss
@@ -31,6 +31,12 @@ body {
   overflow-y: auto;
   border-right: 1px solid #ccc;
   z-index: 1;
+
+  .github-repo {
+    display: inline-block;
+    padding-left: 3.75em;
+    font-size: .85em;
+  }
 }
 
 #sidebar-toggle-link {