From 4b9b761cc990f9247083ea28a32d9123bb752818 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sat, 18 Jul 2020 23:35:02 -0400
Subject: Add a main repository link to html files and titles to spec files

---
 docs/style.css | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'docs/style.css')

diff --git a/docs/style.css b/docs/style.css
index 566caa2b..cb125c39 100644
--- a/docs/style.css
+++ b/docs/style.css
@@ -5,6 +5,10 @@ body {
   padding: 0 0.62em;
   line-height: 1.6;
 }
+.nav {
+  text-align: right;
+  margin-bottom: -2em;
+}
 h1, h2, h3 {
   line-height: 1.2;
 }
-- 
cgit v1.2.3