layer at (0,0) size 800x600
  RenderView at (0,0) size 800x600
layer at (0,0) size 800x238
  RenderBlock {HTML} at (0,0) size 800x238
    RenderBody {BODY} at (8,16) size 784x214
      RenderBlock {P} at (0,0) size 784x18
        RenderText {#text} at (0,0) size 322x18
          text run at (0,0) width 322: "There should be no red borders on the table below"
      RenderTable {TABLE} at (0,34) size 133x180 [border: (2px none #808080)]
        RenderTableSection {TBODY} at (2,2) size 128x175
          RenderTableRow {TR} at (0,0) size 128x58
            RenderTableCell {TD} at (0,16) size 43x26 [border: (3px ridge #00FF00)] [r=0 c=0 rs=1 cs=1]
              RenderText {#text} at (4,3) size 33x20
                text run at (4,4) width 33: "ridge"
            RenderTableCell {TD} at (42,15) size 44x28 [border: (3px ridge #00FF00) (5px ridge #FF0000) (3px ridge #00FF00)] [r=0 c=1 rs=1 cs=1]
              RenderText {#text} at (4,4) size 33x18
                text run at (4,4) width 33: "ridge"
            RenderTableCell {TD} at (86,16) size 42x26 [border: (3px ridge #00FF00)] [r=0 c=2 rs=1 cs=1]
              RenderText {#text} at (4,3) size 33x20
                text run at (4,4) width 33: "ridge"
          RenderTableRow {TR} at (0,58) size 128x60
            RenderTableCell {TD} at (0,75) size 43x26 [border: (3px ridge #00FF00) (5px ridge #FF0000) (2px ridge #00FF00)] [r=1 c=0 rs=1 cs=1]
              RenderText {#text} at (4,3) size 33x20
                text run at (4,4) width 33: "ridge"
            RenderTableCell {TD} at (42,73) size 44x30 [border: (5px solid #00FF00)] [r=1 c=1 rs=1 cs=1]
              RenderText {#text} at (6,6) size 32x18
                text run at (6,6) width 32: "solid"
            RenderTableCell {TD} at (86,75) size 42x26 [border: (3px ridge #00FF00) (5px ridge #FF0000)] [r=1 c=2 rs=1 cs=1]
              RenderText {#text} at (6,3) size 33x20
                text run at (6,4) width 33: "ridge"
          RenderTableRow {TR} at (0,118) size 128x57
            RenderTableCell {TD} at (0,134) size 43x25 [border: (3px ridge #00FF00)] [r=2 c=0 rs=1 cs=1]
              RenderText {#text} at (4,4) size 33x18
                text run at (4,4) width 33: "ridge"
            RenderTableCell {TD} at (42,133) size 44x27 [border: (5px ridge #FF0000) (2px ridge #00FF00)] [r=2 c=1 rs=1 cs=1]
              RenderText {#text} at (4,6) size 33x18
                text run at (4,6) width 33: "ridge"
            RenderTableCell {TD} at (86,134) size 42x25 [border: (3px ridge #00FF00)] [r=2 c=2 rs=1 cs=1]
              RenderText {#text} at (4,4) size 33x18
                text run at (4,4) width 33: "ridge"