Update documentation.

www/documentation.php

@@ -66,11 +66,11 @@ if (array_key_exists("PATH_INFO", $_SERVER) &&
 
       while ($line = fgets($fp, 1024))
       {
-        if (strstr($line, "<BODY"))
+        if (strstr($line, "<BODY") || strstr($line, "<body"))
 	{
 	  $saw_body = 1;
 	}
-	else if (strstr($line, "</BODY>"))
+	else if (strstr($line, "</BODY>") || strstr($line, "</body>"))
 	{
 	  break;
 	}

www/style.css

@@ -150,11 +150,92 @@ TR.data1 TD, TR.data1 TH {
   font-weight: bold;
   padding: 2px;
 }
-
-.info {
+/* Styles for documentation */
+.class {
+  border-bottom: solid 2px gray;
+}
+.constants {
+}
+.description {
+  margin-top: 0.5em;
+}
+.discussion {
+}
+.enumeration {
+  border-bottom: solid 2px gray;
+}
+.function {
+  border-bottom: solid 2px gray;
+  margin-bottom: 0;
+}
+.members {
+}
+.method {
+}
+.parameters {
+}
+.returnvalue {
+}
+.struct {
+  border-bottom: solid 2px gray;
+}
+.typedef {
+  border-bottom: solid 2px gray;
+}
+.union {
+  border-bottom: solid 2px gray;
+}
+.variable {
+}
+code, p.code, pre, ul.code li {
+  font-family: monaco, courier, monospace;
+  font-size: 90%;
+}
+a:link, a:visited {
+  text-decoration: none;
+}
+span.info {
   background: black;
+  border: solid thin black;
   color: white;
+  font-size: 80%;
+  font-style: italic;
+  font-weight: bold;
+  white-space: nowrap;
+}
+h3 span.info, h4 span.info {
   float: right;
-  font-size: 90%;
+  font-size: 100%;
+}
+ul.code, ul.contents, ul.subcontents {
+  list-style-type: none;
+  margin: 0;
+  padding-left: 0;
+}
+ul.code li {
+  margin: 0;
+}
+ul.contents > li {
+  margin-top: 1em;
+}
+ul.contents li ul.code, ul.contents li ul.subcontents {
+  padding-left: 2em;
+}
+div.body dl {
+  margin-top: 0;
+}
+div.body dt {
+  font-style: italic;
+  margin-top: 0;
+}
+div.body dd {
+  margin-bottom: 0.5em;
+}
+h1.title {
+}
+h2.title {
+  border-bottom: solid 2px black;
+}
+h3.title {
+  border-bottom: solid 2px black;
 }
-