traxys/tree-sitter
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #535 from kramred/docs/github_link

Browse source 
Add hyperlink to github repo in docs; below img of tree
This commit is contained in:
Max Brunsfeld 2020-02-12 11:57:36 -08:00 • committed by GitHub
commit f4132c90ec
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
docs/_layouts/default.html
View file

@ -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 %}

6
docs/assets/css/style.scss
View file

@ -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 {