Improve documentation.

1 files changed, 75 insertions, 37 deletions

diff --git a/doc/style.css b/doc/style.css
index c7a6280..f5f37d5 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -25,7 +25,7 @@ img {
 }
 h1, h2, h3, h4, h5, h6 {
 	line-height: 1em;
-	margin: 1em 0 0.5em 0;
+	margin: 0.75em 0 0.5em 0;
 }
 h1 {
 	font-size: 180%;
@@ -52,20 +52,55 @@ h6 {
 	font-weight: 450;
 }
 #header {
-	background-color: #F3F3F3;
+	background-color: #F0F0F0;
 	border: 0;
-	border-bottom: 1px solid #DDD;
-	margin: 0 0 1em 0;
+	border-bottom: 1px solid #E8E8E8;
+	margin: 0;
 	padding: 1ex;
+	vertical-align: top;
+}
+#titlebox, #meta {
+	display: inline-block;
+}
+#titlebox{
+	display: inline-block;
+	width: 75%;
+	left: 0;
+	top: 0;
+}
+#meta{
+	display: inline-block;
+	position: absolute;
+	right: 0;
+	top: 0;
+	padding: 1ex;
+	margin: 0.5ex 0.25ex 0 0.5ex;
+	font-size: x-small;
+	border-style: hidden;
+}
+#meta tr, #meta th, #meta td {
+	border: 0;
+	font-weight: normal;
+}
+#meta th {
+	text-align: right;
+}
+#meta th:after {
+	content: ": ";
 }
 #title {
 	font-size: 200%;
 	font-weight: 700;
-	margin: .25ex 0 .25ex 0;
+	margin: 0 0 .25ex 0;
 	padding: 0;
 }
 #subtitle {
-    margin: 0 auto 2ex 0.5ex;
+	font-size: x-small;
+	margin-bottom: 1em;
+}
+#shortdesc {
+	font-size: small;
+	font-style: italic;
 }
 #logo {
 	height: 63px;
@@ -324,7 +359,7 @@ blockquote {
 	border-top: 1px solid #DDD;
 }
 #footer div {
-    padding-top: 1em;
+	padding-top: 1em;
 }
 
 #searchbox a.reference, #searchbox span.reference {
@@ -336,10 +371,6 @@ blockquote {
 	text-decoration: none;
 	top: 2.9em;
 }
-#content {
-	font-size: 115%;
-	min-height: 500px;
-}
 #body-main .success p {
 	margin: 4px 8px;
 }
@@ -371,9 +402,22 @@ ul, ol {
 	padding-top: 0;
 	margin: 0 0 0.5ex 0;
 }
+#contents {
+	background-color: #F3F3F3;
+	border: 0;
+	border-bottom: 1px solid #EAEAEA;
+	padding: 0.25ex 0 0 0.5ex;
+	vertical-align: top;
+	font-size: small;
+}
+#contents li {
+	display: inline;
+	list-style-type: none;
+	margin-right: 1.25em;
+	padding: 0.25ex;
+}
 .content {
-	margin-left: 2em;
-	margin-right: 2em;
+	margin: 0 2em 0 2em;
 }
 .label {
 	font-style: italic;
@@ -397,8 +441,8 @@ ul, ol {
 	padding-right: .5em;
 }
 .terminfo, .restriction {
-    border-collapse: collapse;
-    border-style: hidden;
+	border-collapse: collapse;
+	border-style: hidden;
 }
 .restriction {
 	margin: 0 0 0.5ex 0;
@@ -406,7 +450,7 @@ ul, ol {
 	vertical-align: text-top;
 }
 .restriction td {
-    vertical-align: text-top;
+	vertical-align: text-top;
 }
 .terminfo th {
 	padding: 0 1ex 0 0;
@@ -456,27 +500,21 @@ div.head table {
 	margin-top: 2em;
 }
 table {
-    border-collapse: collapse;
-    border-style: hidden;
-    margin: 0;
+	border-collapse: collapse;
+	border-style: hidden;
+	margin: 0;
+	border: 0;
 }
 th {
-    vertical-align: text-top;
+	vertical-align: text-top;
 }
 td, th {
-    border: 1px dashed #ccc;
-    padding: 0.3ex 0.5em 0.3ex 0.5em;
-}
-#meta {
-    margin: 1ex 0 0 0.5ex;
-    font-size: small;
-}
-#meta tr th {
-    padding-left: 0;
+	border: 1px dashed #ccc;
+	padding: 0.3ex 0.5em 0.3ex 0.5em;
 }
 pre {
-    margin: 1em 1em 1em 4em;
-    padding: 0;
+	margin: 1em 1em 1em 4em;
+	padding: 0;
 }
 code {
 	color: #373;
@@ -494,16 +532,16 @@ h1, h2, h3, h4, h5, h6, th {
 	text-align: left;
 }
 .error {
-    color: red;
-    font-weight: bold;
+	color: red;
+	font-weight: bold;
 }
 .warning {
-    color: orange;
-    font-weight: bold;
+	color: orange;
+	font-weight: bold;
 }
 .success {
-    color: green;
-    font-weight: bold;
+	color: green;
+	font-weight: bold;
 }
 
 /* Pygments Style */