From fe32463b4fdc7c24cdaf8e1b8b430c0fd381b231 Mon Sep 17 00:00:00 2001
From: David Robillard <d@drobilla.net>
Date: Thu, 19 Mar 2020 13:36:36 +0100
Subject: Switch to 2-space indentation for all CSS

Some lint tools warn about this, it's less work to just change it than
configure them specially.  There was previously some inconsistency with spaces
and tabs anyway.
---
 doc/doxy-style.css | 660 +++++++++++++++++++++---------------------
 doc/style.css      | 830 ++++++++++++++++++++++++++---------------------------
 2 files changed, 745 insertions(+), 745 deletions(-)

diff --git a/doc/doxy-style.css b/doc/doxy-style.css
index 7208676..3070102 100644
--- a/doc/doxy-style.css
+++ b/doc/doxy-style.css
@@ -1,92 +1,92 @@
 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;
+  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;
 }
 
 h1, .title, #projectname, h2, h3, h4, h5, h6 {
-	line-height: 1.0125em;
-    color: #444;
-    font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
-    margin: 1em 0 0.5em 0;
+  line-height: 1.0125em;
+  color: #444;
+  font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
+  margin: 1em 0 0.5em 0;
 }
 
 h1, .titlearea .header .titlebox, #projectname {
-	font-size: 300%;
-	font-weight: 400;
-    margin-bottom: 0.25em;
-    margin-top: 0;
+  font-size: 300%;
+  font-weight: 400;
+  margin-bottom: 0.25em;
+  margin-top: 0;
 }
 
 .header .headertitle .title {
-	font-size: 180%;
-	font-weight: 400;
-    margin: 0.75em 0.25em 0.5em 0;
+  font-size: 180%;
+  font-weight: 400;
+  margin: 0.75em 0.25em 0.5em 0;
 }
 
 .ingroups {
-    display: inline;
+  display: inline;
 }
 .title .ingroups a {
-    font-size: small;
-    margin-left: 1em;
+  font-size: small;
+  margin-left: 1em;
 }
 
 #titlebox, #metabox {
-	display: inline-block;
+  display: inline-block;
 }
 #titlebox{
-	display: inline-block;
-	width: 75%;
-	left: 0;
-	top: 0;
+  display: inline-block;
+  width: 75%;
+  left: 0;
+  top: 0;
 }
 
 #title {
-    margin-bottom: 0.25em;
+  margin-bottom: 0.25em;
 }
 
 #shortdesc {
-	margin: 0;
-    color: #666;
-    display: inline-block;
-    font-style: italic;
-    padding: 0;
+  margin: 0;
+  color: #666;
+  display: inline-block;
+  font-style: italic;
+  padding: 0;
 }
 
 #titlearea {
-	margin: 0.25em auto 0.25em auto;
-    padding: 0;
-	position: relative;
-    clear: both;
-    line-height: 1.0em;
+  margin: 0.25em auto 0.25em auto;
+  padding: 0;
+  position: relative;
+  clear: both;
+  line-height: 1.0em;
 }
 
 h2 {
-	font-size: 160%;
-	font-weight: 400;
+  font-size: 160%;
+  font-weight: 400;
 }
 
 h3 {
-	font-size: 140%;
-	font-weight: 400;
+  font-size: 140%;
+  font-weight: 400;
 }
 
 h4 {
-	font-size: 120%;
-	font-weight: 500;
+  font-size: 120%;
+  font-weight: 500;
 }
 
 h5, h6 {
-	font-size: 110%;
-	font-weight: 600;
+  font-size: 110%;
+  font-weight: 600;
 }
 
 h1 a, h1 a:link, h1 a:visited ,
@@ -95,651 +95,651 @@ 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;
+  color: #444;
 }
 
 p {
-	margin: 0.5em 0 0.5em 0;
+  margin: 0.5em 0 0.5em 0;
 }
 
 dt {
-	font-weight: 700;
+  font-weight: 700;
 }
 
 dd {
-    margin-left: 2em;
+  margin-left: 2em;
 }
 
 caption {
-	font-weight: 700;
+  font-weight: 700;
 }
 
 span.legend {
-	font-size: small;
-	text-align: center;
+  font-size: small;
+  text-align: center;
 }
 
 h3.version {
-	font-size: small;
-	text-align: center;
+  font-size: small;
+  text-align: center;
 }
 
 div.qindex,div.navtab {
-	background-color: #EBEFF6;
-	border: 1px solid #A3B4D7;
-	text-align: center;
-	margin: 2px;
-	padding: 2px;
+  background-color: #EBEFF6;
+  border: 1px solid #A3B4D7;
+  text-align: center;
+  margin: 2px;
+  padding: 2px;
 }
 
 div.navtab {
-	margin-right: 15px;
+  margin-right: 15px;
 }
 
 /* @group Link Styling */
 a {
-	color: #546E00;
-	text-decoration: none;
+  color: #546E00;
+  text-decoration: none;
 }
 
 .contents a:visited {
-	color: #344E00;
+  color: #344E00;
 }
 
 a:hover {
-	text-decoration: underline;
+  text-decoration: underline;
 }
 
 a.qindexHL {
-	background-color: #9CAFD4;
-	color: #FFF;
-	border: 1px double #869DCA;
+  background-color: #9CAFD4;
+  color: #FFF;
+  border: 1px double #869DCA;
 }
 
 code {
-	color: #444;
+  color: #444;
 }
 
 /* @end */
 dl.el {
-	margin-left: -1cm;
+  margin-left: -1cm;
 }
 
 .fragment {
-    font-family: "DejaVu Sans Mono",monospace,fixed;
+  font-family: "DejaVu Sans Mono",monospace,fixed;
 }
 
 pre.fragment {
-	border: 1px solid #C4C4C4;
-	background-color: #F9F9F9;
-	padding: 0.5em;
-	overflow: auto;
+  border: 1px solid #C4C4C4;
+  background-color: #F9F9F9;
+  padding: 0.5em;
+  overflow: auto;
 }
 
 div.ah {
-	background-color: #000;
-	font-weight: 700;
-	color: #FFF;
-	margin-bottom: 3px;
-	margin-top: 3px;
-	padding: .2em;
-	border: thin solid #333;
+  background-color: #000;
+  font-weight: 700;
+  color: #FFF;
+  margin-bottom: 3px;
+  margin-top: 3px;
+  padding: .2em;
+  border: thin solid #333;
 }
 
 div.groupHeader {
-	margin-left: 16px;
-	margin-top: 12px;
-	margin-bottom: 6px;
-	font-weight: 700;
+  margin-left: 16px;
+  margin-top: 12px;
+  margin-bottom: 6px;
+  font-weight: 700;
 }
 
 a + h2.groupheader {
-	display: none;
+  display: none;
 }
 
 div.groupText {
-	margin-left: 16px;
-	font-style: italic;
+  margin-left: 16px;
+  font-style: italic;
 }
 
 div.contents, #content {
