layer at (0,0) size 800x600
  RenderView at (0,0) size 800x600
layer at (0,0) size 800x237
  RenderBlock {HTML} at (0,0) size 800x237
    RenderBody {BODY} at (8,16) size 784x213
      RenderBlock {P} at (0,0) size 784x17
        RenderText {#text} at (0,0) size 317x17
          text run at (0,0) width 317: "There should be no red borders on the table below"
      RenderTable {TABLE} at (0,33) size 130x180 [border: (2px none #808080)]
        RenderTableSection {TBODY} at (2,2) size 125x175
          RenderTableRow {TR} at (0,0) size 125x58
            RenderTableCell {TD} at (0,17) size 42x24 [border: (3px ridge #00FF00)] [r=0 c=0 rs=1 cs=1]
              RenderText {#text} at (4,4) size 32x17
                text run at (4,4) width 32: "ridge"
            RenderTableCell {TD} at (42,15) size 42x27 [border: (3px ridge #00FF00) (5px ridge #FF0000) (3px ridge #00FF00)] [r=0 c=1 rs=1 cs=1]
              RenderText {#text} at (4,4) size 32x17
                text run at (4,4) width 32: "ridge"
            RenderTableCell {TD} at (84,17) size 41x24 [border: (3px ridge #00FF00)] [r=0 c=2 rs=1 cs=1]
              RenderText {#text} at (4,4) size 32x17
                text run at (4,4) width 32: "ridge"
          RenderTableRow {TR} at (0,58) size 125x60
            RenderTableCell {TD} at (0,76) size 42x24 [border: (3px ridge #00FF00) (5px ridge #FF0000) (2px ridge #00FF00)] [r=1 c=0 rs=1 cs=1]
              RenderText {#text} at (4,4) size 32x17
                text run at (4,4) width 32: "ridge"
            RenderTableCell {TD} at (42,73) size 42x29 [border: (5px solid #00FF00)] [r=1 c=1 rs=1 cs=1]
              RenderText {#text} at (6,6) size 30x17
                text run at (6,6) width 30: "solid"
            RenderTableCell {TD} at (84,76) size 41x24 [border: (3px ridge #00FF00) (5px ridge #FF0000)] [r=1 c=2 rs=1 cs=1]
              RenderText {#text} at (6,4) size 32x17
                text run at (6,4) width 32: "ridge"
          RenderTableRow {TR} at (0,118) size 125x57
            RenderTableCell {TD} at (0,134) size 42x24 [border: (3px ridge #00FF00)] [r=2 c=0 rs=1 cs=1]
              RenderText {#text} at (4,4) size 32x17
                text run at (4,4) width 32: "ridge"
            RenderTableCell {TD} at (42,133) size 42x26 [border: (5px ridge #FF0000) (2px ridge #00FF00)] [r=2 c=1 rs=1 cs=1]
              RenderText {#text} at (4,6) size 32x17
                text run at (4,6) width 32: "ridge"
            RenderTableCell {TD} at (84,134) size 41x24 [border: (3px ridge #00FF00)] [r=2 c=2 rs=1 cs=1]
              RenderText {#text} at (4,4) size 32x17
                text run at (4,4) width 32: "ridge"