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 322x17
          text run at (0,0) width 322: "There should be no red borders on the table below"
      RenderTable {TABLE} at (0,34) size 142x180 [border: (2px none #808080)]
        RenderTableSection {TBODY} at (2,2) size 137x175
          RenderTableRow {TR} at (0,0) size 137x58
            RenderTableCell {TD} at (0,16) size 43x25 [border: (3px ridge #00FF00)] [r=0 c=0 rs=1 cs=1]
              RenderText {#text} at (4,4) size 33x17
                text run at (4,4) width 33: "ridge"
            RenderTableCell {TD} at (43,15) size 52x28 [border: (3px ridge #00FF00) (5px ridge #FF0000) (3px ridge #00FF00)] [r=0 c=1 rs=1 cs=1]
              RenderText {#text} at (4,4) size 33x17
                text run at (4,4) width 33: "ridge"
            RenderTableCell {TD} at (95,16) size 42x25 [border: (3px ridge #00FF00)] [r=0 c=2 rs=1 cs=1]
              RenderText {#text} at (4,4) size 33x17
                text run at (4,4) width 33: "ridge"
          RenderTableRow {TR} at (0,58) size 137x60
            RenderTableCell {TD} at (0,75) size 43x25 [border: (3px ridge #00FF00) (5px ridge #FF0000) (2px ridge #00FF00)] [r=1 c=0 rs=1 cs=1]
              RenderText {#text} at (4,4) size 33x17
                text run at (4,4) width 33: "ridge"
            RenderTableCell {TD} at (43,73) size 52x30 [border: (5px dotted #00FF00)] [r=1 c=1 rs=1 cs=1]
              RenderText {#text} at (6,6) size 40x17
                text run at (6,6) width 40: "dotted"
            RenderTableCell {TD} at (95,75) size 42x25 [border: (3px ridge #00FF00) (5px ridge #FF0000)] [r=1 c=2 rs=1 cs=1]
              RenderText {#text} at (6,4) size 33x17
                text run at (6,4) width 33: "ridge"
          RenderTableRow {TR} at (0,118) size 137x57
            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 33x17
                text run at (4,4) width 33: "ridge"
            RenderTableCell {TD} at (43,133) size 52x27 [border: (5px ridge #FF0000) (2px ridge #00FF00)] [r=2 c=1 rs=1 cs=1]
              RenderText {#text} at (4,6) size 33x17
                text run at (4,6) width 33: "ridge"
            RenderTableCell {TD} at (95,134) size 42x25 [border: (3px ridge #00FF00)] [r=2 c=2 rs=1 cs=1]
              RenderText {#text} at (4,4) size 33x17
                text run at (4,4) width 33: "ridge"