-    padding: 0 0.25em 0 0.25em;
-    max-width: 60em;
-	margin-left: auto;
-	margin-right: auto;
+  padding: 0 0.25em 0 0.25em;
+  max-width: 60em;
+  margin-left: auto;
+  margin-right: auto;
 }
 
 td.indexkey {
-	background-color: #EBEFF6;
-	font-weight: 700;
-	border: 1px solid #C4CFE5;
-	margin: 2px 0;
-	padding: 2px 10px;
+  background-color: #EBEFF6;
+  font-weight: 700;
+  border: 1px solid #C4CFE5;
+  margin: 2px 0;
+  padding: 2px 10px;
 }
 
 td.indexvalue {
-	background-color: #EBEFF6;
-	border: 1px solid #C4CFE5;
-	padding: 2px 10px;
-	margin: 2px 0;
+  background-color: #EBEFF6;
+  border: 1px solid #C4CFE5;
+  padding: 2px 10px;
+  margin: 2px 0;
 }
 
 table.memname {
-    font-family: "DejaVu Sans Mono",monospace,fixed;
+  font-family: "DejaVu Sans Mono",monospace,fixed;
 }
 
 tr.memlist {
-	background-color: #EEF1F7;
+  background-color: #EEF1F7;
 }
 
 p.formulaDsp {
-	text-align: center;
+  text-align: center;
 }
 
 img.formulaInl {
-	vertical-align: middle;
+  vertical-align: middle;
 }
 
 div.center {
-	text-align: center;
-	margin-top: 0;
-	margin-bottom: 0;
-	padding: 0;
+  text-align: center;
+  margin-top: 0;
+  margin-bottom: 0;
+  padding: 0;
 }
 
 div.center img {
-	border: 0;
+  border: 0;
 }
 
 address.footer {
-	text-align: right;
+  text-align: right;
 }
 
 img.footer {
-	border: 0;
-	vertical-align: middle;
+  border: 0;
+  vertical-align: middle;
 }
 
 /* @group Code Colorization */
 span.keyword {
-    color: #586E75;
+  color: #586E75;
 }
 
 span.keywordtype {
-	color: #546E00;
+  color: #546E00;
 }
 
 span.keywordflow {
-	color: #586E75;
+  color: #586E75;
 }
 
 span.comment {
-	color: #6C71C4;
+  color: #6C71C4;
 }
 
 span.preprocessor {
-	color: #D33682;
+  color: #D33682;
 }
 
 span.stringliteral {
-	color: #CB4B16;
+  color: #CB4B16;
 }
 
 span.charliteral {
-	color: #CB4B16;
+  color: #CB4B16;
 }
 
 /* @end */
 td.tiny {
-	font-size: x-small;
+  font-size: x-small;
 }
 
 .dirtab {
-	padding: 4px;
-	border-collapse: collapse;
-	border: 1px solid #A3B4D7;
+  padding: 4px;
+  border-collapse: collapse;
+  border: 1px solid #A3B4D7;
 }
 
 th.dirtab {
-	background: #EBEFF6;
-	font-weight: 700;
+  background: #EBEFF6;
+  font-weight: 700;
 }
 
 hr {
-	height: 0;
-	border: none;
-	border-top: 1px solid #DDD;
-	margin: 2em 0 1em;
+  height: 0;
+  border: none;
+  border-top: 1px solid #DDD;
+  margin: 2em 0 1em;
 }
 
 #footer {
