Try adding sidebar

inkytonik · Sep 20, 2021 · e1f7234 · e1f7234
1 parent 6cc821a
commit e1f7234
Showing 1 changed file with 48 additions and 0 deletions.
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
@@ -0,0 +1,48 @@
+<!doctype html>
+<html>
+
+<head>
+  <meta charset="utf-8">
+  <meta http-equiv="X-UA-Compatible" content="chrome=1">
+  <title>{{ site.title | default: site.github.repository_name }} by {{ site.github.owner_name }}</title>
+
+  <link rel="stylesheet" href="{{ '/assets/css/style.css?v=' | append: site.github.build_revision | relative_url }}">
+  <meta name="viewport" content="width=device-width">
+  <!--[if lt IE 9]>
+    <script src="//html5shiv.googlecode.com/svn/trunk/html5.js"></script>
+    <![endif]-->
+</head>
+
+<body>
+  <div class="wrapper">
+    <header>
+      <h1>{{ site.title | default: site.github.repository_name }}</h1>
+      <p>{{ site.description | default: site.github.project_tagline }}</p>
+
+      {% if site.github.is_project_page %}
+      <p class="view"><a href="{{ site.github.repository_url }}">View the Project on GitHub <small>{{ github_name
+            }}</small></a></p>
+      {% endif %}
+
+      <a href="http://inkytonik.github.io/kiama">Home</a>
+      <br>
+      <a href="http://inkytonik.github.io/kiama/UserManual">User Manual</a>
+      <br>
+    </header>
+    <section>
+
+      {{ content }}
+
+    </section>
+    <footer>
+      {% if site.github.is_project_page %}
+      <p>This project is maintained by <a href="{{ site.github.owner_url }}">{{ site.github.owner_name }}</a></p>
+      {% endif %}
+      <p><small>Hosted on GitHub Pages &mdash; Theme by <a href="https://github.com/orderedlist">orderedlist</a></small>
+      </p>
+    </footer>
+  </div>
+  <script src="{{ '/assets/js/scale.fix.js' | relative_url }}"></script>
+</body>
+
+</html>