7ca24a8264
Bootstrap CSS was removing the margin after ul elements if they were descendents of other ul elements. But if the ul was followed by a p then this looked terrible. Related to #5953