-	bottom: 0;
-	clear: both;
-	font-size: x-small;
-	margin: 2em 0 0;
-	padding: 0 1em 1em 1em;
-	vertical-align: top;
-	color: #888;
+  bottom: 0;
+  clear: both;
+  font-size: x-small;
+  margin: 2em 0 0;
+  padding: 0 1em 1em 1em;
+  vertical-align: top;
+  color: #888;
 }
 
 /* @group Member Descriptions */
 table.memberdecls {
-	border-spacing: 0.125em;
-    line-height: 1.3em;
+  border-spacing: 0.125em;
+  line-height: 1.3em;
 }
 
 .mdescLeft,.mdescRight,.memItemLeft,.memItemRight,.memTemplItemLeft,.memTemplItemRight,.memTemplParams {
-	margin: 0;
-	padding: 0;
+  margin: 0;
+  padding: 0;
 }
 
 .mdescLeft,.mdescRight {
-	color: #555;
+  color: #555;
 }
 
 .memItemLeft,.memItemRight,.memTemplParams {
-	border: 0;
-    font-family: "DejaVu Sans Mono",monospace,fixed;
+  border: 0;
+  font-family: "DejaVu Sans Mono",monospace,fixed;
 }
 
 .memItemLeft,.memTemplItemLeft {
-	white-space: nowrap;
-	padding-left: 2em;
-	padding-right: 1em;
+  white-space: nowrap;
+  padding-left: 2em;
+  padding-right: 1em;
 }
 
 .memItemLeft a.el {
-	font-weight: bold;
+  font-weight: bold;
 }
 
 .memTemplParams {
-	color: #464646;
-	white-space: nowrap;
+  color: #464646;
+  white-space: nowrap;
 }
 
 td.memSeparator {
-	display: none;
+  display: none;
 }
 
 td.mlabels-right {
-	vertical-align: top;
-	padding-top: 4px;
-	color: #B4C342;
+  vertical-align: top;
+  padding-top: 4px;
+  color: #B4C342;
 }
 
 .memtitle {
-	display: none;
+  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-size: small;
+  color: #888;
+  font-style: italic;
+  font-family: "DejaVu Sans Mono",monospace,fixed;
+  font-size: small;
 }
 
 .memnav {
-	background-color: #EEE;
-	border: 1px solid #B4C342;
-	text-align: center;
-	margin: 2px;
-	margin-right: 15px;
-	padding: 2px;
+  background-color: #EEE;
+  border: 1px solid #B4C342;
+  text-align: center;
+  margin: 2px;
+  margin-right: 15px;
+  padding: 2px;
 }
 
 .memitem {
-	padding: 0.25em 0.5em 0.25em 0.5em;
-	margin: 0 0 1em 0;
-	border-radius: 6px;
-    border: 1px solid #DDD;
+  padding: 0.25em 0.5em 0.25em 0.5em;
+  margin: 0 0 1em 0;
+  border-radius: 6px;
+  border: 1px solid #DDD;
 }
 
 .memproto {
-	font-size: 110%;
-	font-weight: 400;
-    line-height: 1em;
-    color: #000;
+  font-size: 110%;
+  font-weight: 400;
+  line-height: 1em;
+  color: #000;
 }
 
 .memproto .paramname {
-	font-style: normal;
+  font-style: normal;
 }
 
 .memdoc {
-	padding: 0 0.25em 0 0.25em;
+  padding: 0 0.25em 0 0.25em;
 }
 
 .paramkey {
-	text-align: right;
+  text-align: right;
 }
 
 .paramtype {
-	color: #666;
-    padding-right: 0.5em;
-	white-space: nowrap;
+  color: #666;
+  padding-right: 0.5em;
+  white-space: nowrap;
 }
 
 .paramname {
-	color: #111;
-	white-space: nowrap;
-    font-family: "DejaVu Sans Mono",monospace,fixed;
-    font-style: italic;
-    padding-right: 0.5em;
+  color: #111;
+  white-space: nowrap;
+  font-family: "DejaVu Sans Mono",monospace,fixed;
+  font-style: italic;
+  padding-right: 0.5em;
 }
 
 .fieldname {
-	color: #000;
+  color: #000;
 }
 
 .fieldtable {
-    padding-top: 0.25em;
-    border-top: 1px dashed #DDD;
+  padding-top: 0.25em;
+  border-top: 1px dashed #DDD;
 }
 
 .fieldtable tbody tr:first-child {
-    display: none;
+  display: none;
 }
 
 td.fieldname {
-	padding: 0 0.5em 0 0.25em;
-	vertical-align: top;
-    font-family: "DejaVu Sans Mono",monospace,fixed;
+  padding: 0 0.5em 0 0.25em;
+  vertical-align: top;
+  font-family: "DejaVu Sans Mono",monospace,fixed;
 }
 
 td.fieldtype {
-	color: #666;
-	padding: 0 0.5em 0 0;
-	vertical-align: top;
-    font-family: "DejaVu Sans Mono",monospace,fixed;
+  color: #666;
+  padding: 0 0.5em 0 0;
+  vertical-align: top;
+  font-family: "DejaVu Sans Mono",monospace,fixed;
 }
 
 td.fielddoc p {
-	margin: 0;
-	vertical-align: top;
-	padding: 0 0.5em 0 0;
+  margin: 0;
+  vertical-align: top;
+  padding: 0 0.5em 0 0;
 }
 
 p.reference {
-    font-size: x-small;
-    font-style: italic;
+  font-size: x-small;
+  font-style: italic;
 }
 
 /* @end */
 /* @group Directory (tree) */
 /* for the tree view */
 .ftvtree {
-	font-family: sans-serif;
-	margin: 0;
+  font-family: sans-serif;
+  margin: 0;
 }
 
 /* these are for tree view when used as main index */
 .directory {
-	font-size: small;
-	margin: 0.5em;
+  font-size: small;
+  margin: 0.5em;
 }
 
 .directory h3 {
-	margin: 0;
-	margin-top: 1em;
-	font-size: 11pt;
+  margin: 0;
+  margin-top: 1em;
+  font-size: 11pt;
 }
 
 .directory > h3 {
-	margin-top: 0;
+  margin-top: 0;
 }
 
 .directory p {
-	margin: 0;
-	white-space: nowrap;
+  margin: 0;
+  white-space: nowrap;
 }
 
 .directory div {
-	display: none;
-	margin: 0;
+  display: none;
+  margin: 0;
 }
 
 .directory img {
-	vertical-align: -30%;
+  vertical-align: -30%;
 }
 
 td.entry {
-    font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
-    font-weight: 400;
-    padding-right: 1em;
+  font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
+  font-weight: 400;
+  padding-right: 1em;
 }
 
 .arrow {
-    color: #CCC;
-    user-select: none;
-    font-size: 80%;
-    display: inline-block;
-    width: 16px;
-    height: 22px;
-    vertical-align: top;
+  color: #CCC;
+  user-select: none;
+  font-size: 80%;
+  display: inline-block;
+  width: 16px;
+  height: 22px;
+  vertical-align: top;
 }
 
 td.entry b {
-    font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
-    font-weight: 400;
-    font-size: 130%;
+  font-family: "DejaVu Sans",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;
+  font-size: 100%;
+  font-weight: bold;
 }
 
 .directory-alt h3 {
-	margin: 0;
-	margin-top: 1em;
-	font-size: 11pt;
+  margin: 0;
+  margin-top: 1em;
+  font-size: 11pt;
 }
 
 .directory-alt > h3 {
-	margin-top: 0;
+  margin-top: 0;
 }
 
 .directory-alt p {
-	margin: 0;
-	white-space: nowrap;
+  margin: 0;
+  white-space: nowrap;
 }
 
 .directory-alt div {
-	display: none;
-	margin: 0;
+  display: none;
+  margin: 0;
 }
 
 .directory-alt img {
-	vertical-align: -30%;
+  vertical-align: -30%;
 }
 
 /* @end */
 div.dynheader {
-	margin-top: 8px;
+  margin-top: 8px;
 }
 
 address {
-	font-style: normal;
-	color: #444;
+  font-style: normal;
+  color: #444;
 }
 
 table.doxtable {
-	border-collapse: collapse;
-	margin: 0.5em;
+  border-collapse: collapse;
+  margin: 0.5em;
 }
 
 table.doxtable td,table.doxtable th {
-	border: 1px solid #DDD;
-	padding: 3px 7px 2px;
+  border: 1px solid #DDD;
+  padding: 3px 7px 2px;
 }
 
 table.doxtable th {
-	background-color: #F3F3F3;
-	color: #000;
-	padding-bottom: 4px;
-	padding-top: 5px;
-	text-align: left;
-	font-weight: bold;
+  background-color: #F3F3F3;
+  color: #000;
+  padding-bottom: 4px;
+  padding-top: 5px;
+  text-align: left;
+  font-weight: bold;
 }
 
 .tabsearch {
-	top: 0;
-	left: 10px;
-	height: 36px;
-	z-index: 101;
-	overflow: hidden;
-	font-size: 13px;
+  top: 0;
+  left: 10px;
+  height: 36px;
+  z-index: 101;
+  overflow: hidden;
+  font-size: 13px;
 }
 
 div.navpath {
-    color: #DDD;
+  color: #DDD;
 }
 
 .navpath ul {
-	overflow: hidden;
-	margin: 0;
-	padding: 0;
+  overflow: hidden;
+  margin: 0;
+  padding: 0;
 }
 
 .navpath li {
-	float: left;
-	padding-left: 0;
-    margin-left: 0.5em;
-	padding-right: 1em;
+  float: left;
+  padding-left: 0;
+  margin-left: 0.5em;
+  padding-right: 1em;
 }
 
 .navpath a {
-	display: block;
-	text-decoration: none;
-	outline: none;
+  display: block;
+  text-decoration: none;
+  outline: none;
 }
 
 div.summary {
-	font-size: small;
-    font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
-    margin: 0;
-    color: #FFF; /* Hide separator bars */
-    border-bottom: 1px solid #DDD;
-	padding: 0.25em 0;
+  font-size: small;
+  font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
+  margin: 0;
+  color: #FFF; /* Hide separator bars */
+  border-bottom: 1px solid #DDD;
+  padding: 0.25em 0;
 }
 
 div.summary a {
-	white-space: nowrap;
+  white-space: nowrap;
 }
 
 /* Metadata box (right aligned next to title) */
 
 #metabox {
