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.

1 files changed, 415 insertions, 415 deletions

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;
 }