There is still a bug.
Here's how you can reproduce the bug in your online example (you will have to edit your source first):-
Inside your Edithtml.php source code I noticed you had the essential line commented out :-
$editor->EditorBodyStyle=....
This is the instruction that is causing the main problem.
Make sure the EditorBodyStyle is set to say "margin:0px;"
When you load the page in IE you will see that the margin is applied correctly to the document.
Now click HTML tab.
You will see that this margin setting has NOT been written to the body tag.
If you add it yourself at this point it remains (didn't before but looks like you've fixed this).
So any contents of EditorBodyStyle is applied to the contents but is not written into the body tag in IE.