Duplicate style attribute generated on a DIV tag that replaces a UL tag.

If I run the input at the bottom of this e-mail through Tidy, the <ul> tag
is converted to a <div> tag.  I presume this is being done because the <ul>
element does not have any direct <li> child elements.  That's probably OK,
but the problem we are having is with the following generated <div> tag:

<div style="margin-left: 2em" style='margin-top:0in'>

Why are there two style attributes?  Shouldn't the generated <div> tag only
have one style tag, with the contents of the <ul> style tag appended?  Is
this a bug?

Sincerely,
Michael S. Goldberg
mgoldberg@yet2.com <mailto:mgoldberg@yet2.com> 

Input:

<html>
<title>Test</title>
<ul style='margin-top:0in'>
 <ol style='margin-top:0in'>
  <li>One</li>
  <li>Two </li>
  <li>Three </li>
 </ol>
</ul>
</html>

Received on Tuesday, 6 November 2001 13:37:46 UTC