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?
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?