Update documentation style

4 files changed, 592 insertions, 447 deletions

diff --git a/doc/doxy-style.css b/doc/doxy-style.css
index 3070102..df8fcea 100644
--- a/doc/doxy-style.css
+++ b/doc/doxy-style.css
@@ -7,33 +7,114 @@ body {
   margin-right: auto;
   padding: 1em;
   max-width: 60em;
-  font-family: "DejaVu Serif",Palatino,serif;
+  font-family: "SF Pro Text", Verdana, "DejaVu Sans", sans-serif;
   text-rendering: optimizeLegibility;
 }
 
-h1, .title, #projectname, h2, h3, h4, h5, h6 {
-  line-height: 1.0125em;
+h1 {
+  font-size: 1.68em;
+  font-weight: 500;
+  font-family: Helvetica, Arial, "DejaVu Sans Condensed", Verdana, sans-serif;
+  line-height: 2em;
+  margin: 0 0 0.25em 0;
+}
+
+h2 {
+  line-height: 1.68em;
+  font-size: 1.41em;
+  font-weight: 600;
+  font-family: Helvetica, Arial, "DejaVu Sans Condensed", Verdana, sans-serif;
+  margin: 1.25em 0 0.5em 0;
+}
+
+h3 {
+  line-height: 1.41em;
+  font-size: 1.18em;
+  font-weight: 600;
+  font-family: Helvetica, Arial, "DejaVu Sans Condensed", Verdana, sans-serif;
+  margin: 1.25em 0 0.5em 0;
+}
+
+h4 {
+  line-height: 1.18em;
+  font-size: 1em;
+  font-weight: 600;
+  font-family: Helvetica, Arial, "DejaVu Sans Condensed", Verdana, sans-serif;
+  margin: 1.25em 0 0.5em 0;
+}
+
+h5, h6 {
+  font-size: 0.7em;
+  font-weight: 600;
+  font-family: Helvetica, Arial, "DejaVu Sans Condensed", Verdana, sans-serif;
+  margin: 1.25em 0 0.5em 0;
+}
+
+a {
+  color: #546E00;
+  text-decoration: none;
+}
+
+h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
   color: #444;
-  font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
-  margin: 1em 0 0.5em 0;
 }
 
-h1, .titlearea .header .titlebox, #projectname {
-  font-size: 300%;
+a:hover {
+  text-decoration: underline;
+}
+
+h1 a:link, h2 a:link, h3 a:link, h4 a:link, h5 a:link, h6 a:link {
+  color: #444;
+}
+
+h1 a:visited, h2 a:visited, h3 a:visited, h4 a:visited, h5 a:visited, h6 a:visited {
+  color: #444;
+}
+
+p {
+  margin: 0.5em 0 0.5em 0;
+}
+
+dt {
+  font-weight: 600;
+}
+
+dd {
+  margin-left: 2em;
+}
+
+caption {
+  font-weight: 700;
+}
+
+.title, #projectname {
+  line-height: 1.0125em;
+  margin: 0.75em 0 0 0;
+}
+
+.titlearea .header .titlebox, #projectname {
+  font-size: 1.68em;
   font-weight: 400;
   margin-bottom: 0.25em;
   margin-top: 0;
 }
 
+#header {
+  padding: 0 0 0.5em 0;
+  border-bottom: 1px solid #EEE;
+}
+
 .header .headertitle .title {
-  font-size: 180%;
-  font-weight: 400;
-  margin: 0.75em 0.25em 0.5em 0;
+  line-height: 1.68em;
+  font-size: 1.68em;
+  font-weight: 600;
+  font-family: Helvetica, Arial, "DejaVu Sans Condensed", Verdana, sans-serif;
 }
 
 .ingroups {
-  display: inline;
+  display: none;
 }
+
 .title .ingroups a {
   font-size: small;
   margin-left: 1em;
@@ -42,7 +123,8 @@ h1, .titlearea .header .titlebox, #projectname {
 #titlebox, #metabox {
   display: inline-block;
 }
-#titlebox{
+
+#titlebox {
   display: inline-block;
   width: 75%;
   left: 0;
@@ -51,6 +133,18 @@ h1, .titlearea .header .titlebox, #projectname {
 
 #title {
   margin-bottom: 0.25em;
+  line-height: 1.25em;
+  font-size: 2.5em;
+  color: #333;
+  font-weight: 600;
+}
+
+.PageDoc {
+  margin-top: 1.5em;
+}
+
+.PageDoc .header .headertitle .title {
+  display: none;
 }
 
 #shortdesc {
@@ -58,68 +152,24 @@ h1, .titlearea .header .titlebox, #projectname {
   color: #666;
   display: inline-block;
   font-style: italic;
+  font-family: Helvetica, Arial, "DejaVu Sans Condensed", Verdana, sans-serif;
   padding: 0;
 }
 
 #titlearea {
-  margin: 0.25em auto 0.25em auto;
+  margin: 0.25em auto 0 auto;
   padding: 0;
   position: relative;
   clear: both;
