add top level menu, minimal styling

2026-02-04 06:32:24 +00:00 · 2013-12-10 22:50:49 -05:00
parent 7518cb4621
commit d89e837d68
4 changed files with 46 additions and 1 deletions
--- a/doc/stylesheets/manual.css
+++ b/doc/stylesheets/manual.css
@@ -0,0 +1,26 @@
+nav > ul > li.center > ul {
+    padding: 0;
+}
+
+nav li {
+    vertical-align: top;
+
+    display: inline;
+    list-style-type: none;
+    padding: 0.5em;
+}
+
+nav > ul > li {
+    display: inline-block;
+}
+
+/* match org's css for <pre> */
+code {
+    background-color: #F3F5F7;
+    font-family: courier, monospace;
+}
+
+#content {
+    margin-left: 5%;
+    margin-right: 10%;
+}