1 files changed, 50 insertions, 56 deletions

diff --git a/doc/style.css b/doc/style.css
index 65ec3845..56a87164 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -1,5 +1,4 @@
 body {
-	font-family: sans-serif;
 	max-width: 80em;
 	margin: 0;
 	margin-left: auto;
@@ -43,13 +42,9 @@ h6 {
 }
 
 p {
-	margin: 0 0 1ex 0;
+	margin: 0 0 1em 0;
 }
 
-/* br { */
-/* 	display: none; */
-/* } */
-
 dt {
 	font-weight: 700;
 }
@@ -98,7 +93,7 @@ div.navtab {
 
 /* @group Link Styling */
 a {
-	color: #546E00; /*70957E;*/
+	color: #546E00;
 	text-decoration: none;
 }
 
@@ -121,11 +116,11 @@ code {
 }
 
 a.code {
-	color: #70957E;
+	color: #4665A2;
 }
 
 a.codeRef {
-	color: #70957E;
+	color: #4665A2;
 }
 
 /* @end */
@@ -135,9 +130,16 @@ dl.el {
 
 .fragment {
 	font-family: monospace, fixed;
-	border-left: 1px solid #C4C4C4;
-	padding-left: 1em;
-	margin: 1em 2em;
+	font-size: 105%;
+}
+
+pre.fragment {
+	border: 1px solid #C4C4C4;
+	background-color: #F9F9F9;
+	padding: 4px 6px;
+	margin: 4px 8px 4px 2px;
+	overflow: auto;
+	font-size: 9pt;
 	line-height: 125%;
 }
 
@@ -231,19 +233,19 @@ span.keywordtype {
 }
 
 span.keywordflow {
-	color: #DEB542;
+	color: #e08000;
 }
 
 span.comment {
-	color: #69CABF;
+	color: maroon;
 }
 
 span.preprocessor {
-	color: #F771AC;
+	color: #806020;
 }
 
 span.stringliteral {
-	color: #FF6E64;
+	color: #002080;
 }
 
 span.charliteral {
@@ -316,7 +318,7 @@ h2.groupheader {
 .memItemLeft,.memTemplItemLeft {
 	white-space: nowrap;
 	padding-left: 2em;
-	padding-right: 1ex;
+	padding-right: 1em;
 }
 
 .memItemLeft a.el {
@@ -347,9 +349,8 @@ td.mlabels-right {
 /* Styles for detailed member documentation */
 .memtemplate {
 	font-size: 80%;
-	color: #AA6;
+	color: #4665A2;
 	font-weight: bold;
-	padding-left: 6px;
 }
 
 .memnav {
@@ -363,37 +364,23 @@ td.mlabels-right {
 
 .memitem {
 	padding: 0;
-	margin: 1ex 0 2ex 0;
-	border: 1px solid #333;
-	border-radius: 6px;
-}
-
-.memname {
-	/*white-space: nowrap;*/
-	font-weight: bold;
-	font-family: monospace;
+	margin: 1em 0 1em 0;
 }
 
 .memproto {
-	border-bottom: 1px solid #DDD;
-	padding: 0.5ex;
+	padding: 0;
+	font-size: 110%;
 	font-weight: bold;
-	background-color: #F3F3F3;
-	border-radius: 6px 6px 0 0;
-	background: linear-gradient(to bottom, #444 0%, #000 100%);
-	color: #FFF;
+	color: #000;
 }
 
 .memproto .paramname {
-	color: #CCC;
+	color: #444;
 	font-style: normal;
 }
 
 .memdoc {
-	padding: 1ex;
-	background-color: #FBFBFB;
-	border-top-width: 0;
-	border-radius: 0 0 6px 6px;
+	padding: 0 0 0.5em 2em;
 }
 
 .paramkey {
@@ -401,7 +388,7 @@ td.mlabels-right {
 }
 
 .paramtype {
-	color: #B4C342;
+	color: #3E873E;
 	white-space: nowrap;
 }
 
@@ -409,26 +396,28 @@ td.mlabels-right {
 	color: #444;
 	white-space: nowrap;
 	font-weight: bold;
-	font-family: monospace;
-}
-
-.paramname em {
-	font-style: normal;
 }
 
 td.paramname {
-	padding-right: 1ex;
 	vertical-align: top;
 }
 
 .fieldname {
-	color: #444;
-	font-family: monospace;
+	color: #000;
 }
 
 td.fieldname {
-	padding-right: 1ex;
+	padding-right: 1em;
+	vertical-align: top;
+}
+
+td.fieldtype {
 	vertical-align: top;
+	color: #444;
+}
+
+td.fielddoc p {
+	margin: 0;
 }
 
 /* @end */
@@ -511,7 +500,7 @@ address {
 
 table.doxtable {
 	border-collapse: collapse;
-	margin: 0.5ex;
+	margin: 0.5em;
 }
 
 table.doxtable td,table.doxtable th {
@@ -591,7 +580,7 @@ div.headertitle {
 	color: #FFF;
 	padding: 0.125em 0.25em 0.125em 0.25em;
 	background-color: #333;
-	background: linear-gradient(to bottom, #444 0%, #000 100%);
+	background: linear-gradient(to bottom, #333 0%, #111 100%);
 	border: solid 1px #444;
 	border-top: 0;
 	border-radius: 0 0 6px 6px;
@@ -633,7 +622,7 @@ span.lineno a:hover {
 .tabs, .tabs2, .navpath {
 	background-image: none;
 	background-color: #333;
-	background: linear-gradient(to bottom, #444 0%, #000 100%);
+	background: linear-gradient(to bottom, #333 0%, #111 100%);
 	border: 0;
 	border-bottom: solid 2px #000;
 	padding: 0;
@@ -666,21 +655,26 @@ th {
 	line-height: 2em;
 	list-style: none;
 	background-color: #333;
-	background: linear-gradient(to bottom, #555 0%, #111 100%);
-	border: 1px solid #000;
+	background: linear-gradient(to bottom, #444 0%, #222 100%);
+	border: 1px solid #222;
+	border-bottom: 0;
 	border-radius: 6px 6px 0 0;
-	color: #fff;
+	color: #DDD;
 }
 
 .tablist a {
 	display: block;
 	padding: 0 20px;
 	font-weight: bold;
-	color: #fff;
+	color: #859900;
 	text-decoration: none;
 	outline: none;
 }
 
+.header a {
+	color: #859900;
+}
+
 .tabs3 .tablist a {
 	padding: 0 10px;
 }