-  line-height: 1.0em;
-}
-
-h2 {
-  font-size: 160%;
-  font-weight: 400;
-}
-
-h3 {
-  font-size: 140%;
-  font-weight: 400;
-}
-
-h4 {
-  font-size: 120%;
-  font-weight: 500;
-}
-
-h5, h6 {
-  font-size: 110%;
-  font-weight: 600;
-}
-
-h1 a, h1 a:link, h1 a:visited ,
-h2 a, h2 a:link, h2 a:visited ,
-h3 a, h3 a:link, h3 a:visited ,
-h4 a, h4 a:link, h4 a:visited ,
-h5 a, h5 a:link, h5 a:visited ,
-h6 a, h6 a:link, h6 a:visited {
-  color: #444;
-}
-
-p {
-  margin: 0.5em 0 0.5em 0;
-}
-
-dt {
-  font-weight: 700;
-}
-
-dd {
-  margin-left: 2em;
-}
-
-caption {
-  font-weight: 700;
+  line-height: 1em;
 }
 
-span.legend {
+.legend {
   font-size: small;
   text-align: center;
 }
 
-h3.version {
+.version {
   font-size: small;
   text-align: center;
 }
@@ -136,20 +186,10 @@ div.navtab {
   margin-right: 15px;
 }
 
-/* @group Link Styling */
-a {
-  color: #546E00;
-  text-decoration: none;
-}
-
 .contents a:visited {
   color: #344E00;
 }
 
-a:hover {
-  text-decoration: underline;
-}
-
 a.qindexHL {
   background-color: #9CAFD4;
   color: #FFF;
@@ -158,15 +198,15 @@ a.qindexHL {
 
 code {
   color: #444;
+  font-family: "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", monospace, fixed;
 }
 
-/* @end */
 dl.el {
   margin-left: -1cm;
 }
 
 .fragment {
-  font-family: "DejaVu Sans Mono",monospace,fixed;
+  font-family: "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", monospace, fixed;
 }
 
 pre.fragment {
@@ -182,7 +222,7 @@ div.ah {
   color: #FFF;
   margin-bottom: 3px;
   margin-top: 3px;
-  padding: .2em;
+  padding: 0.2em;
   border: thin solid #333;
 }
 
@@ -193,6 +233,14 @@ div.groupHeader {
   font-weight: 700;
 }
 
+h2.groupheader {
+  line-height: 1.18em;
+  font-size: 1em;
+  font-weight: 600;
+  font-family: Helvetica, Arial, "DejaVu Sans Condensed", Verdana, sans-serif;
+  margin: 1.25em 0 0.5em 0;
+}
+
 a + h2.groupheader {
   display: none;
 }
@@ -203,12 +251,17 @@ div.groupText {
 }
 
 div.contents, #content {
-  padding: 0 0.25em 0 0.25em;
   max-width: 60em;
   margin-left: auto;
   margin-right: auto;
 }
 
+.groupheader + p {
+  font-style: italic;
+  color: #666;
+  margin: 0 0 1em 0;
+}
+
 td.indexkey {
   background-color: #EBEFF6;
   font-weight: 700;
@@ -225,7 +278,20 @@ td.indexvalue {
 }
 
 table.memname {
-  font-family: "DejaVu Sans Mono",monospace,fixed;
+  font-family: "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", monospace, fixed;
+  border-spacing: 0;
+}
+
+table.memname tbody tr:last-child {
+  display: none;
+}
+
+table.memname tbody tr:only-child {
+  display: table-cell;
+}
+
+table.memname tbody tr:nth-last-child(2)::after {
+  content: ")";
 }
 
 tr.memlist {
@@ -260,7 +326,6 @@ img.footer {
   vertical-align: middle;
 }
 
-/* @group Code Colorization */
 span.keyword {
   color: #586E75;
 }
@@ -289,7 +354,6 @@ span.charliteral {
   color: #CB4B16;
 }
 
-/* @end */
 td.tiny {
   font-size: x-small;
 }
@@ -309,7 +373,7 @@ hr {
   height: 0;
   border: none;
   border-top: 1px solid #DDD;
-  margin: 2em 0 1em;
+  margin: 2em 0;
 }
 
 #footer {
@@ -322,12 +386,27 @@ hr {
   color: #888;
 }
 
-/* @group Member Descriptions */
+td.ititle {
+  padding-bottom: 0.75em;
+}
+
 table.memberdecls {
   border-spacing: 0.125em;
   line-height: 1.3em;
 }
 
+table.memberdecls h3 {
+  line-height: 1.18em;
+  font-size: 1em;
+  font-weight: 600;
+  font-family: Helvetica, Arial, "DejaVu Sans Condensed", Verdana, sans-serif;
+  margin: 1.25em 0 0.5em 0;
+}
+
+tr.inherit_header td {
+  padding: 1em 0 0.5em 0;
+}
+
 .mdescLeft,.mdescRight,.memItemLeft,.memItemRight,.memTemplItemLeft,.memTemplItemRight,.memTemplParams {
   margin: 0;
   padding: 0;
@@ -339,13 +418,12 @@ table.memberdecls {
 
 .memItemLeft,.memItemRight,.memTemplParams {
   border: 0;
-  font-family: "DejaVu Sans Mono",monospace,fixed;
+  font-family: "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", monospace, fixed;
 }
 
 .memItemLeft,.memTemplItemLeft {
   white-space: nowrap;
   padding-left: 2em;
-  padding-right: 1em;
 }
 
 .memItemLeft a.el {
@@ -361,23 +439,35 @@ td.memSeparator {
   display: none;
 }
 
+td.mlabels-left {
+  margin-left: 0;
+  padding-left: 0;
+}
+
 td.mlabels-right {
-  vertical-align: top;
-  padding-top: 4px;
   color: #B4C342;
+  font-weight: normal;
+  margin-left: 1em;
+  vertical-align: bottom;
 }
 
 .memtitle {
+  border-bottom: 1px solid #EEE;
+  font-family: Helvetica, Arial, "DejaVu Sans Condensed", Verdana, sans-serif;
+  font-size: 1.18em;
+  font-weight: 600;
+  line-height: 1.41em;
+  margin: 1.5em 0 0 0;
+}
+
+.permalink {
   display: none;
 }
 
-/* @end */
-/* @group Member Details */
-/* Styles for detailed member documentation */
 .memtemplate {
   color: #888;
   font-style: italic;
-  font-family: "DejaVu Sans Mono",monospace,fixed;
+  font-family: "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", monospace, fixed;
   font-size: small;
 }
 
@@ -391,25 +481,53 @@ td.mlabels-right {
 }
 
 .memitem {
-  padding: 0.25em 0.5em 0.25em 0.5em;
-  margin: 0 0 1em 0;
-  border-radius: 6px;
-  border: 1px solid #DDD;
+  padding: 0;
+  margin: 0 0 3em 0;
 }
 
 .memproto {
-  font-size: 110%;
-  font-weight: 400;
-  line-height: 1em;
-  color: #000;
+  border-bottom: 1px solid #EEE;
+  border-left: 1px solid #EEE;
+  color: #444;
+  float: right;
+  font-family: "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", monospace, fixed;
+  font-size: small;
+  margin-bottom: 1em;
+  margin-left: 1em;
+  padding: 0.25em 0 0.25em 0.25em;
 }
 
 .memproto .paramname {
   font-style: normal;
+  padding-right: 0.25em;
+}
+
+.mlabels {
+  padding-left: 0;
+  padding-right: 0;
 }
 
 .memdoc {
-  padding: 0 0.25em 0 0.25em;
+  padding: 0;
+}
+
+.memdoc > p:first-child, .memdoc .textblock > p:first-child {
+  font-style: italic;
+  color: #444;
+  margin-bottom: 0.75em;
+  margin-top: 0;
+  padding-top: 0.25em;
+  font-weight: normal;
+}
+
+.memdoc > p:first-child, .memdoc .textblock > h3:first-child {
+  color: #444;
+  margin-bottom: 0.75em;
+  margin-top: 0;
+  padding-top: 0.25em;
+  font-weight: normal;
+  color: #444;
+  font-size: 0.9em;
 }
 
 .paramkey {
@@ -418,16 +536,17 @@ td.mlabels-right {
 
 .paramtype {
   color: #666;
-  padding-right: 0.5em;
+  padding: 0 0.25em 0 0.25em;
   white-space: nowrap;
 }
 
-.paramname {
+.params .paramname {
   color: #111;
   white-space: nowrap;
-  font-family: "DejaVu Sans Mono",monospace,fixed;
+  font-family: "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", monospace, fixed;
   font-style: italic;
   padding-right: 0.5em;
+  vertical-align: top;
 }
 
 .fieldname {
@@ -435,8 +554,8 @@ td.mlabels-right {
 }
 
 .fieldtable {
-  padding-top: 0.25em;
-  border-top: 1px dashed #DDD;
+  margin-top: 1em;
+  border-collapse: collapse;
 }
 
 .fieldtable tbody tr:first-child {
@@ -444,21 +563,29 @@ td.mlabels-right {
 }
 
 td.fieldname {
-  padding: 0 0.5em 0 0.25em;
   vertical-align: top;
-  font-family: "DejaVu Sans Mono",monospace,fixed;
+  font-family: "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", monospace, fixed;
+}
+
+td.fielddoc {
+  padding: 0.125em 0.5em 0 0.5em;
+  vertical-align: top;
+}
+
+.fieldtable tbody tr td {
+  border-top: 1px dashed #DDD;
+  border-bottom: 1px dashed #DDD;
 }
 
 td.fieldtype {
   color: #666;
   padding: 0 0.5em 0 0;
   vertical-align: top;
-  font-family: "DejaVu Sans Mono",monospace,fixed;
+  font-family: "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", monospace, fixed;
 }
 
 td.fielddoc p {
   margin: 0;
-  vertical-align: top;
   padding: 0 0.5em 0 0;
 }
 
@@ -467,17 +594,12 @@ p.reference {
   font-style: italic;
 }
 
-/* @end */
-/* @group Directory (tree) */
-/* for the tree view */
 .ftvtree {
-  font-family: sans-serif;
+  font-family: "DejaVu Sans", Verdana, Helvetica, Arial, sans-serif;
   margin: 0;
 }
 
-/* these are for tree view when used as main index */
 .directory {
-  font-size: small;
   margin: 0.5em;
 }
 
@@ -506,7 +628,7 @@ p.reference {
 }
 
 td.entry {
-  font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
+  font-family: "DejaVu Sans", Verdana, Helvetica, Arial, sans-serif;
   font-weight: 400;
   padding-right: 1em;
 }
@@ -522,12 +644,11 @@ td.entry {
 }
 
 td.entry b {
-  font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
+  font-family: "DejaVu Sans", Verdana, Helvetica, Arial, sans-serif;
   font-weight: 400;
   font-size: 130%;
 }
 
-/* these are for tree view when not used as main index */
 .directory-alt {
   font-size: 100%;
   font-weight: bold;
@@ -557,7 +678,6 @@ td.entry b {
   vertical-align: -30%;
 }
 
-/* @end */
 div.dynheader {
   margin-top: 8px;
 }
@@ -620,29 +740,25 @@ div.navpath {
 
 div.summary {
   font-size: small;
-  font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
+  font-family: "DejaVu Sans", Verdana, Helvetica, Arial, sans-serif;
   margin: 0;
-  color: #FFF; /* Hide separator bars */
-  border-bottom: 1px solid #DDD;
   padding: 0.25em 0;
+  display: none;
 }
 
 div.summary a {
   white-space: nowrap;
 }
 
-/* Metadata box (right aligned next to title) */
-
 #metabox {
   display: inline-block;
   font-size: x-small;
-  margin: 0 0 0.25em 0;
+  font-family: Helvetica, Arial, "DejaVu Sans Condensed", Verdana, sans-serif;
   position: absolute;
   right: 0;
-  top: 0;
+  bottom: 0.25em;
   color: #666;
   font-style: italic;
-  padding: 0 1em;
 }
 
 #meta {
@@ -661,12 +777,12 @@ div.summary a {
   text-align: right;
 }
 
-#meta th:after {
+#meta th::after {
   content: ":";
 }
 
 div.line {
-  font-family: "DejaVu Sans Mono",monospace,fixed;
+  font-family: "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", monospace, fixed;
   line-height: 1.4em;
   white-space: pre-wrap;
 }
@@ -683,6 +799,7 @@ span.lineno {
   background-color: #E8E8E8;
   white-space: pre;
 }
+
 span.lineno a {
   background-color: #D8D8D8;
 }
@@ -693,9 +810,8 @@ span.lineno a:hover {
 
 .tabs, .tabs2, .navpath {
   padding: 0.25em 0;
-  border-bottom: 1px solid #DDD;
   font-size: small;
-  font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
+  font-family: Helvetica, Arial, "DejaVu Sans Condensed", Verdana, sans-serif;
   margin: 0;
 }
 
@@ -709,7 +825,10 @@ th {
   padding: 0.125em;
 }
 
-/* tabs*/
+#navrow1, #navrow2 {
+  /* Disable menu from Doxygen 1.8.15, it is faked in the template */
+  display: none;
+}
 
 .tablist {
   margin: 0;
@@ -727,7 +846,6 @@ th {
 .tablist a {
   display: block;
   padding: 0 1em 0 0;
-  font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
   text-decoration: none;
   outline: none;
 }
diff --git a/doc/index.html.in b/doc/index.html.in
index 2282d7b..875ad39 100644
--- a/doc/index.html.in
+++ b/doc/index.html.in
@@ -32,7 +32,6 @@
     </div>
 
     <div id="content">
-      <hr class="contentssep" />
 
       <!-- INDEX -->
       <div class="section">
diff --git a/doc/pygments.css b/doc/pygments.css
index 6603111..4fb3387 100644
--- a/doc/pygments.css
+++ b/doc/pygments.css
@@ -1,6 +1,6 @@
 .c { color: #6C71C4; font-style: italic } /* Comment */
 .err { border: 1px solid #DC322F } /* Error */
-.k { color: #839496 } /* Keyword */
+.k { color: #888888 } /* Keyword */
 .o { color: #839496 } /* Operator */
 .cm { color: #6C71C4; font-style: italic } /* Comment.Multiline */
 .cp { color: #D33682 } /* Comment.Preproc */
@@ -33,15 +33,15 @@
 .ne { color: #D2413A; font-weight: bold } /* Name.Exception */
 .nf { color: #000000; } /* Name.Function */
 .nl { color: #A0A000 } /* Name.Label */
-.nn { color: #222222 } /* Name.Namespace */
-.nt { color: #334433; } /* Name.Tag */
-.nv { color: #19177C } /* Name.Variable */
+.nn { color: #555555 } /* Name.Namespace */
+.nt { color: #223322; } /* Name.Tag */
+.nv { color: #222222 } /* Name.Variable */
 .ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
 .w { color: #bbbbbb } /* Text.Whitespace */
-.mf { color: #666666 } /* Literal.Number.Float */
-.mh { color: #666666 } /* Literal.Number.Hex */
-.mi { color: #666666 } /* Literal.Number.Integer */
-.mo { color: #666666 } /* Literal.Number.Oct */
+.mf { color: #000000 } /* Literal.Number.Float */
+.mh { color: #000000 } /* Literal.Number.Hex */
+.mi { color: #000000 } /* Literal.Number.Integer */
+.mo { color: #000000 } /* Literal.Number.Oct */
 .sb { color: #CB4B16 } /* Literal.String.Backtick */
 .sc { color: #CB4B16 } /* Literal.String.Char */
 .sd { color: #CB4B16; font-style: italic } /* Literal.String.Doc */
diff --git a/doc/style.css b/doc/style.css
index 5a34855..cf32b28 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -1,99 +1,214 @@
 @import "./pygments.css";
 
-/* Specgen style */
+/* Generic page style */
+
+body {
+  background: #FFF;
+  color: #222;
+  font-family: "DejaVu Sans", "SF Pro Text", Verdana, sans-serif;
+  font-style: normal;
+  line-height: 1.6em;
+  margin-left: auto;
+  margin-right: auto;
+  max-width: 60em;
+  padding: 1em;
+}
 
-a:link, a:visited {
+h1 {
+  font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif;
+  font-size: 2.38em;
+  font-weight: 600;
+  line-height: 1.41em;
+  margin: 0 0 0.25em 0;
+}
+
+h2 {
+  font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif;
+  font-size: 1.68em;
+  font-weight: 600;
+  line-height: 1.3em;
+  margin: 1.25em 0 0.5em 0;
+}
+
+h3 {
+  font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif;
+  font-size: 1.41em;
+  font-weight: 600;
+  line-height: 1.19em;
+  margin: 1.25em 0 0.5em 0;
+}
+
+h4 {
+  font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif;
+  font-size: 1.19em;
+  font-weight: 600;
+  line-height: 1.09em;
+  margin: 1.25em 0 0.5em 0;
+}
+
+h5, h6 {
+  font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif;
+  font-size: 1em;
+  font-weight: 600;
+  line-height: 1em;
+  margin: 1.25em 0 0.5em 0;
+}
+
+a {
+  color: #546E00;
   text-decoration: none;
 }
+
+h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
+  color: #222;
+}
+
 a:link {
   color: #546E00;
+  text-decoration: none;
 }
+
 a:visited {
-  color: #354500;
+  color: #546E00;
 }
+
 a:hover {
   text-decoration: underline;
 }
+
+h1 a:link, h2 a:link, h3 a:link, h4 a:link, h5 a:link, h6 a:link {
+  color: #222;
+}
+
+h1 a:visited, h2 a:visited, h3 a:visited, h4 a:visited, h5 a:visited, h6 a:visited {
+  color: #222;
+}
+
 img {
   border: 0;
 }
-h1, h2, h3, h4, h5, h6 {
-  line-height: 1.0125em;
-  font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
-  margin-top: 1em;
-  margin-bottom: 0.5em;
+
+p {
+  margin: 0.5em 0 0.5em 0;
 }
-h1 {
-  font-size: 300%;
-  font-weight: 400;
+
+blockquote {
+  border-left: 1px solid #CCC;
+  margin-left: 1em;
+  padding-left: 1em;
 }
-h1 a, h1 a:link, h1 a:visited ,
-h2 a, h2 a:link, h2 a:visited ,
-h3 a, h3 a:link, h3 a:visited ,
-h4 a, h4 a:link, h4 a:visited ,
-h5 a, h5 a:link, h5 a:visited ,
-h6 a, h6 a:link, h6 a:visited {
+
+pre, code, kbd, samp {
   color: #444;
+  font-family: "DejaVu Sans Mono", "SF Mono", Consolas, monospace;
+  margin: 1em 0;
+  white-space: pre;
 }
-h2 {
-  font-size: 200%;
-  font-weight: 400;
+
+ul, ol {
+  margin: 0 0 0.5em 0;
+  padding-top: 0;
 }
-h3 {
-  font-size: 140%;
-  font-weight: 400;
+
+dt {
+  font-weight: 600;
+  margin: 0.75em 0 0.125em 0;
+}
+
+dt::after {
+  content: ": ";
+  margin-right: 0.5em;
 }
-h4, h4 a, h4 a:link, h4 a:visited {
-  color: black;
-  font-size: 110%;
-  font-weight: 500;
+
+hr {
+  background-color: #EEE;
+  border: 0;
+  color: gray;
+  height: 1px;
+  margin-bottom: 1.5ex;
+  margin-top: 1.5ex;
 }
-h5 {
-  font-size: 100%;
-  font-weight: 600;
+
+table {
+  border-collapse: collapse;
+  border-spacing: 1em 1em;
+  border-style: hidden;
+  border: 0;
+  margin: 0;
 }
-h6 {
-  font-size: 100%;
-  font-weight: 700;
+
+th {
+  border: 1px solid #EEE;
+  padding: 0.25em 0.5em;
+  text-align: left;
 }
-#titlebox, #metabox {
-  display: inline-block;
+
+table tbody tr th {
+  text-align: left;
+}
+
+td {
+  border: 1px solid #EEE;
+  padding: 0.25em 0.5em;
+  vertical-align: top;
+}
+
+caption {
+  caption-side: bottom;
+  font-size: small;
+  font-style: italic;
+  margin: 0.75em 0;
 }
-#titlebox{
+
+footer {
+  color: #444;
+  font-size: small;
+}
+
+/* Specgen style */
+
+#titlebox {
   display: inline-block;
   max-width: 60%;
   left: 0;
   top: 0;
 }
+
 #metabox {
-  float: right;
   display: inline-block;
   font-size: x-small;
-  margin: 0 0 0.25em 0;
+  font-family: "DejaVu Sans Condensed", Helvetica, Arial, sans-serif;
+  position: absolute;
   right: 0;
-  top: 0;
+  bottom: 0.25em;
   color: #666;
   font-style: italic;
-  padding: 0 1em;
 }
+
 #meta {
   border-style: hidden;
 }
+
 #meta tr, #meta th, #meta td {
   border: 0;
   font-weight: normal;
   padding: 0 0 0.125em 0;
   background-color: transparent;
 }
+
 #meta th {
+  padding-right: 0.5em;
   text-align: right;
 }
-#meta th:after {
+
+#meta th::after {
   content: ": ";
 }
+
 #subtitle {
   font-size: small;
 }
+
 #shortdesc {
   padding: 0;
   margin: 0 0 0.5em 0;
@@ -101,15 +216,18 @@ h6 {
   color: #666;
   display: inline-block;
 }
+
 #logo {
   height: 63px;
   margin-left: 1em;
   margin-top: 10px;
   width: 100px;
 }
+
 #titlesep {
-  color: #DDD;
+  color: #EEE;
 }
+
 #content-body {
   border-bottom: 0;
   display: block;
@@ -123,136 +241,100 @@ h6 {
   width: 93.900002%;
   z-index: 0;
 }
-#body-main {
-  font-size: 100%;
-  line-height: 1.4em;
-  margin-left: 19em;
-  padding: 0 .55em 40px 0;
-}
-#left-hand-navigation {
-  left: 1ex;
-  position: absolute;
-  top: 100px;
-  z-index: 1;
-}
+
 #menu {
   font-size: 75%;
   margin-bottom: 5px;
   padding: 0;
   width: 16em;
 }
+
 #menu ul {
   border: 0;
   list-style: none;
   margin: 0;
   padding: 0;
 }
+
+#menu a {
+  text-decoration: none;
+}
+
 #menu ul.level-one a {
-  background-color: #f5f5f5;
-  border: 1px solid #dadada;
-  color: #4b5a6a;
+  background-color: #F5F5F5;
+  border: 1px solid #DADADA;
+  color: #4B5A6A;
   display: block;
   margin: 0 0 4px 1.4em;
   padding: 2px 2px 2px 4px;
   text-transform: uppercase;
-  width: 13.4em!important;
-}
-#menu ul.level-one a.selected {
-  background-color: #FFF;
-  border-left: 3px solid #ffdb4c;
-  color: #000;
-}
-#menu ul.level-two li:first-child a {
-  border-top: 0;
+  width: 13.4em !important;
 }
+
 #menu ul.level-two a {
   background: none;
   background-color: transparent;
   border: 0;
-  border-top: 1px solid #ddd;
-  color: #3c4b7b;
+  border-top: 1px solid #DDD;
+  color: #3C4B7B;
   display: block;
   margin: 0 3em 0 1.5em;
-  padding: .1em;
+  padding: 0.1em;
   text-transform: none;
-  width: 11em!important;
+  width: 11em !important;
 }
+
+#menu ul.level-three a {
+  border: 0;
+  color: #5E72A5;
+  display: block;
+  font-size: 95%;
+  margin: 0 3em 0 1.8em;
+  padding: 0.1em 0.1em 0.1em 1em;
+  width: 10em !important;
+}
+
+#menu ul.level-one a:hover,
+#menu ul.level-two a:hover,
+#menu ul.level-three a:hover {
+  color: #000;
+  text-decoration: underline;
+}
+
+#menu ul.level-one a.selected {
+  background-color: #FFF;
+  border-left: 3px solid #FFDB4C;
+  color: #000;
+}
+
 #menu ul.level-two a:visited {
-  color: #4c3b5b;
+  color: #4C3B5B;
 }
+
+#menu ul.level-two li:first-child a {
+  border-top: 0;
+}
+
 #menu ul.level-one ul.level-two a.selected {
   background-color: #FFF;
   border-left: 0;
   color: #000;
   font-weight: 700;
 }
+
 #menu li ul {
   margin-bottom: 7px;
 }
-#menu a {
-  text-decoration: none;
-}
-#menu ul.level-three a {
-  border: 0;
-  color: #5e72a5;
-  display: block;
-  font-size: 95%;
-  margin: 0 3em 0 1.8em;
-  padding: .1em .1em .1em 1em;
-  width: 10em!important;
-}
+
 #menu ul.level-three li.selected a.selected {
   color: #000;
   font-weight: 400;
 }
+
 #menu ul.level-three {
   margin-top: 5px;
 }
-#left-hand-navigation h4 {
-  color: #4c5b6b;
-  font-size: 77%;
-  margin: .2em 0 .3em;
-  padding: .4em 0 0 1.5em;
-}
-#left-hand-navigation h4 a {
-  color: #4c5b6b;
-  font-weight: 700;
-  text-decoration: none;
-}
-#body-main ul, #body-main li {
-  margin-left: 1em;
-  padding-left: 0;
-}
-#utility-menu {
-  font-size: 88%;
-  height: 85px;
-  margin: 0;
-  padding: 0;
-  position: absolute;
-  right: 4%;
-  top: 0;
-  width: 400px;
-  z-index: 1;
-}
-#utility-menu a {
-  color: #436a85;
-  padding: 0 .5em;
-  text-decoration: none;
-}
-#utility-menu a:hover {
-  text-decoration: underline;
-}
-#utility-menu #screen-switcher {
-  bottom: 0;
-  margin: 0;
-  padding: 0;
-  position: absolute;
-  right: 0;
-}
-#screen-switcher dl {
-  margin: 0;
-  padding: 0;
-}
+
 #searchbox {
   font-weight: 700;
   position: absolute;
@@ -263,92 +345,83 @@ h6 {
   white-space: nowrap;
   width: 28.1em;
 }
+
 #search {
-  color: #a38e60;
+  color: #A38E60;
   padding: 5px 5px 0 0;
 }
+
 #search .input-text {
   background-color: #FFF;
-  border: 1px solid #c4cccc;
+  border: 1px solid #C4CCCC;
   font-size: 116%;
   font-weight: 400;
   margin-top: 3px;
   vertical-align: top;
   width: 11em;
 }
+
 #search .input-button {
-  background-color: #f8f7f7;
-  border-bottom: 1px solid #6f7777;
-  border-left: 1px solid #c4cccc;
-  border-right: 1px solid #6f7777;
-  border-top: 1px solid #c4cccc;
+  background-color: #F8F7F7;
+  border-bottom: 1px solid #6F7777;
+  border-left: 1px solid #C4CCCC;
+  border-right: 1px solid #6F7777;
+  border-top: 1px solid #C4CCCC;
   color: #234;
   font-weight: 700;
-  margin: 3px .4em 0;
-  padding: 0 .2em;
+  margin: 3px 0.4em 0;
+  padding: 0 0.2em;
   vertical-align: text-top;
 }
+
 input.formbutton {
-  background-color: #f8f7f7;
-  border-bottom: 1px solid #6f7777;
-  border-left: 1px solid #c4cccc;
-  border-right: 1px solid #6f7777;
-  border-top: 1px solid #c4cccc;
+  background-color: #F8F7F7;
+  border-bottom: 1px solid #6F7777;
+  border-left: 1px solid #C4CCCC;
+  border-right: 1px solid #6F7777;
+  border-top: 1px solid #C4CCCC;
   color: #234;
   font-weight: 700;
   vertical-align: text-top;
 }
+
 .formtextinput {
   background-color: #FFF;
-  border: 1px solid #c4cccc;
+  border: 1px solid #C4CCCC;
   font-size: 116%;
   font-weight: 400;
   vertical-align: top;
 }
+
 #content table {
   clear: right;
 }
-#body-main h1.pageheading {
-  margin: 40px 0 10px;
-}
+
 .content-section {
   margin-top: 15px;
 }
+
 .content-section h1 {
   margin: 0 0 10px;
 }
+
 .content-section p {
   margin: 0 0 5px;
   padding-left: 12px;
 }
+
 .content-section .pubdate {
   color: #696969;
   margin: 0 0 8px;
   padding: 0 0 0 12px;
 }
+
 blockquote {
-  border-left: 1px solid #ccc;
+  border-left: 1px solid #CCC;
   margin-left: 1em;
   padding-left: 1em;
 }
-#utility-menu dl {
-  font-size: 80%;
-  font-weight: 700;
-  text-align: right;
-}
-#utility-menu dd {
-  display: inline;
-  font-weight: 400;
-  padding: 0 0 0 8px;
-}
-#utility-menu dd a {
-  color: #888;
-  margin: 0;
-  padding: 0;
-}
-#utility-menu dt {
-  margin: 0;
-}
+
 #footer {
   bottom: 0;
   clear: both;
@@ -367,41 +440,12 @@ blockquote {
   text-decoration: none;
   top: 2.9em;
 }
-#body-main .success p {
-  margin: 4px 8px;
-}
-body {
-  background: #FFF;
-  color: #222;
-  font-style: normal;
-  line-height: 1.6em;
-  margin-left: auto;
-  margin-right: auto;
-  padding: 1em;
-  max-width: 60em;
-  font-family: "DejaVu Serif",Palatino,serif;
-  text-rendering: optimizeLegibility;
-}
-:link {
-  background: transparent;
-  color: #00C;
-}
-:visited {
-  background: transparent;
-  color: #609;
-}
-.sec {
-  margin: 0.5em 0 0.5em 0;
-  padding: 1ex 0 0.5ex 0;
-}
-ul, ol {
-  margin-top: 0;
-  padding-top: 0;
-  margin: 0 0 0.5ex 0;
-}
+
 #topbar {
   line-height: 1em;
+  border-bottom: 1px solid #EEE;
 }
+
 @media print {
   #topbar {
     color: #000;
@@ -410,19 +454,20 @@ ul, ol {
     max-width: 60em;
     position: relative;
   }
+
   #contentsbox {
     display: none;
   }
-  #topbar a, #topbar a:visited {
-    color: #000
-  }
-  #title a, #title a:visited {
+
+  #topbar a, #title a, #topbar a:visited, #title a:visited {
     color: #000;
   }
+
   #contents {
     display: none;
   }
 }
