rustdoc: cut margin-top from first header in docblock

Fixes a regression caused by 8846c0853d, where
a header's top margin used to be collapsed, but isn't any more.
This commit is contained in:
Michael Howell 2022-09-28 14:33:56 -07:00
parent 307dd938d7
commit b707eff5cc

View File

@ -138,6 +138,13 @@ h1, h2, h3, h4 {
.docblock h3, .docblock h4, h5, h6 {
margin: 15px 0 5px 0;
}
.docblock > h2:first-child,
.docblock > h3:first-child,
.docblock > h4:first-child,
.docblock > h5:first-child,
.docblock > h6:first-child {
margin-top: 0;
}
h1.fqn {
margin: 0;
padding: 0;