From 3c6d78b9207315cf48e06a14a087e324d9818c6e Mon Sep 17 00:00:00 2001
From: Chris PeBenito <cpebenito@tresys.com>
Date: Jun 13 2005 18:07:35 +0000
Subject: ul end tag fix, and css tweak



---

diff --git a/refpolicy/doc/templates/style.css b/refpolicy/doc/templates/style.css
index 6f01e5a..9571722 100644
--- a/refpolicy/doc/templates/style.css
+++ b/refpolicy/doc/templates/style.css
@@ -37,7 +37,7 @@ h5 {
 }
 li {
 	font:11px/20px verdana, arial, helvetica, sans-serif;
-	margin:0px 0px 0px 0px;
+	margin:0px 0px 0px 10px;
 	padding:0px;
 	}
 p {
@@ -167,7 +167,7 @@ dt {
 	}
 body>#Header {height:14px;}
 #Content {
-	margin:0px 50px 50px 200px;
+	margin:0px 50px 0px 200px;
 	padding:10px;
 	}
 
diff --git a/refpolicy/support/sedoctool.py b/refpolicy/support/sedoctool.py
index dba1c0b..4c19c34 100755
--- a/refpolicy/support/sedoctool.py
+++ b/refpolicy/support/sedoctool.py
@@ -100,14 +100,17 @@ def format_html_desc(node):
 	desc_buf = ''
 	for desc in node.childNodes:
 		if desc.nodeName == "#text":
-			desc_buf += "<p>" + desc.data + "<p>"
+			if desc.data is not '':
+				desc_buf += "<p>" + desc.data + "</p>"
 		elif desc.nodeName == "p":
-			desc_buf += "<p>" + desc.firstChild.data + "</p>"
+			if desc.firstChild.data is not '':
+				desc_buf += "<p>" + desc.firstChild.data + "</p>"
 			for chld in desc.childNodes: 
 				if chld.nodeName == "ul":
 					desc_buf += "<ul>"
 					for li in chld.getElementsByTagName("li"):
 						desc_buf += "<li>" + li.firstChild.data + "</li>"
+					desc_buf += "</ul>"
 
 	return desc_buf