-	display: inline-block;
-	font-size: x-small;
-	margin: 0 0 0.25em 0;
-	position: absolute;
-	right: 0;
-	top: 0;
-    color: #666;
-    font-style: italic;
-    padding: 0 1em;
+  display: inline-block;
+  font-size: x-small;
+  margin: 0 0 0.25em 0;
+  position: absolute;
+  right: 0;
+  top: 0;
+  color: #666;
+  font-style: italic;
+  padding: 0 1em;
 }
 
 #meta {
-	border-style: hidden;
-    margin-right: 0.25em;
+  border-style: hidden;
+  margin-right: 0.25em;
 }
 
 #meta tr, #meta th, #meta td {
-	background-color: transparent;
-	border: 0;
-    margin: 0;
-	font-weight: normal;
+  background-color: transparent;
+  border: 0;
+  margin: 0;
+  font-weight: normal;
 }
 
 #meta th {
-	text-align: right;
+  text-align: right;
 }
 
 #meta th:after {
-	content: ":";
+  content: ":";
 }
 
 div.line {
-    font-family: "DejaVu Sans Mono",monospace,fixed;
-	line-height: 1.4em;
-	white-space: pre-wrap;
+  font-family: "DejaVu Sans Mono",monospace,fixed;
+  line-height: 1.4em;
+  white-space: pre-wrap;
 }
 
 .glow {
-	background-color: #2AA198;
-	box-shadow: 0 0 10px #2AA198;
+  background-color: #2AA198;
+  box-shadow: 0 0 10px #2AA198;
 }
 
 span.lineno {
-	padding-right: 4px;
-	text-align: right;
-	border-right: 2px solid #546E00;
-	background-color: #E8E8E8;
-	white-space: pre;
+  padding-right: 4px;
+  text-align: right;
+  border-right: 2px solid #546E00;
+  background-color: #E8E8E8;
+  white-space: pre;
 }
 span.lineno a {
-	background-color: #D8D8D8;
+  background-color: #D8D8D8;
 }
 
 span.lineno a:hover {
-	background-color: #C8C8C8;
+  background-color: #C8C8C8;
 }
 
 .tabs, .tabs2, .navpath {
-	padding: 0.25em 0;
-    border-bottom: 1px solid #DDD;
-    font-size: small;
-    font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
-    margin: 0;
+  padding: 0.25em 0;
+  border-bottom: 1px solid #DDD;
+  font-size: small;
+  font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
+  margin: 0;
 }
 
 th {
-	text-align: left;
-    font-size: 110%;
-    font-weight: 500;
+  text-align: left;
+  font-size: 110%;
+  font-weight: 500;
 }
 
 .mlabel {
-	padding: 0.125em;
+  padding: 0.125em;
 }
 
 /* tabs*/
 
 .tablist {
-	margin: 0;
-	padding: 0;
-	display: table;
+  margin: 0;
+  padding: 0;
+  display: table;
 }
 
 .tablist li {
-	display: table-cell;
-	line-height: 2em;
-	list-style: none;
-	border-bottom: 0;
+  display: table-cell;
+  line-height: 2em;
+  list-style: none;
+  border-bottom: 0;
 }
 
 .tablist a {
-	display: block;
-	padding: 0 1em 0 0;
-    font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
-	text-decoration: none;
-	outline: none;
+  display: block;
+  padding: 0 1em 0 0;
+  font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
+  text-decoration: none;
+  outline: none;
 }
 
 .tabs3 .tablist a {
-	padding: 0 10px;
+  padding: 0 10px;
 }
 
 .tablist li.current a {
-	color: #222;
+  color: #222;
 }
 
 span.icon {
-	display: none;
+  display: none;
 }
