<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
    "http://www.w3.org/TR/REC-html401/loose.dtd">
<html>
<title>[ #487204 ] Duplicate DIV style attribute generated</title>
<ul style='margin-top:0in'>
 <ol style='margin-top:0in'>
  <li>One</li>
  <li>Two </li>
  <li>Three </li>
 </ol>
</ul>
</html>