1 files changed, 18 insertions, 0 deletions
diff --git a/site/stylesheet.css b/site/stylesheet.css
index 385b84d..8769763 100644
--- a/site/stylesheet.css
+++ b/site/stylesheet.css
@@ -178,3 +178,21 @@ pre {
 .org-variable-name {
     color: #268bd2;
 }
+
+/* Navigation menu */
+#content > ul:first-of-type {
+    margin: 0;
+    text-align: center;
+}
+
+#content > ul:first-of-type li {
+    display: inline;
+}
+
+#content > ul:first-of-type li:before {
+    content: "[ "
+}
+
+#content > ul:first-of-type li:after {
+    content: " ]"
+}