diff --git a/doc/style.css b/doc/style.css
index 377530b..5a34855 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -3,29 +3,29 @@
 /* Specgen style */
 
 a:link, a:visited {
-	text-decoration: none;
+  text-decoration: none;
 }
 a:link {
-	color: #546E00;
+  color: #546E00;
 }
 a:visited {
-	color: #354500;
+  color: #354500;
 }
 a:hover {
-	text-decoration: underline;
+  text-decoration: underline;
 }
 img {
-	border: 0;
+  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;
+  line-height: 1.0125em;
+  font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
+  margin-top: 1em;
+  margin-bottom: 0.5em;
 }
 h1 {
-	font-size: 300%;
-	font-weight: 400;
+  font-size: 300%;
+  font-weight: 400;
 }
 h1 a, h1 a:link, h1 a:visited ,
 h2 a, h2 a:link, h2 a:visited ,
@@ -33,643 +33,643 @@ 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;
+  color: #444;
 }
 h2 {
-	font-size: 200%;
-	font-weight: 400;
+  font-size: 200%;
+  font-weight: 400;
 }
 h3 {
-	font-size: 140%;
-	font-weight: 400;
+  font-size: 140%;
+  font-weight: 400;
 }
 h4, h4 a, h4 a:link, h4 a:visited {
-	color: black;
-	font-size: 110%;
-	font-weight: 500;
+  color: black;
+  font-size: 110%;
+  font-weight: 500;
 }
 h5 {
-	font-size: 100%;
-	font-weight: 600;
+  font-size: 100%;
+  font-weight: 600;
 }
 h6 {
-	font-size: 100%;
-	font-weight: 700;
+  font-size: 100%;
+  font-weight: 700;
 }
 #titlebox, #metabox {
-	display: inline-block;
+  display: inline-block;
 }
 #titlebox{
-	display: inline-block;
-	max-width: 60%;
-	left: 0;
-	top: 0;
+  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;
-	right: 0;
-	top: 0;
-	color: #666;
-	font-style: italic;
-	padding: 0 1em;
+  float: right;
+  display: inline-block;
+  font-size: x-small;
+  margin: 0 0 0.25em 0;
+  right: 0;
+  top: 0;
+  color: #666;
+  font-style: italic;
+  padding: 0 1em;
 }
 #meta {
-	border-style: hidden;
+  border-style: hidden;
 }
 #meta tr, #meta th, #meta td {
-	border: 0;
-	font-weight: normal;
-	padding: 0 0 0.125em 0;
-	background-color: transparent;
+  border: 0;
+  font-weight: normal;
+  padding: 0 0 0.125em 0;
+  background-color: transparent;
 }
 #meta th {
-	text-align: right;
+  text-align: right;
 }
 #meta th:after {
-	content: ": ";
+  content: ": ";
 }
 #subtitle {
-	font-size: small;
+  font-size: small;
 }
 #shortdesc {
-	padding: 0;
-	margin: 0 0 0.5em 0;
-	font-style: italic;
-	color: #666;
-	display: inline-block;
+  padding: 0;
+  margin: 0 0 0.5em 0;
+  font-style: italic;
+  color: #666;
+  display: inline-block;
 }
 #logo {
-	height: 63px;
-	margin-left: 1em;
-	margin-top: 10px;
-	width: 100px;
+  height: 63px;
+  margin-left: 1em;
+  margin-top: 10px;
+  width: 100px;
 }
 #titlesep {
-	color: #DDD;
+  color: #DDD;
 }
 #content-body {
