Update documentation.html

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>