aboutsummaryrefslogtreecommitdiff
path: root/docs/style.css
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2020-07-18 23:35:02 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2020-07-18 23:35:02 -0400
commit4b9b761cc990f9247083ea28a32d9123bb752818 (patch)
tree9e491c67662f8378ba39c8da90b6ae6a6783d596 /docs/style.css
parentc63290ae05990f54619207ac6ee0b3fbf6f9c145 (diff)
Add a main repository link to html files and titles to spec files
Diffstat (limited to 'docs/style.css')
-rw-r--r--docs/style.css4
1 files changed, 4 insertions, 0 deletions
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;
}