layer at (0,0) size 800x600
  RenderView at (0,0) size 800x600
layer at (0,0) size 800x600
  RenderBlock {HTML} at (0,0) size 800x600
    RenderBody {BODY} at (8,8) size 784x584
      RenderBlock {P} at (0,0) size 784x18
        RenderText {#text} at (0,0) size 249x18
          text run at (0,0) width 249: "What it should look like (positive case):"
      RenderBlock {DIV} at (0,34) size 784x72 [border: (1px solid #008000)]
        RenderBlock {DIV} at (1,11) size 782x20 [border: (1px solid #0000FF)]
          RenderText {#text} at (1,1) size 84x18
            text run at (1,1) width 84: "Lorem ipsum"
        RenderBlock {DIV} at (1,41) size 782x20 [border: (1px dotted #0000FF)]
          RenderText {#text} at (1,1) size 84x18
            text run at (1,1) width 84: "Lorem ipsum"
      RenderBlock {P} at (0,122) size 784x18
        RenderText {#text} at (0,0) size 253x18
          text run at (0,0) width 253: "What it should look like (negative case):"
      RenderBlock {DIV} at (0,156) size 784x32 [border: (1px solid #008000)]
        RenderBlock {DIV} at (1,11) size 782x20 [border: (1px solid #0000FF)]
          RenderText {#text} at (1,1) size 84x18
            text run at (1,1) width 84: "Lorem ipsum"
        RenderBlock {DIV} at (1,21) size 782x20 [border: (1px dotted #0000FF)]
          RenderText {#text} at (1,1) size 84x18
            text run at (1,1) width 84: "Lorem ipsum"
      RenderBlock {P} at (0,204) size 784x18
        RenderText {#text} at (0,0) size 369x18
          text run at (0,0) width 369: "Dynamic case (automatically testing positive --> negative):"
      RenderBlock {DIV} at (0,238) size 784x32 [border: (1px solid #008000)]
        RenderBlock {DIV} at (1,11) size 782x20 [border: (1px solid #0000FF)]
          RenderText {#text} at (1,1) size 84x18
            text run at (1,1) width 84: "Lorem ipsum"
        RenderBlock {DIV} at (1,21) size 782x20 [border: (1px dotted #0000FF)]
          RenderText {#text} at (1,1) size 84x18
            text run at (1,1) width 84: "Lorem ipsum"
      RenderBlock (anonymous) at (0,270) size 784x40
        RenderBR {BR} at (0,0) size 0x18
        RenderButton {INPUT} at (2,20) size 104x18 [bgcolor=#C0C0C0]
          RenderBlock (anonymous) at (8,2) size 88x13
            RenderText at (0,0) size 88x13
              text run at (0,0) width 88: "Negative margin"
        RenderText {#text} at (107,19) size 5x18
          text run at (107,19) width 5: " "
        RenderButton {INPUT} at (113,20) size 98x18 [bgcolor=#C0C0C0]
          RenderBlock (anonymous) at (8,2) size 82x13
            RenderText at (0,0) size 82x13
              text run at (0,0) width 82: "Positive margin"
        RenderText {#text} at (0,0) size 0x0
      RenderBlock {P} at (0,326) size 784x18
        RenderText {#text} at (0,0) size 445x18
          text run at (0,0) width 445: "Dynamic case (automatically testing positive --> negative --> positive):"
      RenderBlock {DIV} at (0,360) size 784x72 [border: (1px solid #008000)]
        RenderBlock {DIV} at (1,11) size 782x20 [border: (1px solid #0000FF)]
          RenderText {#text} at (1,1) size 84x18
            text run at (1,1) width 84: "Lorem ipsum"
        RenderBlock {DIV} at (1,41) size 782x20 [border: (1px dotted #0000FF)]
          RenderText {#text} at (1,1) size 84x18
            text run at (1,1) width 84: "Lorem ipsum"
      RenderBlock (anonymous) at (0,432) size 784x40
        RenderBR {BR} at (0,0) size 0x18
        RenderButton {INPUT} at (2,20) size 104x18 [bgcolor=#C0C0C0]
          RenderBlock (anonymous) at (8,2) size 88x13
            RenderText at (0,0) size 88x13
              text run at (0,0) width 88: "Negative margin"
        RenderText {#text} at (107,19) size 5x18
          text run at (107,19) width 5: " "
        RenderButton {INPUT} at (113,20) size 98x18 [bgcolor=#C0C0C0]
          RenderBlock (anonymous) at (8,2) size 82x13
            RenderText at (0,0) size 82x13
              text run at (0,0) width 82: "Positive margin"
        RenderText {#text} at (0,0) size 0x0