IntersectMBO / IntersectMBO/formal-ledger-specifications
MkDocs code snippets are displayed with extra blank lines around
Open
bug
documentation
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
Code snippets have extra blank lines around them. This is clearly visible when revealed and hidden code blocks are intermixed.
After briefly looking into it, I think the solution would be to change the CSS so that adjacent `
` blocks are styled to have 0 length margins.
Contributor guide
Assessment
This issue has not been assessed yet.