-	border-bottom: 0;
-	display: block;
-	font-size: 75%;
-	left: 0;
-	margin-left: 2em;
-	min-width: 660px;
-	padding: 3px 10px 0 0;
-	position: absolute;
-	top: 63px;
-	width: 93.900002%;
-	z-index: 0;
+  border-bottom: 0;
+  display: block;
+  font-size: 75%;
+  left: 0;
+  margin-left: 2em;
+  min-width: 660px;
+  padding: 3px 10px 0 0;
+  position: absolute;
+  top: 63px;
+  width: 93.900002%;
+  z-index: 0;
 }
 #body-main {
-	font-size: 100%;
-	line-height: 1.4em;
-	margin-left: 19em;
-	padding: 0 .55em 40px 0;
+  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;
+  left: 1ex;
+  position: absolute;
+  top: 100px;
+  z-index: 1;
 }
 #menu {
-	font-size: 75%;
-	margin-bottom: 5px;
-	padding: 0;
-	width: 16em;
+  font-size: 75%;
+  margin-bottom: 5px;
+  padding: 0;
+  width: 16em;
 }
 #menu ul {
-	border: 0;
-	list-style: none;
-	margin: 0;
-	padding: 0;
+  border: 0;
+  list-style: none;
+  margin: 0;
+  padding: 0;
 }
 #menu ul.level-one a {
-	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;
+  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;
+  background-color: #FFF;
+  border-left: 3px solid #ffdb4c;
+  color: #000;
 }
 #menu ul.level-two li:first-child a {
-	border-top: 0;
+  border-top: 0;
 }
 #menu ul.level-two a {
-	background: none;
-	background-color: transparent;
-	border: 0;
-	border-top: 1px solid #ddd;
-	color: #3c4b7b;
-	display: block;
-	margin: 0 3em 0 1.5em;
-	padding: .1em;
-	text-transform: none;
-	width: 11em!important;
+  background: none;
+  background-color: transparent;
+  border: 0;
+  border-top: 1px solid #ddd;
+  color: #3c4b7b;
+  display: block;
+  margin: 0 3em 0 1.5em;
+  padding: .1em;
+  text-transform: none;
+  width: 11em!important;
 }
 #menu ul.level-two a:visited {
-	color: #4c3b5b;
+  color: #4c3b5b;
 }
 #menu ul.level-one ul.level-two a.selected {
-	background-color: #FFF;
-	border-left: 0;
-	color: #000;
-	font-weight: 700;
+  background-color: #FFF;
+  border-left: 0;
+  color: #000;
+  font-weight: 700;
 }
 #menu li ul {
-	margin-bottom: 7px;
+  margin-bottom: 7px;
 }
 #menu a {
-	text-decoration: none;
+  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;
+  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;
+  color: #000;
+  font-weight: 400;
 }
 #menu ul.level-three {
-	margin-top: 5px;
+  margin-top: 5px;
 }
 #left-hand-navigation h4 {
-	color: #4c5b6b;
-	font-size: 77%;
-	margin: .2em 0 .3em;
-	padding: .4em 0 0 1.5em;
+  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;
+  color: #4c5b6b;
+  font-weight: 700;
+  text-decoration: none;
 }
 #body-main ul, #body-main li {
-	margin-left: 1em;
-	padding-left: 0;
+  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;
+  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;
+  color: #436a85;
+  padding: 0 .5em;
+  text-decoration: none;
 }
 #utility-menu a:hover {
-	text-decoration: underline;
+  text-decoration: underline;
 }
 #utility-menu #screen-switcher {
-	bottom: 0;
-	margin: 0;
-	padding: 0;
-	position: absolute;
-	right: 0;
+  bottom: 0;
+  margin: 0;
+  padding: 0;
+  position: absolute;
+  right: 0;
 }
 #screen-switcher dl {
-	margin: 0;
-	padding: 0;
+  margin: 0;
+  padding: 0;
 }
 #searchbox {
-	font-weight: 700;
-	position: absolute;
-	right: 0;
-	text-align: right;
-	top: 0;
-	vertical-align: middle;
-	white-space: nowrap;
-	width: 28.1em;
+  font-weight: 700;
+  position: absolute;
+  right: 0;
+  text-align: right;
+  top: 0;
+  vertical-align: middle;
+  white-space: nowrap;
+  width: 28.1em;
 }
 #search {
-	color: #a38e60;
-	padding: 5px 5px 0 0;
+  color: #a38e60;
+  padding: 5px 5px 0 0;
 }
 #search .input-text {
-	background-color: #FFF;
-	border: 1px solid #c4cccc;
-	font-size: 116%;
-	font-weight: 400;
-	margin-top: 3px;
-	vertical-align: top;
-	width: 11em;
+  background-color: #FFF;
+  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;
-	color: #234;
-	font-weight: 700;
-	margin: 3px .4em 0;
-	padding: 0 .2em;
-	vertical-align: text-top;
+  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;
+  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;
-	color: #234;
-	font-weight: 700;
-	vertical-align: text-top;
+  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;
-	font-size: 116%;
-	font-weight: 400;
-	vertical-align: top;
+  background-color: #FFF;
+  border: 1px solid #c4cccc;
+  font-size: 116%;
+  font-weight: 400;
+  vertical-align: top;
 }
 #content table {
-	clear: right;
+  clear: right;
 }
 #body-main h1.pageheading {
-	margin: 40px 0 10px;
+  margin: 40px 0 10px;
 }
 .content-section {
-	margin-top: 15px;
+  margin-top: 15px;
 }
 .content-section h1 {
-	margin: 0 0 10px;
+  margin: 0 0 10px;
 }
 .content-section p {
-	margin: 0 0 5px;
-	padding-left: 12px;
+  margin: 0 0 5px;
+  padding-left: 12px;
 }
 .content-section .pubdate {
-	color: #696969;
-	margin: 0 0 8px;
-	padding: 0 0 0 12px;
+  color: #696969;
+  margin: 0 0 8px;
+  padding: 0 0 0 12px;
 }
 blockquote {
-	border-left: 1px solid #ccc;
-	margin-left: 1em;
-	padding-left: 1em;
+  border-left: 1px solid #ccc;
+  margin-left: 1em;
+  padding-left: 1em;
 }
 #utility-menu dl {
