Have I found a bug with the RichTextEditor? It appears that if I apply a padding, it behaves like the margin. Take a look at the attached file. If I change the margin or padding, the result looks the same. If I set a margin of 5 and a padding of 5, it looks like a margin of 10.
Is this a bug with the control or have I misunderstood something?