Build output has two many line breaks

[blntk]

I wanted to contribute to the book, so I built it locally. The build pipeline works perfectly, but the generated site does not look the same as the one on plfa.github.io. For instance, this is the beginning of the published chapter on natural numbers:

Official site

Compare this with the generated site:

Locally generated site

Notably, every line break in an Agda code block is replaced by 3 line breaks on the generated site. Moreover, the flowing text is divided into many more paragraphs, with paragraph breaks even in the middle of sentences. Is this behaviour intentional?

[wadler]

Sorry about that. It's not intentional! Possibly @wenkokke can help to debug the issue.