BlockBox: <html> (block) (B) (0,0)->(1024 x 90) effMargin=[0.0, 0.0, 0.0, 0.0]  styleMargin=[0.0, 0.0, 0.0, 0.0] 
  BlockBox: <body> (block) (B) (0,0)->(1024 x 90) effMargin=[18.0, 8.0, 18.0, 8.0]  styleMargin=[8.0, 8.0, 8.0, 8.0] 
    BlockBox: <p> (block) (I) (8,18)->(1008 x 18) effMargin=[0.0, 0.0, 0.0, 0.0]  styleMargin=[18.0, 0.0, 18.0, 0.0] 
      LineBox: (8,18)->(252,18)
        InlineLayoutBox: (anonymous) (SE) (baseline=12) (8,19)->(252 x 16)
          InlineLayoutBox: <span> (SE) (baseline=12) (8,19)->(252 x 19)
            InlineText: (This box should have a thin top border.)
          InlineText: ()
    BlockBox: <p> (block) (I) (8,36)->(1008 x 36) effMargin=[18.0, 0.0, 0.0, 0.0]  styleMargin=[18.0, 0.0, 18.0, 0.0] 
      LineBox: (8,54)->(239,18)
        InlineLayoutBox: (anonymous) (SE) (baseline=12) (8,55)->(239 x 16)
          InlineText: (There should be no red on this line. )
          InlineLayoutBox: <span> (SE) (baseline=12) (235,55)->(12 x 16)
            InlineText: (   )
          InlineText: ()
