Tweak margin of manual dot leaders

This commit is contained in:
Alex Cabal 2020-09-14 10:53:56 -05:00
parent c584eab2e9
commit c892f3b8ff

View file

@ -408,7 +408,7 @@ figure.corrected code{
border-color: rgba(0, 0, 0, .5);
display: block;
margin-left: 10.25rem;
margin-top: -.5rem;
margin-top: -.55rem;
}
.manual > article > section > section[id] > section > ol ol > li aside.number::after,