layer at (0,0) size 800x4177
  RenderView at (0,0) size 800x600
layer at (0,0) size 800x4177
  RenderBlock {HTML} at (0,0) size 800x4177
    RenderBody {BODY} at (8,16) size 784x4153
      RenderBlock {P} at (0,0) size 784x40
        RenderText {#text} at (0,0) size 751x39
          text run at (0,0) width 751: "The very tall div below (> 4095 pixels) should have a 1-pixel dotted border on the right and bottom and a wider solid"
          text run at (0,20) width 115: "border on the left."
      RenderBlock {DIV} at (0,56) size 505x4097 [border: none (1px dotted #000000) (4px solid #8394B2)]
