The top border of this paragraph box should be double and red.