+
 @media screen {
   #topbar {
     margin: 0.25em auto 0.25em auto;
@@ -430,33 +475,27 @@ ul, ol {
     max-width: 60em;
     position: relative;
   }
+
   #contentsbox {
     color: #546E00;
     font-size: small;
-    font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
-    margin: 0.5em 0 0.5em 0;
+    margin: 0 0 1.5em 0;
   }
+
   #contents {
     display: inline;
     padding: 0;
   }
+
   #contents li {
     display: inline;
     list-style-type: none;
     margin-left: 0;
     margin-right: 0.5em;
-    padding: 0.25ex;
+    padding: 0.25ex 0.25ex 0.25ex 0;
   }
-  hr.contentssep {
-    line-height: 0.5;
-    margin: 0 0 1em 0;
-    padding: 0;
-  }
-}
-#title {
-  margin-top: 0;
-  margin-bottom: 0.25em;
 }
+
 #content {
   clear: both;
   padding: 0;
@@ -464,9 +503,12 @@ ul, ol {
   margin-left: auto;
   margin-right: auto;
 }
+
 .section {
-  padding: 0;
+  clear: right;
+  padding: 0 0 1.5em 0;
 }
+
 .category {
   font-size: small;
   color: #AAA;
@@ -476,200 +518,186 @@ ul, ol {
   margin: 0;
   padding-right: 0.25em;
 }
+
 .label {
   font-style: italic;
   margin-top: 0.25em;
   color: #666;
 }
+
 table.index {
-  border-collapse: initial;
-  border-radius: 6px;
-  border-spacing: 0;
   border: 0;
-  font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
-  font-size: small;
   line-height: 1.5em;
-  width: 100%;
-}
-table thead th {
-  border: 0;
-  border-bottom: 1px solid #DDD;
-}
-table thead tr:first-child th {
-  border: 0;
-}
-table td {
-  border: 0;
-}
-table td:first-child {
-  border: 0;
-}
-.index td {
-  vertical-align: top;
+  margin-top: 2em;
 }
+
 .index ul {
   padding-left: 1.25em;
   margin-left: 0;
   list-style-type: circle;
 }
-.index ul li
-{
+
+.index ul li {
   padding-left: 0;
   color: #888;
 }
+
 .prop {
   margin: 0;
   padding: 0;
 }
+
 .description {
   margin-top: 0;
   margin-bottom: 0.75em;
 }
+
 .blankdesc, .blankdef {
-  margin: 0;
-  padding: 0;
   border-spacing: 0;
+  margin: 0;
+  padding-left: 0;
+  padding-right: 0;
 }
+
 .blankdesc tbody tr td, .blankdef {
-  border: 0!important;
+  border: 0 !important;
 }
+
 .blankdesc td {
   padding-right: 0.5em;
 }
+
 .blankdesc tbody tr td:first-child {
   border-left: 1px solid #BBB;
   text-align: right;
 }
+
 .terminfo, .restriction {
-  border-collapse: initial;
+  border-collapse: collapse;
   border-spacing: 0;
   font-size: small;
   color: #666;
   border-radius: 0;
   border-bottom-left-radius: 6px;
-  border-bottom-right-radius: 6px;
 }
+
+
 table.terminfo {
   border-top: 0;
-  margin: 0;
-  margin-left: 1.5em;
-  margin-bottom: 1.5em;
-  padding: 0;
+  border-collapse: collapse;
+  margin: -1px 0 2em 2em;
+  padding: 0.25em 0 0.25em 0;
   float: right;
   border-bottom: 1px solid #EEE;
+  border-left: 1px solid #EEE;
+  border-bottom-left-radius: 6px;
   max-width: 50%;
+  line-height: 1.4em;
+  min-width: 25%;
 }
-table.terminfo tbody tr:last-child td:first-child,
-table.terminfo tbody tr:last-child th:first-child {
-  border-bottom-left-radius: 6px;
-  border-left: 1px solid #BBB;
+
+table.terminfo td {
+  padding: 0 0.5em;
 }
+
 .restriction {
   border-style: hidden;
-}
-.terminfo th {
-  text-align: right;
-  padding-right: 0;
-  font-size: 100%;
-}
-.restriction {
   margin: 0 0 0.5ex 0;
   padding: 0;
   vertical-align: text-top;
 }
+
 .restriction td {
   vertical-align: text-top;
 }
+
 .terminfo th {
-  padding: 0.125em 0.25em 0.125em 0.5em;
-  border-left: 1px solid #EEE!important;
+  padding: 0 0.5em;
+  text-align: right;
   vertical-align: top;
 }
+
 .specterm {
   border: 0;
-  margin: 1em 0 3em 0;
-  padding: 0;
+  margin: 0;
+  padding: 1em 0;
   clear: both;
 }
-.specterm h4 {
-  margin-bottom: 0;
-  display: inline;
+
+.specterm h3 {
+  display: inline-block;
+  margin-bottom: 0.25em;
+  width: 80%;
+}
+
+.spectermtype {
+  color: #888;
+  display: inline-block;
+  font-size: small;
+  font-style: italic;
+  box-sizing: border-box;
+  margin: 0;
+  padding: 0 0.25em 0 0;
+  text-align: right;
+  vertical-align: bottom;
+  width: 20%;
 }
+
 .spectermbody {
   border-top: 1px solid #EEE;
   padding: 0;
 }
+
+.spectermbody .description .comment > p:first-child {
+  color: #444;
+  font-style: italic;
+  margin-bottom: 0.75em;
+}
+
 dl {
   margin: 0;
   padding: 0;
 }
-dt {
-  margin-top: .5em;
-  font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
-}
+
 hr {
-  background-color: #DDD;
+  background-color: #EEE;
   border: 0;
   color: gray;
   height: 1px;
   margin-bottom: 1.5ex;
   margin-top: 1.5ex;
 }
+
 div.head {
   margin-bottom: 1em;
 }
+
 div.head h1 {
   clear: both;
   margin-top: 2em;
 }
+
 div.head table {
   margin-left: 2em;
   margin-top: 2em;
 }
-table {
-  border-collapse: initial;
-  border-spacing: 1.0em 0;
-  margin: 0;
-  border: 0;
-}
-th {
-  font-size: 115%;
-  font-weight: 500;
-  text-align: left;
-  padding-bottom: 0.5em;
-}
-
-p {
-  font-family: inherit;
-  margin-bottom: 1em;
-}
 
-pre {
-  margin: 1em 1em 1em 4em;
-  padding: 0;
-  color: #444;
-  font-family: fixed,monospace;
-}
-code {
-  color: #444;
-  font-family: fixed,monospace;
-}
-#menu li, #searchbox form, #iconbar li, #body-main .success p a {
+#menu li {
   display: inline;
 }
-#menu ul.level-one a:hover, #menu ul.level-two a:hover, #menu ul.level-three a:hover, #left-hand-navigation h4 a:hover {
-  color: #000;
-  text-decoration: underline;
-}
-h1, h2, h3, h4, h5, h6, th {
-  text-align: left;
-}
+
 .error {
-  color: #DC322F;
+  color: #990A1B;
 }
+
 .warning {
-  color: #B58900;
+  color: #7B6000;
 }
+
 .success {
-  color: #859900;
+  color: #546E00;
+}
+
+.highlight, .codehilite {
+  margin-left: 2em;
 }