The top border of this paragraph box should be dotted.