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