More sidebar tweaking

inkytonik · Sep 20, 2021 · 29feba5 · 29feba5
1 parent e61f1b8
commit 29feba5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
@@ -24,8 +24,8 @@ <h1>{{ site.title | default: site.github.repository_name }}</h1>
             }}</small></a></p>
       {% endif %}
 
-      <a href="http://inkytonik.github.io/kiama">Documentation</a>
-      <br>
+      <a href="http://inkytonik.github.io/kiama">Documentation Home</a>
+      <br><br>
       <a href="http://inkytonik.github.io/kiama/UserManual">User Manual</a>
       <ul>
         <li><a href="http://inkytonik.github.io/kiama/Context">Context</a></li>