IntersectMBO / IntersectMBO/formal-ledger-specifications

MkDocs code snippets are displayed with extra blank lines around

Open
#829 0 comments 0 reactions 0 assignees View on GitHub
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.