-	font-size: 80%;
-	font-weight: 700;
-	text-align: right;
+  font-size: 80%;
+  font-weight: 700;
+  text-align: right;
 }
 #utility-menu dd {
-	display: inline;
-	font-weight: 400;
-	padding: 0 0 0 8px;
+  display: inline;
+  font-weight: 400;
+  padding: 0 0 0 8px;
 }
 #utility-menu dd a {
-	color: #888;
-	margin: 0;
-	padding: 0;
+  color: #888;
+  margin: 0;
+  padding: 0;
 }
 #utility-menu dt {
-	margin: 0;
+  margin: 0;
 }
 #footer {
-	bottom: 0;
-	clear: both;
-	font-size: x-small;
-	margin: 2em 0 0 0;
-	padding: 0;
-	color: #888;
+  bottom: 0;
+  clear: both;
+  font-size: x-small;
+  margin: 2em 0 0 0;
+  padding: 0;
+  color: #888;
 }
 
 #searchbox a.reference, #searchbox span.reference {
-	color: #339;
-	font-size: 85%;
-	font-weight: 400;
-	position: absolute;
-	right: 8.3em;
-	text-decoration: none;
-	top: 2.9em;
+  color: #339;
+  font-size: 85%;
+  font-weight: 400;
+  position: absolute;
+  right: 8.3em;
+  text-decoration: none;
+  top: 2.9em;
 }
 #body-main .success p {
-	margin: 4px 8px;
+  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;
+  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;
+  background: transparent;
+  color: #00C;
 }
 :visited {
-	background: transparent;
-	color: #609;
+  background: transparent;
+  color: #609;
 }
 .sec {
-	margin: 0.5em 0 0.5em 0;
-	padding: 1ex 0 0.5ex 0;
+  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;
+  margin-top: 0;
+  padding-top: 0;
+  margin: 0 0 0.5ex 0;
 }
 #topbar {
-	line-height: 1em;
+  line-height: 1em;
 }
 @media print {
-	#topbar {
-		color: #000;
-		margin: 0.25em auto 0.25em auto;
-		padding: 0.25em 0.5em 0.5em 0.5em;
-		max-width: 60em;
-		position: relative;
-	}
-	#contentsbox {
-	    display: none;
-	}
-	#topbar a, #topbar a:visited {
-		color: #000
-	}
-	#title a, #title a:visited {
-		color: #000;
-	}
-	#contents {
-		display: none;
-	}
+  #topbar {
+    color: #000;
+    margin: 0.25em auto 0.25em auto;
+    padding: 0.25em 0.5em 0.5em 0.5em;
+    max-width: 60em;
+    position: relative;
+  }
+  #contentsbox {
+    display: none;
+  }
+  #topbar a, #topbar a:visited {
+    color: #000
+  }
+  #title a, #title a:visited {
+    color: #000;
+  }
+  #contents {
+    display: none;
+  }
 }
 @media screen {
-	#topbar {
-		margin: 0.25em auto 0.25em auto;
-		padding: 0;
-		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;
-	}
-	#contents {
-	    display: inline;
-		padding: 0;
-	}
-	#contents li {
-		display: inline;
-		list-style-type: none;
-	    margin-left: 0;
-		margin-right: 0.5em;
-		padding: 0.25ex;
-	}
-	hr.contentssep {
-	    line-height: 0.5;
-	    margin: 0 0 1em 0;
-	    padding: 0;
-	}
+  #topbar {
+    margin: 0.25em auto 0.25em auto;
+    padding: 0;
+    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;
+  }
+  #contents {
+    display: inline;
+    padding: 0;
+  }
+  #contents li {
+    display: inline;
+    list-style-type: none;
+    margin-left: 0;
+    margin-right: 0.5em;
+    padding: 0.25ex;
+  }
+  hr.contentssep {
+    line-height: 0.5;
+    margin: 0 0 1em 0;
+    padding: 0;
+  }
 }
 #title {
-	margin-top: 0;
-	margin-bottom: 0.25em;
+  margin-top: 0;
+  margin-bottom: 0.25em;
 }
 #content {
