diff options
| author | Yong He <yonghe@outlook.com> | 2021-03-30 12:37:16 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-30 12:37:16 -0700 |
| commit | b15f28151dc59f6f08d8d5c494a17f03fb3f82a7 (patch) | |
| tree | 6fc879a570654fc9cea7dd15725f26dae6ffb699 /docs/_layouts/documentation.html | |
| parent | f30c6e3b0c4f4f4e79bc50382ce54b0faa15ff51 (diff) | |
Update documentation.html
Diffstat (limited to 'docs/_layouts/documentation.html')
| -rw-r--r-- | docs/_layouts/documentation.html | 39 |
1 files changed, 14 insertions, 25 deletions
diff --git a/docs/_layouts/documentation.html b/docs/_layouts/documentation.html index af5aae332..cc2fe58a9 100644 --- a/docs/_layouts/documentation.html +++ b/docs/_layouts/documentation.html @@ -17,15 +17,15 @@ float: left; width: 20%; height: 100%; - overflow: scroll; - scroll: auto; + box-sizing: border-box; + overflow: auto; } #rightColumn { float: left; - width: 50%; + width: 80%; height: 100%; - overflow: scroll; - scroll: auto; + overflow: auto; + box-sizing: border-box; } </style> {% seo %} @@ -36,21 +36,8 @@ <div class="inner"> <header> - <h1>User Guide to Slang</h1> + <h1>Slang User's Guide</h1> </header> - <section id="downloads" class="clearfix"> - {% if site.show_downloads %} - <a href="{{ site.github.zip_url }}" id="download-zip" class="button"><span>Download .zip</span></a> - <a href="{{ site.github.tar_url }}" id="download-tar-gz" class="button"><span>Download .tar.gz</span></a> - {% endif %} - {% if site.github.public %} - {% if site.github.is_project_page %} - <a href="{{ site.github.repository_url }}" id="view-on-github" class="button"><span>View on GitHub</span></a> - {% else %} - <a href="{{ site.github.owner_url }}" id="view-on-github" class="button"><span>View on GitHub</span></a> - {% endif %} - {% endif %} - </section> <hr> <div id="dividerContainer"> <div id="leftColumn"> @@ -60,14 +47,16 @@ <section id="main_content"> {{ content }} </section> + + <footer> + {% if site.github.is_project_page %} + {{ site.title | default: site.github.repository_name }} is maintained by <a href="{{ site.github.owner_url }}">{{ site.github.owner_name }}</a><br> + {% endif %} + This page was generated by <a href="https://pages.github.com">GitHub Pages</a>. + </footer> </div> </div> - <footer> - {% if site.github.is_project_page %} - {{ site.title | default: site.github.repository_name }} is maintained by <a href="{{ site.github.owner_url }}">{{ site.github.owner_name }}</a><br> - {% endif %} - This page was generated by <a href="https://pages.github.com">GitHub Pages</a>. - </footer> + </div> </div> |