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 256x18
          text run at (0,0) width 256: "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 86x18
            text run at (1,1) width 86: "Lorem ipsum"
        RenderBlock {DIV} at (1,41) size 782x20 [border: (1px dotted #0000FF)]
          RenderText {#text} at (1,1) size 86x18
            text run at (1,1) width 86: "Lorem ipsum"
      RenderBlock {P} at (0,122) size 784x18
        RenderText {#text} at (0,0) size 260x18
          text run at (0,0) width 260: "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 86x18
            text run at (1,1) width 86: "Lorem ipsum"
        RenderBlock {DIV} at (1,21) size 782x20 [border: (1px dotted #0000FF)]
          RenderText {#text} at (1,1) size 86x18
            text run at (1,1) width 86: "Lorem ipsum"
      RenderBlock {P} at (0,204) size 784x18
        RenderText {#text} at (0,0) size 380x18
          text run at (0,0) width 380: "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 86x18
            text run at (1,1) width 86: "Lorem ipsum"
        RenderBlock {DIV} at (1,21) size 782x20 [border: (1px dotted #0000FF)]
          RenderText {#text} at (1,1) size 86x18
            text run at (1,1) width 86: "Lorem ipsum"
      RenderBlock (anonymous) at (0,270) size 784x40
        RenderBR {BR} at (0,0) size 0x18
        RenderButton {INPUT} at (2,20) size 102x18 [color=#000000D8] [bgcolor=#C0C0C0]
          RenderBlock (anonymous) at (8,2) size 86x13
            RenderText at (0,0) size 86x13
              text run at (0,0) width 86: "Negative margin"
        RenderText {#text} at (105,19) size 5x18
          text run at (105,19) width 5: " "
        RenderButton {INPUT} at (111,20) size 97x18 [color=#000000D8] [bgcolor=#C0C0C0]
          RenderBlock (anonymous) at (8,2) size 81x13
            RenderText at (0,0) size 81x13
              text run at (0,0) width 81: "Positive margin"
        RenderText {#text} at (0,0) size 0x0
      RenderBlock {P} at (0,326) size 784x18
        RenderText {#text} at (0,0) size 458x18
          text run at (0,0) width 458: "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 86x18
            text run at (1,1) width 86: "Lorem ipsum"
        RenderBlock {DIV} at (1,41) size 782x20 [border: (1px dotted #0000FF)]
          RenderText {#text} at (1,1) size 86x18
            text run at (1,1) width 86: "Lorem ipsum"
      RenderBlock (anonymous) at (0,432) size 784x40
        RenderBR {BR} at (0,0) size 0x18
        RenderButton {INPUT} at (2,20) size 102x18 [color=#000000D8] [bgcolor=#C0C0C0]
          RenderBlock (anonymous) at (8,2) size 86x13
            RenderText at (0,0) size 86x13
              text run at (0,0) width 86: "Negative margin"
        RenderText {#text} at (105,19) size 5x18
          text run at (105,19) width 5: " "
        RenderButton {INPUT} at (111,20) size 97x18 [color=#000000D8] [bgcolor=#C0C0C0]
          RenderBlock (anonymous) at (8,2) size 81x13
            RenderText at (0,0) size 81x13
              text run at (0,0) width 81: "Positive margin"
        RenderText {#text} at (0,0) size 0x0