Missing newline breaks in odoc pages
While porting this config for codex documentation, I noticed some rendering issue in functor with long signatures. While on the odoc native pages they would render as:
module MakeHeterogeneousMap
(Key : HETEROGENEOUS_KEY)
(Value : HETEROGENEOUS_VALUE) :
HETEROGENEOUS_MAP
with type 'a key = 'a Key.t
and type ('k, 'm) value = ('k, 'm) Value.t
On the website they render without newlines and just wrap at line end, leading to display like this:
module MakeHeterogeneousMap (Key : HETEROGENEOUS_KEY) (Value :
HETEROGENEOUS_VALUE) : HETEROGENEOUS_MAP with type 'a key = 'a
key.t and type ('k, 'm) value = ('k, 'm) Value.t
which is ugly as hell. I've confirmed this issue exists on the frama-c website (see this for example).
The issue comes from the jekyll plugin compress_html. I've listed potential fixes on the forum post I made about the issue.
The fix I used in codex is in this commit (Important files: _layout/vendor/compress.html
and the frontmatter of _layout/odoc.html
)
Edited by Dorian Lesbre