diff --git a/doc/htdocs/configuration.html b/doc/htdocs/configuration.html
index 716626cf..a8bf4726 100644
--- a/doc/htdocs/configuration.html
+++ b/doc/htdocs/configuration.html
@@ -35,16 +35,16 @@
+
+
The Configuration File
diff --git a/doc/htdocs/css/style.css b/doc/htdocs/css/style.css
index 83e118b8..cd3eed68 100644
--- a/doc/htdocs/css/style.css
+++ b/doc/htdocs/css/style.css
@@ -23,10 +23,10 @@ pre {
}
h1.title {
- padding: 20px;
+ padding: 0.3em;
text-align: center;
background: #489848;
- color: #65e565;
+ color: #fff;
font-size: 2em;
}
@@ -34,7 +34,8 @@ h2 { background: #ddd; text-align: center; padding: 4px; }
div.document {
width: 100%;
clear: both;
- padding-top: 1.5em;
+ padding-top: 0.8em;
+ margin-bottom: 0.1em;
}
#green-unicorn p { font-size: 1.3em; color: #444; padding: 1px 10px; }
@@ -78,31 +79,43 @@ h1.logo a {
.section p { padding: 1px 14px; font-size: 1.1em; margin-top: 20px; }
+#menu {
+ width: 100%;
+ padding: 1em 0;
+}
+
ul#actions {
list-style: none;
- clear: both;
display: block;
width: 100%;
+ text-indent: 0;
+ margin: 0;
+ padding: 0;
}
ul#actions li {
display: block;
float: left;
- margin-left: 0.6em;
- margin-top: 0.6em;
+ margin: 0;
+ padding: 0;
background: #000;
+
}
ul#actions li a {
font-style: bold;
- font-size: 2em;
+ font-size: 1.8em;
text-transform: capitalize;
color: #ddd;
padding: 0.6em;
text-decoration: none;
}
+ul#actions li a:hover {
+ color: #fff;
+}
+
#faq dt {
font-size: 1.5em;
font-weight: bold;
diff --git a/doc/htdocs/deployment.html b/doc/htdocs/deployment.html
index 6cfe1616..e0f61fe8 100644
--- a/doc/htdocs/deployment.html
+++ b/doc/htdocs/deployment.html
@@ -35,16 +35,16 @@
+
+
Production Setup
diff --git a/doc/htdocs/faq.html b/doc/htdocs/faq.html
index ce9863f4..007c286f 100644
--- a/doc/htdocs/faq.html
+++ b/doc/htdocs/faq.html
@@ -35,16 +35,16 @@
+
+
FAQ
diff --git a/doc/htdocs/index.html b/doc/htdocs/index.html
index b503d6cc..ed72ab76 100644
--- a/doc/htdocs/index.html
+++ b/doc/htdocs/index.html
@@ -56,15 +56,17 @@ stream-based protocols over HTTP
+
Installation
diff --git a/doc/htdocs/news.html b/doc/htdocs/news.html
index 47fc95ad..96f10f32 100644
--- a/doc/htdocs/news.html
+++ b/doc/htdocs/news.html
@@ -35,16 +35,16 @@
+
+
News
diff --git a/doc/htdocs/tuning.html b/doc/htdocs/tuning.html
index 19d57e3e..bb7d3627 100644
--- a/doc/htdocs/tuning.html
+++ b/doc/htdocs/tuning.html
@@ -35,16 +35,16 @@
+
+
Tuning
diff --git a/doc/htdocs/usage.html b/doc/htdocs/usage.html
index a39b771d..24cdd13d 100644
--- a/doc/htdocs/usage.html
+++ b/doc/htdocs/usage.html
@@ -35,16 +35,16 @@
+
+
Command Line Usage
diff --git a/doc/templates/doc.html b/doc/templates/doc.html
index f9345d69..1c2b150f 100644
--- a/doc/templates/doc.html
+++ b/doc/templates/doc.html
@@ -4,9 +4,7 @@
{% block body %}
-
+ {% include "menu.html" %}
{{ body }}
diff --git a/doc/templates/menu.html b/doc/templates/menu.html
index 30ba267d..a1d729e2 100644
--- a/doc/templates/menu.html
+++ b/doc/templates/menu.html
@@ -1,9 +1,11 @@
-
\ No newline at end of file
+
\ No newline at end of file