From 3c6d78b9207315cf48e06a14a087e324d9818c6e Mon Sep 17 00:00:00 2001 From: Chris PeBenito Date: Mon, 13 Jun 2005 18:07:35 +0000 Subject: [PATCH] ul end tag fix, and css tweak --- refpolicy/doc/templates/style.css | 4 ++-- refpolicy/support/sedoctool.py | 7 +++++-- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/refpolicy/doc/templates/style.css b/refpolicy/doc/templates/style.css index 6f01e5a7..95717225 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 dba1c0bc..4c19c343 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 += "

" + desc.data + "

" + if desc.data is not '': + desc_buf += "

" + desc.data + "

" elif desc.nodeName == "p": - desc_buf += "

" + desc.firstChild.data + "

" + if desc.firstChild.data is not '': + desc_buf += "

" + desc.firstChild.data + "

" for chld in desc.childNodes: if chld.nodeName == "ul": desc_buf += "" return desc_buf