Comment 3 for bug 1439918

bootstrap.min.css explicitly sets the top margin of a paragraph to 0:

p {
 margin:0 0 10px
}

Changing the first 0 to 10px immediately has the wanted effect.

Margins around code blocks are defined in a different way I don't understand yet.