Improve indentation consistency

1 files changed, 90 insertions, 101 deletions

diff --git a/doc/us/doc.css b/doc/us/doc.css
index 95fff7c..e816a7e 100644
--- a/doc/us/doc.css
+++ b/doc/us/doc.css
@@ -2,7 +2,7 @@ body {
     margin-left: 1em; 
     margin-right: 1em; 
     font-family: arial, helvetica, geneva, sans-serif;
-        background-color:#ffffff; margin:0px;
+    background-color:#ffffff; margin:0px;
 }
 
 code {
@@ -31,7 +31,6 @@ a:link:hover { text-decoration:underline; }
 hr { color:#cccccc }
 img { border-width: 0px; }
 
-
 h3 { padding-top: 1em; }
 
 p { margin-left: 1em; }
@@ -65,12 +64,11 @@ blockquote { margin-left: 3em; }
     font-size: smaller;
 }
 
-
 hr { 
     margin-left: 0em;
-        background: #00007f; 
-        border: 0px;
-        height: 1px;
+    background: #00007f; 
+    border: 0px;
+    height: 1px;
 }
 
 ul { list-style-type: disc; }
@@ -81,143 +79,134 @@ table.index ul { padding-top: 0em; margin-top: 0em; }
 
 table {
     border: 1px solid black;
-        border-collapse: collapse;
+    border-collapse: collapse;
     margin-left: auto;
     margin-right: auto;
 }
+
 th {
     border: 1px solid black;
     padding: 0.5em;
 }
+
 td {
     border: 1px solid black;
     padding: 0.5em;
 }
 div.header, div.footer { margin-left: 0em; }
 
-#container
-{
-        margin-left: 1em;
-        margin-right: 1em;
-        background-color: #f0f0f0;
+#container {
+    margin-left: 1em;
+    margin-right: 1em;
+    background-color: #f0f0f0;
 }
 
-#product
-{
-        text-align: center;
-        border-bottom: 1px solid #cccccc;
-        background-color: #ffffff;
+#product {
+    text-align: center;
+    border-bottom: 1px solid #cccccc;
+    background-color: #ffffff;
 }
 
 #product big {
-        font-size: 2em;
+    font-size: 2em;
 }
 
-#product_logo
-{
+#product_logo {
 }
 
-#product_name
-{
+#product_name {
 }
 
-#product_description
-{
+#product_description {
 }
 
-#main
-{
-        background-color: #f0f0f0;
-        border-left: 2px solid #cccccc;
+#main {
+    background-color: #f0f0f0;
+    border-left: 2px solid #cccccc;
 }
 
-#navigation
-{
-        float: left;
-        width: 12em;
-        margin: 0;
-        vertical-align: top;
-        background-color: #f0f0f0;
-        overflow:visible;
+#navigation {
+    float: left;
+    width: 12em;
+    margin: 0;
+    vertical-align: top;
+    background-color: #f0f0f0;
+    overflow:visible;
 }
 
 #navigation h1 {
-        background-color:#e7e7e7;
-        font-size:1.1em;
-        color:#000000;
-        text-align:left;
-        margin:0px;
-        padding:0.2em;
-        border-top:1px solid #dddddd;
-        border-bottom:1px solid #dddddd;
+    background-color:#e7e7e7;
+    font-size:1.1em;
+    color:#000000;
+    text-align:left;
+    margin:0px;
+    padding:0.2em;
+    border-top:1px solid #dddddd;
+    border-bottom:1px solid #dddddd;
 }
 
-#navigation ul
-{
-        font-size:1em;
-        list-style-type: none;
-        padding: 0;
-        margin: 1px;
+#navigation ul {
+    font-size:1em;
+    list-style-type: none;
+    padding: 0;
+    margin: 1px;
 }
 
-#navigation li
-{
-        text-indent: -1em;
-        margin: 0em 0em 0em 0.5em;
-        display: block;
-        padding: 3px 0px 0px 12px;
+#navigation li {
+    text-indent: -1em;
+    margin: 0em 0em 0em 0.5em;
+    display: block;
+    padding: 3px 0px 0px 12px;
 }
 
-#navigation li li a
-{
-        padding: 0px 3px 0px -1em;
+#navigation li li a {
+    padding: 0px 3px 0px -1em;
 }
 
-#content
-{
-        margin-left: 12em;
-        padding: 1em;
-        border-left: 2px solid #cccccc;
-        border-right: 2px solid #cccccc;
-        background-color: #ffffff;
+#content {
+    margin-left: 12em;
+    padding: 1em;
+    border-left: 2px solid #cccccc;
+    border-right: 2px solid #cccccc;
+    background-color: #ffffff;
 }
 
-#about
-{
-        clear: both;
-        margin: 0;
-        padding: 5px;
-        border-top: 2px solid #cccccc;
-        background-color: #ffffff;
+#about {
+    clear: both;
+    margin: 0;
+    padding: 5px;
+    border-top: 2px solid #cccccc;
+    background-color: #ffffff;
 }
 
 @media print {
-        body { 
-                font: 10pt "Times New Roman", "TimeNR", Times, serif;
-        }
-        a { font-weight:bold; color: #004080; text-decoration: underline; }
-        
-        #main   {               background-color: #ffffff;              border-left: 0px;       }       
-        #container      {               margin-left: 2%;                margin-right: 2%;               background-color: #ffffff;      }
-        
-        #content        {               margin-left: 0px;               padding: 1em;           border-left: 0px;               border-right: 0px;              background-color: #ffffff;      }
-        
-        #navigation     {               display: none;
-        }
-        
-        #product_logo
-        {
-                display: none;
-        }
-
-        #about img
-        {
-                display: none;
-        }
-
-        .example {
-                font-family: "Andale Mono", monospace; 
-                font-size: 8pt;
-                page-break-inside: avoid;
-        }
+    body {
+        font: 10pt "Times New Roman", "TimeNR", Times, serif;
+    }
+    a {
+        font-weight:bold; color: #004080; text-decoration: underline;
+    }
+    #main {
+        background-color: #ffffff; border-left: 0px;
+    }
+    #container {
+        margin-left: 2%; margin-right: 2%; background-color: #ffffff;
+    }
+    #content {
+        margin-left: 0px; padding: 1em; border-left: 0px; border-right: 0px; background-color: #ffffff;
+    }
+    #navigation {
+        display: none;
+    }
+    #product_logo {
+        display: none;
+    }
+    #about img {
+        display: none;
+    }
+    .example {
+        font-family: "Andale Mono", monospace; 
+        font-size: 8pt;
+        page-break-inside: avoid;
+    }
 }