-	clear: both;
-	padding: 0;
-	max-width: 60em;
-	margin-left: auto;
-	margin-right: auto;
+  clear: both;
+  padding: 0;
+  max-width: 60em;
+  margin-left: auto;
+  margin-right: auto;
 }
 .section {
-	padding: 0;
+  padding: 0;
 }
 .category {
-	font-size: small;
-	color: #AAA;
-	float: right;
-	vertical-align: bottom;
-	padding: 0;
-	margin: 0;
-	padding-right: 0.25em;
+  font-size: small;
+  color: #AAA;
+  float: right;
+  vertical-align: bottom;
+  padding: 0;
+  margin: 0;
+  padding-right: 0.25em;
 }
 .label {
-	font-style: italic;
-	margin-top: 0.25em;
-	color: #666;
+  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%;
+  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;
+  border: 0;
+  border-bottom: 1px solid #DDD;
 }
 table thead tr:first-child th {
-	border: 0;
+  border: 0;
 }
 table td {
-	border: 0;
+  border: 0;
 }
 table td:first-child {
-	border: 0;
+  border: 0;
 }
 .index td {
-    vertical-align: top;
+  vertical-align: top;
 }
 .index ul {
-	padding-left: 1.25em;
-	margin-left: 0;
-	list-style-type: circle;
+  padding-left: 1.25em;
+  margin-left: 0;
+  list-style-type: circle;
 }
 .index ul li
 {
-	padding-left: 0;
-	color: #888;
+  padding-left: 0;
+  color: #888;
 }
 .prop {
-	margin: 0;
-	padding: 0;
+  margin: 0;
+  padding: 0;
 }
 .description {
-	margin-top: 0;
-	margin-bottom: 0.75em;
+  margin-top: 0;
+  margin-bottom: 0.75em;
 }
 .blankdesc, .blankdef {
-	margin: 0;
-	padding: 0;
-	border-spacing: 0;
+  margin: 0;
+  padding: 0;
+  border-spacing: 0;
 }
 .blankdesc tbody tr td, .blankdef {
-	border: 0!important;
+  border: 0!important;
 }
 .blankdesc td {
-	padding-right: 0.5em;
+  padding-right: 0.5em;
 }
 .blankdesc tbody tr td:first-child {
-	border-left: 1px solid #BBB;
-	text-align: right;
+  border-left: 1px solid #BBB;
+  text-align: right;
 }
 .terminfo, .restriction {
-	border-collapse: initial;
-	border-spacing: 0;
-	font-size: small;
-	color: #666;
-	border-radius: 0;
-	border-bottom-left-radius: 6px;
-	border-bottom-right-radius: 6px;
+  border-collapse: initial;
+  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;
-	float: right;
-	border-bottom: 1px solid #EEE;
-	max-width: 50%;
+  border-top: 0;
+  margin: 0;
+  margin-left: 1.5em;
+  margin-bottom: 1.5em;
+  padding: 0;
+  float: right;
+  border-bottom: 1px solid #EEE;
+  max-width: 50%;
 }
 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;
+  border-bottom-left-radius: 6px;
+  border-left: 1px solid #BBB;
 }
 .restriction {
-	border-style: hidden;
+  border-style: hidden;
 }
 .terminfo th {
-	text-align: right;
-	padding-right: 0;
-	font-size: 100%;
+  text-align: right;
+  padding-right: 0;
+  font-size: 100%;
 }
 .restriction {
-	margin: 0 0 0.5ex 0;
-	padding: 0;
-	vertical-align: text-top;
+  margin: 0 0 0.5ex 0;
+  padding: 0;
+  vertical-align: text-top;
 }
 .restriction td {
-	vertical-align: text-top;
+  vertical-align: text-top;
 }
 .terminfo th {
-	padding: 0.125em 0.25em 0.125em 0.5em;
-	border-left: 1px solid #EEE!important;
-	vertical-align: top;
+  padding: 0.125em 0.25em 0.125em 0.5em;
+  border-left: 1px solid #EEE!important;
+  vertical-align: top;
 }
 .specterm {
-	border: 0;
-	margin: 1em 0 3em 0;
-	padding: 0;
-	clear: both;
+  border: 0;
+  margin: 1em 0 3em 0;
+  padding: 0;
+  clear: both;
 }
 .specterm h4 {
-	margin-bottom: 0;
-	display: inline;
+  margin-bottom: 0;
+  display: inline;
 }
 .spectermbody {
-	border-top: 1px solid #EEE;
-	padding: 0;
+  border-top: 1px solid #EEE;
+  padding: 0;
 }
 dl {
-	margin: 0;
-	padding: 0;
+  margin: 0;
+  padding: 0;
 }
 dt {
-	margin-top: .5em;
-	font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
+  margin-top: .5em;
+  font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
 }
 hr {
-	background-color: #DDD;
-	border: 0;
-	color: gray;
-	height: 1px;
-	margin-bottom: 1.5ex;
-	margin-top: 1.5ex;
+  background-color: #DDD;
+  border: 0;
+  color: gray;
+  height: 1px;
+  margin-bottom: 1.5ex;
+  margin-top: 1.5ex;
 }
 div.head {
-	margin-bottom: 1em;
+  margin-bottom: 1em;
 }
 div.head h1 {
-	clear: both;
-	margin-top: 2em;
+  clear: both;
+  margin-top: 2em;
 }
 div.head table {
-	margin-left: 2em;
-	margin-top: 2em;
+  margin-left: 2em;
+  margin-top: 2em;
 }
 table {
-	border-collapse: initial;
-	border-spacing: 1.0em 0;
-	margin: 0;
-	border: 0;
+  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;
+  font-size: 115%;
+  font-weight: 500;
+  text-align: left;
+  padding-bottom: 0.5em;
 }
 
 p {
-	font-family: inherit;
-	margin-bottom: 1em;
+  font-family: inherit;
+  margin-bottom: 1em;
 }
 
 pre {
-	margin: 1em 1em 1em 4em;
-	padding: 0;
-	color: #444;
-	font-family: fixed,monospace;
+  margin: 1em 1em 1em 4em;
+  padding: 0;
+  color: #444;
+  font-family: fixed,monospace;
 }
 code {
-	color: #444;
-	font-family: fixed,monospace;
+  color: #444;
+  font-family: fixed,monospace;
 }
 #menu li, #searchbox form, #iconbar li, #body-main .success p a {
-	display: inline;
+  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;
+  color: #000;
+  text-decoration: underline;
 }
 h1, h2, h3, h4, h5, h6, th {
-	text-align: left;
+  text-align: left;
 }
 .error {
-	color: #DC322F;
+  color: #DC322F;
 }
 .warning {
-	color: #B58900;
+  color: #B58900;
 }
 .success {
-	color: #859900;
+  color: #859900;
 }
-- 
cgit v1.2.1