How to change CSS and remove double newline for @repl block in Documenter output?

General Usage
,
2

That’s a bug and should’ve been fixed by https://github.com/JuliaDocs/Documenter.jl/pull/1774. Are you sure you are on Documenter 0.27.15?