Add a repo link to the docs header

I keep wanting this so...yeah.
ilmax · Oct 20, 2018 · 1490172 · 1490172
1 parent 022b6bd
commit 1490172
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
@@ -17,6 +17,10 @@
                 <header class="col-sm-12">
                     <h4><a class="brand" href="{{ site.baseurl }}/">{{ site.title }}</a>
                         {% if site.subtitle %}<small>{{ site.subtitle }}</small>{% endif %}
+                        {% if site.codeurl %}<a class="repo" href="{{ site.codeurl }}">
+                            <svg viewBox="0 0 16 16">
+                                <path fill="#000000" d="M7.999,0.431c-4.285,0-7.76,3.474-7.76,7.761 c0,3.428,2.223,6.337,5.307,7.363c0.388,0.071,0.53-0.168,0.53-0.374c0-0.184-0.007-0.672-0.01-1.32 c-2.159,0.469-2.614-1.04-2.614-1.04c-0.353-0.896-0.862-1.135-0.862-1.135c-0.705-0.481,0.053-0.472,0.053-0.472 c0.779,0.055,1.189,0.8,1.189,0.8c0.692,1.186,1.816,0.843,2.258,0.645c0.071-0.502,0.271-0.843,0.493-1.037 C4.86,11.425,3.049,10.76,3.049,7.786c0-0.847,0.302-1.54,0.799-2.082C3.768,5.507,3.501,4.718,3.924,3.65 c0,0,0.652-0.209,2.134,0.796C6.677,4.273,7.34,4.187,8,4.184c0.659,0.003,1.323,0.089,1.943,0.261 c1.482-1.004,2.132-0.796,2.132-0.796c0.423,1.068,0.157,1.857,0.077,2.054c0.497,0.542,0.798,1.235,0.798,2.082 c0,2.981-1.814,3.637-3.543,3.829c0.279,0.24,0.527,0.713,0.527,1.437c0,1.037-0.01,1.874-0.01,2.129 c0,0.208,0.14,0.449,0.534,0.373c3.081-1.028,5.302-3.935,5.302-7.362C15.76,3.906,12.285,0.431,7.999,0.431z"></path>
+                            </svg> Go to the repo</a>{% endif %}
                     </h4>
                 </header>
             </div>

diff --git a/docs/css/main.css b/docs/css/main.css
@@ -32,6 +32,16 @@ h4:nth-child(n+2) {
     margin-top: 20px;
 }
 
+h4 a.repo {
+    float: right;
+    font-size: 13px;
+}
+h4 a.repo svg {
+    height: 16px;
+    width: 16px;
+    vertical-align: text-bottom;
+}
+
 footer {
     margin: 20px 0;
     font-size: 0.85em;