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