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 784x20
        RenderText {#text} at (0,0) size 256x19
          text run at (0,0) width 256: "What it should look like (positive case):"
      RenderBlock {DIV} at (0,36) size 784x76 [border: (1px solid #008000)]
        RenderBlock {DIV} at (1,11) size 782x22 [border: (1px solid #0000FF)]
          RenderText {#text} at (1,1) size 86x19
            text run at (1,1) width 86: "Lorem ipsum"
        RenderBlock {DIV} at (1,43) size 782x22 [border: (1px dotted #0000FF)]
          RenderText {#text} at (1,1) size 86x19
            text run at (1,1) width 86: "Lorem ipsum"
      RenderBlock {P} at (0,128) size 784x20
        RenderText {#text} at (0,0) size 260x19
          text run at (0,0) width 260: "What it should look like (negative case):"
      RenderBlock {DIV} at (0,164) size 784x36 [border: (1px solid #008000)]
        RenderBlock {DIV} at (1,11) size 782x22 [border: (1px solid #0000FF)]
          RenderText {#text} at (1,1) size 86x19
            text run at (1,1) width 86: "Lorem ipsum"
        RenderBlock {DIV} at (1,23) size 782x22 [border: (1px dotted #0000FF)]
          RenderText {#text} at (1,1) size 86x19
            text run at (1,1) width 86: "Lorem ipsum"
      RenderBlock {P} at (0,216) size 784x20
        RenderText {#text} at (0,0) size 380x19
          text run at (0,0) width 380: "Dynamic case (automatically testing positive --> negative):"
      RenderBlock {DIV} at (0,252) size 784x36 [border: (1px solid #008000)]
        RenderBlock {DIV} at (1,11) size 782x22 [border: (1px solid #0000FF)]
          RenderText {#text} at (1,1) size 86x19
            text run at (1,1) width 86: "Lorem ipsum"
        RenderBlock {DIV} at (1,23) size 782x22 [border: (1px dotted #0000FF)]
          RenderText {#text} at (1,1) size 86x19
            text run at (1,1) width 86: "Lorem ipsum"
      RenderBlock (anonymous) at (0,288) size 784x44
        RenderBR {BR} at (0,0) size 0x19
        RenderButton {INPUT} at (2,22) size 116x20 [color=#FFFFFF] [bgcolor=#007AFF] [border: (1px solid #FFFFFF)]
          RenderBlock (anonymous) at (12,3) size 92x14
            RenderText at (0,0) size 92x14
              text run at (0,0) width 92: "Negative margin"
        RenderText {#text} at (119,21) size 5x19
          text run at (119,21) width 5: " "
        RenderButton {INPUT} at (125,22) size 111x20 [color=#FFFFFF] [bgcolor=#007AFF] [border: (1px solid #FFFFFF)]
          RenderBlock (anonymous) at (12,3) size 87x14
            RenderText at (0,0) size 87x14
              text run at (0,0) width 87: "Positive margin"
        RenderText {#text} at (0,0) size 0x0
      RenderBlock {P} at (0,348) size 784x20
        RenderText {#text} at (0,0) size 458x19
          text run at (0,0) width 458: "Dynamic case (automatically testing positive --> negative --> positive):"
      RenderBlock {DIV} at (0,384) size 784x76 [border: (1px solid #008000)]
        RenderBlock {DIV} at (1,11) size 782x22 [border: (1px solid #0000FF)]
          RenderText {#text} at (1,1) size 86x19
            text run at (1,1) width 86: "Lorem ipsum"
        RenderBlock {DIV} at (1,43) size 782x22 [border: (1px dotted #0000FF)]
          RenderText {#text} at (1,1) size 86x19
            text run at (1,1) width 86: "Lorem ipsum"
      RenderBlock (anonymous) at (0,460) size 784x44
        RenderBR {BR} at (0,0) size 0x19
        RenderButton {INPUT} at (2,22) size 116x20 [color=#FFFFFF] [bgcolor=#007AFF] [border: (1px solid #FFFFFF)]
          RenderBlock (anonymous) at (12,3) size 92x14
            RenderText at (0,0) size 92x14
              text run at (0,0) width 92: "Negative margin"
        RenderText {#text} at (119,21) size 5x19
          text run at (119,21) width 5: " "
        RenderButton {INPUT} at (125,22) size 111x20 [color=#FFFFFF] [bgcolor=#007AFF] [border: (1px solid #FFFFFF)]
          RenderBlock (anonymous) at (12,3) size 87x14
            RenderText at (0,0) size 87x14
              text run at (0,0) width 87: "Positive margin"
        RenderText {#text} at (0,0) size 0x0